Library Services | Technical University of Kenya

Your cart is empty.
Normal view MARC view ISBD view

Architecting Critical Systems [electronic resource] : First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings / edited by Holger Giese.

By: Giese, Holger [editor.].
Contributor(s): SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Lecture Notes in Computer Science: 6150Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Description: 205p. 82 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783642135569.Subject(s): Computer science | Software engineering | Data encryption (Computer science) | Computer software | Information systems | Computer Science | Special Purpose and Application-Based Systems | Data Encryption | Information Systems Applications (incl.Internet) | Computers and Society | Algorithm Analysis and Problem Complexity | Software EngineeringDDC classification: 004.6 Online resources: Click here to access online
Contents:
Design -- An Architectural Framework for Analyzing Tradeoffs between Software Security and Performance -- Architectural Design Decisions for Achieving Reliable Software Systems -- Integrating Fault-Tolerant Techniques into the Design of Critical Systems -- Component Behavior Synthesis for Critical Systems, -- Verification and Validation -- A Road to a Formally Verified General-Purpose Operating System -- Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements -- Testing Fault Robustness of Model Predictive Control Algorithms -- Domain-Specific Results -- Towards Net-Centric Cyber Survivability for Ballistic Missile Defense -- A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines -- Increasing the Resilience of Critical SCADA Systems Using Peer-to-Peer Overlays -- Standards -- ISO/DIS 26262 in the Context of Electric and Electronic Architecture Modeling.
In: Springer eBooksSummary: This book constitutes the proceedings of the First International Symposium on Architecting Critical Systems, ISARCS 2010, held in Prague, Czech Republic, in June 2010.
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

Design -- An Architectural Framework for Analyzing Tradeoffs between Software Security and Performance -- Architectural Design Decisions for Achieving Reliable Software Systems -- Integrating Fault-Tolerant Techniques into the Design of Critical Systems -- Component Behavior Synthesis for Critical Systems, -- Verification and Validation -- A Road to a Formally Verified General-Purpose Operating System -- Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements -- Testing Fault Robustness of Model Predictive Control Algorithms -- Domain-Specific Results -- Towards Net-Centric Cyber Survivability for Ballistic Missile Defense -- A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines -- Increasing the Resilience of Critical SCADA Systems Using Peer-to-Peer Overlays -- Standards -- ISO/DIS 26262 in the Context of Electric and Electronic Architecture Modeling.

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

There are no comments for this item.

Log in to your account to post a comment.

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue