Abstract is missing.
- An Architectural Framework for Analyzing Tradeoffs between Software Security and PerformanceVittorio Cortellessa, Catia Trubiani, Leonardo Mostarda, Naranker Dulay. 1-18 [doi]
- Architectural Design Decisions for Achieving Reliable Software SystemsAtef Mohamed, Mohammad Zulkernine. 19-32 [doi]
- Integrating Fault-Tolerant Techniques into the Design of Critical SystemsRicardo J. Rodríguez, José Merseguer. 33-51 [doi]
- Component Behavior Synthesis for Critical Systems:::, :::Tobias Eckardt, Stefan Henkler. 52-71 [doi]
- A Road to a Formally Verified General-Purpose Operating SystemMartin Decký. 72-88 [doi]
- Engineering a Distributed e-Voting System Architecture: Meeting Critical RequirementsJ. Paul Gibson, Eric Lallet, Jean-Luc Raffy. 89-108 [doi]
- Testing Fault Robustness of Model Predictive Control AlgorithmsPiotr Gawkowski, Konrad Grochowski, Maciej Lawrynczuk, Piotr M. Marusak, Janusz Sosnowski, Piotr Tatjewski. 109-124 [doi]
- Towards Net-Centric Cyber Survivability for Ballistic Missile DefenseMichael N. Gagnon, John Truelove, Apu Kapadia, Joshua Haines, Orton Huang. 125-141 [doi]
- A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product LinesIbrahim Habli, Tim Kelly. 142-160 [doi]
- Increasing the Resilience of Critical SCADA Systems Using Peer-to-Peer OverlaysDaniel Germanus, Abdelmajid Khelil, Neeraj Suri. 161-178 [doi]
- ISO/DIS 26262 in the Context of Electric and Electronic Architecture ModelingMartin Hillenbrand, Matthias Heinz, Nico Adler, Klaus D. Müller-Glaser, Johannes Matheis, Clemens Reichmann. 179-192 [doi]