INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9783642135569
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
E-4797
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Architecting critical systems
General Material Designation
[Book]
Other Title Information
:first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010
First Statement of Responsibility
/ Holger Giese (ed.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin ;New York
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2010.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
x, 192 p., ill.
SERIES
Series Title
(Lecture notes in computer science,0302-9743
Series Title
(LNCS sublibrary. SL 4, Security and cryptology.)
Volume Designation
; 6150.)
GENERAL NOTES
Text of Note
International conference proceedings.
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Print
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index.
CONTENTS NOTE
Text of Note
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. Rodraiguez and Josae 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 Daeeckay -- 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 iawryanczuk, 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. Meuller-Glaser, Johannes Matheis, and Clemens Reichmann.
SERIES
Title
Lecture notes in computer science
Title
LNCS sublibrary.SL 4Security and cryptology
Volume Number
6150
OTHER VARIANT TITLES
Variant Title
ISARCS 2010
TOPICAL NAME USED AS SUBJECT
Fault-tolerant computing, Congresses
Computer architecture, Congresses
System design, Congresses
Software engineering, Congresses
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
Book number
.
F38I83
2010
PERSONAL NAME - SECONDARY RESPONSIBILITY
Giese, Holger
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
ISARCS 2010(2010 :Prague, Czech Republic)
ORIGINATING SOURCE
Country
ایران
old catalog
p
BL
1
a
Y
