31 search results - page 1 / 7 » Component-Based Design of Safe Real-Time Kernels for Embedde... |
EUROMICRO
2007
IEEE
13 years 11 months ago
2007
IEEE
CBSE
2004
Springer
13 years 10 months ago
2004
Springer
Safety critical embedded real-time systems represent a class of systems that has attracted relatively little attention in research addressing component based software engineering. ...
ECBS
2010
IEEE
13 years 11 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
CSREAESA
2006
13 years 6 months ago
2006
We present our joint view for efficient development of efficient and dependable ERTS (Embedded Real-Time Systems). This view is based on the three main viewpoints of (1) the softw...
ECBS
2011
IEEE
12 years 4 months ago
2011
IEEE
—Developing dependable distributed real-time and embedded (DRE) systems incurs significant complexities in the tradeoffs resulting from the different conflicting attributes of ...