808 search results - page 4 / 162 » Modeling and Analysis of Real-Time and Embedded Systems |
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
Embedded systems are often operating under hard real-time constraints. Such systems are naturally described as time-bound reactions to external events, a point of view made manife...
ECRTS
2009
IEEE
14 years 7 months ago
2009
IEEE
RTAS
2007
IEEE
15 years 3 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...
FDL
2006
IEEE
15 years 3 months ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
EUROMICRO
2009
IEEE
15 years 1 months ago
2009
IEEE
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...