1105 search results - page 17 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
122
click to vote
EMSOFT
2009
Springer
15 years 6 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
FSEN
2009
Springer
15 years 6 months ago
2009
Springer
We present an automata theoretic framework for modular schedulability analysis of real time asynchronous objects modeled in the language Creol. In previous work we analyzed the sch...
RTAS
2007
IEEE
15 years 5 months ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
168
Voted
FDL
2004
IEEE
15 years 3 months ago
2004
IEEE
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...
IPPS
1998
IEEE
15 years 3 months ago
1998
IEEE
