Cargando…
Architecting Critical Systems First International Symposium, Prague, Czech Republic, June 23-25, 2010 /
Architecting critical systems has gained major importance in commercial, governmental, and industrial sectors. Emerging software applications encompass practicalities that are associated with either the whole system or some of its components. Therefore, effective methods, techniques, and tools for c...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2010.
|
| Edición: | 1st ed. 2010. |
| Colección: | Security and Cryptology ;
6150 |
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.