عنوان

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

پیشوند ISBD اعمال شده است

1

سطح دسترسي

a

تكميل شده

Y