عنوان

Architecting critical systems

9783642135569

IR

E-4797

انگلیسی

IR

Architecting critical systems

[Book]

:first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010

/ Holger Giese (ed.

Berlin ;New York

: Springer

, 2010.

x, 192 p., ill.

(Lecture notes in computer science,0302-9743

(LNCS sublibrary. SL 4, Security and cryptology.)

; 6150.)

International conference proceedings.

Print

Includes bibliographical references and index.

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.

Lecture notes in computer science

LNCS sublibrary.SL 4Security and cryptology

6150

ISARCS 2010

Fault-tolerant computing, Congresses

Computer architecture, Congresses

System design, Congresses

Software engineering, Congresses

Giese, Holger

ISARCS 2010(2010 :Prague, Czech Republic)

ایران

old catalog

p

BL

1

a

Y