Safety-critical computers increasingly affect nearly every aspect of our lives. Computers
control the planes we fly on, monitor our health in hospitals and do our work in hazardous …

This volume contains a selection of papers that focus on the state-of the-art in formal
specification and verification of real-time computing systems. Preliminary versions of these …

Although there are indisputable benefits to society from the introduction of computers into
everyday life, some applications are inherently risky. Worldwide, regulatory agencies are …

Standards concerned with the development of safety-critical systems, and the software in
such systems in particular, abound today as the software crisis increasingly affects the world …

As the complexity of embedded computer-controlled systems increases, the present
industrial practice for their development gives cause for concern, especially for safety-critical …

This paper presents an overview of NASA Langley's research program in formal methods.
The major goals of this work are to make formal methods practical for use on life critical …

Real-time computing is an enabling technology for many important application areas,
including process control, nuclear power plants, agile manufacturing, intelligent vehicle …

This paper addresses the general area of computer architectures for safety-critical real time
applications. The maximum acceptable probability of failure for these applications ranges …

The goal of the Provably Correct Systems project (ProCoS) is to develop a mathematical
basis for development of embedded, real-time, computer systems. This survey paper …

To be considered correct or useful, real-time systems must deliver results within specified
time intervals, either without exception or with high probability. Recently, a large number of …