Safety-Critical Real-Time Systems

by Bernd Krämer (Editor), Norbert Völker (Editor)

Overview

Safety-Critical Real-Time Systems brings together in one place important contributions and up-to-date research results in this fast moving area.
Safety-Critical Real-Time Systems serves as an excellent reference, providing insight into some of the most challenging research issues in the field.

Product Details

ISBN-13:	9781441950192
Publisher:	Springer US
Publication date:	12/03/2010
Edition description:	Softcover reprint of the original 1st ed. 1997
Pages:	90
Product dimensions:	6.10(w) x 9.25(h) x 0.01(d)

Table of Contents

Editorial; B. Krämer. A Systematic Approach to the Petri net Based Specification of Concurrent Systems; A. Mazzeo, et al. A Highly Dependable Computing Architecture for Safety-Critical Control Applications; B. Krämer, N. Völker. The ProCoS Approach to Correct Systems; H. Langmaack. Building large, Complex, Distributed Safety-Critical Operating Systems; H.F. Wedde, J.A. Lind.

Editorial Reviews

In this reprint of a special issue of (Vol. 13, No. 3, November 1997), nine contributors in four papers survey aspects of safety critical software development and verification: a systematic approach to the Petri Net based specification of concurrent systems; a highly dependable computing architecture for safety-critical control; the ProCoS approach to correct systems; building large, complex, distributed safety-critical operating systems. No index. Annotation c. by Book News, Inc., Portland, Or.

Booknews