The Resource Architecting critical systems : first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010, Holger Giese (ed.)

Architecting critical systems : first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010, Holger Giese (ed.)

Label
Architecting critical systems : first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010
Title
Architecting critical systems
Title remainder
first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010
Statement of responsibility
Holger Giese (ed.)
Title variation
ISARCS 2010
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
GW5XE
Dewey number
004.2
Illustrations
illustrations
Index
index present
LC call number
QA76.9.F38
LC item number
I83 2010
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
  • LNCS sublibrary. SL 4, Security and cryptology
  • Lecture notes in computer science,
Series volume
6150
Label
Architecting critical systems : first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010, Holger Giese (ed.)
Publication
Note
International conference proceedings
Bibliography note
Includes bibliographical references and index
http://library.link/vocab/branchCode
  • net
Color
multicolored
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
Control code
ocn654083614
Dimensions
unknown
Extent
1 online resource (x, 192 p.)
Form of item
online
Isbn
9783642135569
Other physical details
ill
http://library.link/vocab/ext/overdrive/overdriveId
978-3-642-13555-2
http://library.link/vocab/recordID
.b25336216
Specific material designation
remote
System control number
  • (OCoLC)654083614
  • springerebk3642135560

Library Locations

    • Deakin University Library - Geelong Waurn Ponds CampusBorrow it
      75 Pigdons Road, Waurn Ponds, Victoria, 3216, AU
      -38.195656 144.304955
Processing Feedback ...