151 search results - page 4 / 31 » SaveCCM - A Component Model for Safety-Critical Real-Time Sy... |
HYBRID
1998
Springer
13 years 9 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
ICPADS
1998
IEEE
13 years 9 months ago
1998
IEEE
This paper presents a new conceptual model, the XBWModel. Distributed computing is becoming a cost effective way to implement safety critical control systems. To support the devel...
GI
2003
Springer
13 years 10 months ago
2003
Springer
: BOSS targets a principle which the world forgot a long time ago: Simplicity. BOSS is an embedded real time operating system for safety critical applications. Our experience shows...
RTAS
2005
IEEE
13 years 11 months ago
2005
IEEE
This paper provides two contributions to the study of developing and applying domain-specific modeling languages (DSMLS) to distributed real-time and embedded (DRE) systems – p...
SEW
2003
IEEE
13 years 10 months ago
2003
IEEE
Component-based software engineering (CBSE) and the use of (de-facto) standard component models have gained popularity in recent years, particularly in the development of desktop ...