Architecting Critical Systems First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings /
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 constructin...
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2010.
|
| Σειρά: | Lecture Notes in Computer Science,
6150 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
