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

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Architecting critical systems has gained major importance in commercial, g- ernmentalandindustrialsectors. Emergingsoftwareapplicationsencompasscr- icalities that are associated with either the whole system or some of its com- nents. Therefore, e?ective methods, techniques, and tools for constructing, te- ing, analyzing, and evaluating the architectures for critical systems are of major importance. Furthermore, these methods, techniques and tools must address - sues of dependability and security, while focusing not only on the development, but also on the deployment and evolution of the architecture. This newly established ISARCS symposium provided an exclusive forum for exchanging views on the theory and practice for architecting critical systems. Such systems are characterized by the perceived severity of consequences that faults or attacks may cause, and architecting them requires appropriate means to assure that they will ful?ll their speci?ed services in a dependable and secure manner. The di?erent attributes of dependability and security cannot be considered in isolation for today’s critical systems, as architecting critical systems ess- tially means to ?nd the right trade-o? among these attributes and the various other requirements imposed on the system. This symposium therefore brought together the four communities working on dependability, safety, security and testing/analysis, each addressing to some extent the architecting of critical s- tems from their speci?c perspective. To this end the symposium united the following three former events: – Workshop on Architecting Dependable Systems (WADS) – Workshop on the Role of Software Architecture for Testing and Analysis (ROSATEA) – Workshop on Views on Designing Complex Architectures.

Author(s): Vittorio Cortellessa, Catia Trubiani, Leonardo Mostarda, Naranker Dulay (auth.), Holger Giese (eds.)
Series: Lecture Notes in Computer Science 6150 : Security and Cryptology
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2010

Language: English
Pages: 205
Tags: Special Purpose and Application-Based Systems; Data Encryption; Information Systems Applications (incl.Internet); Computers and Society; Algorithm Analysis and Problem Complexity; Software Engineering

Front Matter....Pages -
An Architectural Framework for Analyzing Tradeoffs between Software Security and Performance....Pages 1-18
Architectural Design Decisions for Achieving Reliable Software Systems....Pages 19-32
Integrating Fault-Tolerant Techniques into the Design of Critical Systems....Pages 33-51
Component Behavior Synthesis for Critical Systems , ....Pages 52-71
A Road to a Formally Verified General-Purpose Operating System....Pages 72-88
Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements....Pages 89-108
Testing Fault Robustness of Model Predictive Control Algorithms....Pages 109-124
Towards Net-Centric Cyber Survivability for Ballistic Missile Defense....Pages 125-141
A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines....Pages 142-160
Increasing the Resilience of Critical SCADA Systems Using Peer-to-Peer Overlays....Pages 161-178
ISO/DIS 26262 in the Context of Electric and Electronic Architecture Modeling....Pages 179-192
Back Matter....Pages -