Synopses & Reviews
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.
Synopsis
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.
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.