151 search results - page 8 / 31 » SaveCCM - A Component Model for Safety-Critical Real-Time Sy... |
149
Voted
RTSS
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a performance analysis technique for distributed real-time systems in a setting where certain components are modeled in a purely functional manner, while the remainin...
155
Voted
ISAS
2007
Springer
15 years 10 months ago
2007
Springer
Service oriented architecture (SOA) design principles are increasingly being adopted to develop distributed real-time and embedded (DRE) systems, such as avionics mission computin...
146
click to vote
WORDS
2003
IEEE
15 years 9 months ago
2003
IEEE
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...
130
click to vote
RTAS
2007
IEEE
15 years 10 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...
124
Voted
DSRT
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...