Lecture Notes in Computer Science - Architecting Critical Systems
Latest Publications

TOTAL DOCUMENTS

11

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642135552, 9783642135569

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Increasing the Resilience of Critical SCADA Systems Using Peer-to-Peer Overlays

Lecture Notes in Computer Science - Architecting Critical Systems ◽

10.1007/978-3-642-13556-9_10 ◽

2010 ◽

pp. 161-178 ◽

Author(s):

Daniel Germanus ◽

Abdelmajid Khelil ◽

Neeraj Suri

Keyword(s):

Peer To Peer ◽

Download Full-text

Towards Net-Centric Cyber Survivability for Ballistic Missile Defense

Lecture Notes in Computer Science - Architecting Critical Systems ◽

10.1007/978-3-642-13556-9_8 ◽

2010 ◽

pp. 125-141 ◽

Author(s):

Michael N. Gagnon ◽

John Truelove ◽

Apu Kapadia ◽

Joshua Haines ◽

Orton Huang

Keyword(s):

Ballistic Missile ◽

Missile Defense ◽

Ballistic Missile Defense

Download Full-text

A Road to a Formally Verified General-Purpose Operating System

Lecture Notes in Computer Science - Architecting Critical Systems ◽

10.1007/978-3-642-13556-9_5 ◽

2010 ◽

pp. 72-88

Author(s):

Martin Děcký

Keyword(s):

Operating System ◽

General Purpose

Download Full-text

Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements

Lecture Notes in Computer Science - Architecting Critical Systems ◽

10.1007/978-3-642-13556-9_6 ◽

2010 ◽

pp. 89-108 ◽

Author(s):

J. Paul Gibson ◽

Eric Lallet ◽

Jean-Luc Raffy

Keyword(s):

System Architecture ◽

Download Full-text

Testing Fault Robustness of Model Predictive Control Algorithms

Lecture Notes in Computer Science - Architecting Critical Systems ◽

10.1007/978-3-642-13556-9_7 ◽

2010 ◽

pp. 109-124 ◽

Author(s):

Piotr Gawkowski ◽

Konrad Grochowski ◽

Maciej Ławryńczuk ◽

Piotr Marusak ◽

Janusz Sosnowski ◽

...

Keyword(s):

Model Predictive Control ◽

Predictive Control ◽

Control Algorithms

Download Full-text

Component Behavior Synthesis for Critical Systems,

Lecture Notes in Computer Science - Architecting Critical Systems ◽

10.1007/978-3-642-13556-9_4 ◽

2010 ◽

pp. 52-71 ◽

Author(s):

Tobias Eckardt ◽

Stefan Henkler

Keyword(s):

Critical Systems

Download Full-text

A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines

Lecture Notes in Computer Science - Architecting Critical Systems ◽

10.1007/978-3-642-13556-9_9 ◽

2010 ◽

pp. 142-160 ◽

Author(s):

Ibrahim Habli ◽

Tim Kelly

Keyword(s):

Product Lines ◽

Safety Critical ◽

Safety Case ◽

Configurable Architectures

Download Full-text

Architectural Design Decisions for Achieving Reliable Software Systems

Lecture Notes in Computer Science - Architecting Critical Systems ◽

10.1007/978-3-642-13556-9_2 ◽

2010 ◽

pp. 19-32 ◽

Author(s):

Atef Mohamed ◽

Mohammad Zulkernine

Keyword(s):

Architectural Design ◽

Software Systems ◽

Design Decisions ◽

Reliable Software

Download Full-text

Integrating Fault-Tolerant Techniques into the Design of Critical Systems

Lecture Notes in Computer Science - Architecting Critical Systems ◽

10.1007/978-3-642-13556-9_3 ◽

2010 ◽

pp. 33-51 ◽

Author(s):

Ricardo J. Rodríguez ◽

José Merseguer

Keyword(s):

Fault Tolerant ◽

Critical Systems

Download Full-text

An Architectural Framework for Analyzing Tradeoffs between Software Security and Performance

Lecture Notes in Computer Science - Architecting Critical Systems ◽

10.1007/978-3-642-13556-9_1 ◽

2010 ◽

pp. 1-18 ◽

Author(s):

Vittorio Cortellessa ◽

Catia Trubiani ◽

Leonardo Mostarda ◽

Naranker Dulay

Keyword(s):

Software Security ◽

Architectural Framework ◽

And Performance

Download Full-text