252 search results - page 4 / 51 » SaveCCM: An Analysable Component Model for Real-Time Systems |
111
click to vote
CBSE
2004
Springer
15 years 5 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. ...
111
click to vote
RTCSA
2003
IEEE
15 years 4 months ago
2003
IEEE
Increasing complexity of real-time systems, and demands for enabling their configurability and tailorability are strong motivations for applying new software engineering principle...
ISORC
2008
IEEE
15 years 6 months ago
2008
IEEE
The Real-Time Specification for Java (RTSJ) [10] is becoming a popular choice in the world of real-time programming. However, the complexities introduced by RTSJ bring the needs ...
ECRTS
2005
IEEE
15 years 5 months ago
2005
IEEE
Open real-time systems provide for co-hosting hard-, soft- and non-real-time applications. Microkernel-based designs in addition allow for these applications to be mutually protec...
111
click to vote
ISORC
2005
IEEE
15 years 5 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...