| Description |
1 online resource (x, 192 pages) : illustrations |
| Series |
Lecture notes in computer science, 0302-9743 ; 6150 |
|
LNCS sublibrary. SL 4, Security and cryptology |
|
Lecture notes in computer science ; 6150.
|
|
LNCS sublibrary. SL 4, Security and cryptology.
|
| Contents |
Design. An architectural framework for analyzing tradeoffs between software security and performance / Vittorio Cortellessa, Catia Trubiani, Leonardo Mostarda, and Naranker Dulay -- Architectural design decisions for achieving reliable software systems / Atef Mohamed and Mohammad Zulkernine -- Integrating fault-tolerant techniques into the design of critical systems / Ricardo J. Rodríguez and José Merseguer -- Component behavior synthesis for critical systems / Tobias Eckardt and Stefan Henkler -- Verification and validation. A road to a formally verified general-purpose operating system / Martin Dĕcký -- Engineering a distributed e-voting system architecture : meeting critical requirements / J. Paul Gibson, Eric Lallet, and Jean-Luc Raffy -- Testing fault robustness of model predictive control algorithms / Piotr Gawkowski, Konrad Grochowski, Maciej Ławryńczuk, Piotr Marusak, Janusz Sosnowski, and Piotr Tatjewski -- Domain-specific results. Towards net-centric cyber survivability for ballistic missile defense / Michael N. Gagnon, John Truelove, Apu Kapadia, Joshua Haines, and Orton Huang -- A safety case approach to assuring configurable architectures of safety-critical product lines / Ibrahim Habli and Tim Kelly -- Increasing the resilience of critical SCADA systems using peer-to-peer overlays / Daniel Germanus, Abdelmajid Khelil, and Neeraj Suri -- Standards. ISO/DIS 26262 in the context of electric and electronic architecture modeling / Martin Hillenbrand, Matthias Heinz, Nico Adler, Klaus D. Müller-Glaser, Johannes Matheis, and Clemens Reichmann |
| Summary |
This book constitutes the proceedings of the First International Symposium on Architecting Critical Systems, ISARCS 2010, held in Prague, Czech Republic, in June 2010 |
| Bibliography |
Includes bibliographical references and index |
| Subject |
Fault-tolerant computing -- Congresses
|
|
Computer architecture -- Congresses
|
|
System design -- Congresses
|
|
Software engineering -- Congresses
|
|
Informatique.
|
|
Computer architecture
|
|
Fault-tolerant computing
|
|
Software engineering
|
|
System design
|
|
Sicherheitskritisches System
|
|
Fehlertoleranz
|
|
Softwarearchitektur
|
|
Zuverlässigkeit
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Giese, Holger.
|
| ISBN |
9783642135569 |
|
3642135560 |
|
