Architecting Critical Systems : First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings / edited by Holger Giese.
Tipo de material:
TextoSeries Lecture Notes in Computer Science ; 6150Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Descripción: 205 páginas 82 ilustraciones recurso en líneaTipo de contenido: - texto
- computadora
- recurso en línea
- 9783642135569
- TK7874.6
Springer eBooks
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.
Para consulta fuera de la UANL se requiere clave de acceso remoto.