1980 search results - page 44 / 396 » Compositional Model Checking of Real Time Systems |
122
click to vote
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
114
click to vote
RTCSA
2008
IEEE
15 years 8 months ago
2008
IEEE
Energy-efficient real-time task scheduling has been actively explored in the past decade. Different from the past work, this paper considers schedulability conditions for stochas...
119
click to vote
MAM
2008
15 years 1 months ago
2008
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...
FMSD
2006
15 years 1 months ago
2006
We propose a refinement approach to language emptiness, which is based on the enumeration and the successive refinements of SCCs on over-approximations of the exact system. Our alg...
102
click to vote
PE
2000
Springer
15 years 1 months ago
2000
Springer
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all bene...