365 search results - page 11 / 73 » Requirements Specifications Checking of Embedded Real-Time S... |
EMSOFT
2001
Springer
14 years 5 days ago
2001
Springer
Abstract. This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-tim...
JTRES
2010
ACM
13 years 7 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
ECRTS
2005
IEEE
14 years 1 months ago
2005
IEEE
Embedded systems are usually an integral component of a larger system and are used to control and/or directly monitor this system by using special hardware devices. The complexity...
SEW
2003
IEEE
14 years 29 days 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 ...
RTAS
1998
IEEE
13 years 12 months ago
1998
IEEE
There is increasing demand to extend Object Request Broker (ORB) middleware to support distributed applications with stringent real-time requirements. However, conventional ORB im...