Pub. Date:
Springer Berlin Heidelberg
Architecting Critical Systems: First International Symposium, Prague, Czech Republic, June 23-25, 2010 / Edition 1

Architecting Critical Systems: First International Symposium, Prague, Czech Republic, June 23-25, 2010 / Edition 1

by Holger Giese


Current price is , Original price is $99.0. You
Select a Purchase Option (2010)
  • purchase options
    $66.74 $99.00 Save 33% Current price is $66.74, Original price is $99. You Save 33%.
  • purchase options

Product Details

ISBN-13: 9783642135552
Publisher: Springer Berlin Heidelberg
Publication date: 08/11/2010
Series: Lecture Notes in Computer Science , #6150
Edition description: 2010
Pages: 205
Product dimensions: 6.20(w) x 9.20(h) x 0.50(d)

Table of Contents


An Architectural Framework for Analyzing Tradeoffs Between Software Security and Performance Vittorio Cortellessa Catia Trubiani Lenardo Mostarda Naranker Dulay 1

Architecural Design Decisions for Achieving Reliable Software Systems Afet Mohamed Mohammad Zulkernine 19

Intergrating Fault-Tolerant Techniques into the Design of Critical Systems Ricardo J. Rodríguez José Merseguer 33

Componet Behavior Synthesis for Critical Systems Tobias Eckardt Stefan Henkler 52

Verification and Validation

A Road to a Formally Verified General-Purpose Operating System Martin Decký 72

Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements J. Paul Gibson Eric Lallet Jean-Luc Raffy 89

Testing Fault Robustness of Modal Predictive Control Algorithms Piotr Gawkowski Konrad Grochowski Maciej Lawrynczuk Piotr Marusak Janusz Sosnowski Piotr Tatjewski 109

Domain-Specific Results

Towards Net-Centric Cyber Survivability for Ballistic Missile Defense Michael N. Gagnon John Truelove Apu Kapadia Joshua Haines Orton Huang 125

A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines Ibrahim Habli Tim Kelly 142

Increasing the Resilience of Critical SCADA Systems Using Peer-to Peer Overlays Daniel Germanus Abdelmajid Khelil Neeraj Suri 161


ISO/DIS 26262 in the Context of Electric and Electronic Architecture Modeling Martin Hillenbrand Matthias Heinz Nico Adler Klaus D. Müller-Glaser Johannes Matheis Clemens Reichmann 179

Auther Index 193

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews