21 search results - page 2 / 5 » Introducing a Component Technology for Safety Critical Embed... |
JTRES
2009
ACM
13 years 11 months ago
2009
ACM
Safety Critical Java is a specification being built on top a subset of interfaces from the Real-Time Specification for Java. It is designed to ease development and analysis of s...
CBSE
2008
Springer
13 years 8 months ago
2008
Springer
: This paper proposes a technology for the development of distributed real-time component-based applications, which takes advantage of the features that Ada offers for the developm...
COOPIS
2004
IEEE
13 years 10 months ago
2004
IEEE
Large scale distributed real time and embedded (DRE) applications are complex entities that are often composed of different subsystems and have stringent Quality of Service (QoS) r...
WORDS
2003
IEEE
13 years 11 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...
RTAS
2008
IEEE
14 years 19 days ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...