SAFECOMP
1998
Springer
14 years 4 months ago
1998
Springer
: This paper presents a process for the stepwise refinement of safety code assertions from identified system hazards. The code assertions are intended for use in system safety veri...
SAFECOMP
1998
Springer
14 years 4 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
SAFECOMP
1998
Springer
1998
Springer
Increasing System Safety for By-Wire Applications in Vehicles by Using a Time Triggered Architecture
14 years 4 months ago
By-wire systems have been established for several years in the area of aircraft construction and there are now approaches to utilize this technology in vehicles. The required elect...
SAFECOMP
1998
Springer
14 years 4 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
SAFECOMP
1998
Springer
14 years 4 months ago
1998
Springer
Abstract. In this paper concepts for fault-tolerant communication systems in large-scale manipulators for heavy weights are introduced. This class of robots makes high demands on s...
SAFECOMP
1998
Springer
14 years 4 months ago
1998
Springer
Abstract. Safety systems for railways have shifted from electronic relays to more computer-oriented approaches. This article highlights the language EURIS from NS Railinfrabeheer, ...
SAFECOMP
1998
Springer
14 years 4 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 ...