151 search results - page 2 / 31 » SaveCCM - A Component Model for Safety-Critical Real-Time Sy... |
SAFECOMP
1998
Springer
13 years 8 months ago
1998
Springer
The main focus of this paper is the problem of ensuring safety properties such as timeliness in safety critical systems. We introduce the OASIS model and its associated techniques ...
ICECCS
1998
IEEE
13 years 8 months ago
1998
IEEE
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
FTCS
1998
13 years 5 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
JTRES
2009
ACM
13 years 9 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...
SEUS
2007
IEEE
13 years 10 months ago
2007
IEEE
Java is now considered as a language for the domain of safety critical applications. A restricted version of the Real-Time Specification for Java (RTSJ) is currently under develop...