Architecting Critical Systems: First International Symposium, Isarcs 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings

by Giese, Holger

• ISBN13: 9783642135552
• ISBN10: 3642135552
• Format: Paperback
• Copyright: 2010-06-30
• Publisher: Springer-Verlag New York Inc

Summary

This book constitutes the proceedings of the First International Symposium on Architecting Critical Systems, ISARCS 2010, held in Prague, Czech Republic, in June 2010.

Table of Contents

Design
An Architectural Framework for Analyzing Tradeoffs Between Software Security and Performance	p. 1
Architecural Design Decisions for Achieving Reliable Software Systems	p. 19
Intergrating Fault-Tolerant Techniques into the Design of Critical Systems	p. 33
Componet Behavior Synthesis for Critical Systems	p. 52
Verification and Validation
A Road to a Formally Verified General-Purpose Operating System	p. 72
Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements	p. 89
Testing Fault Robustness of Modal Predictive Control Algorithms	p. 109
Domain-Specific Results
Towards Net-Centric Cyber Survivability for Ballistic Missile Defense	p. 125
A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines	p. 142
Increasing the Resilience of Critical SCADA Systems Using Peer-to Peer Overlays	p. 161
Standards
ISO/DIS 26262 in the Context of Electric and Electronic Architecture Modeling	p. 179
Auther Index	p. 193
Table of Contents provided by Ingram. All Rights Reserved.