Overview
About DDCS 09


Authors

  
Proceedings of the International Workshop on the Design of Dependable Critical Systems “Hardware, Software, and Human Factors in Dependable System Design”
Authors:
Year: 2009
International Workshop on the Design of Dependable Critical Systems, Nr. 00
(Abstract / Fulltext)

Observation-Based Modeling for Testing and Verifying Highly Dependable Systems – A Practitioner’s Approach
Authors: Kanstrén, Teemu ; Piel, Eric ; Gonzalez, Alberto ; Gross, Hans-Gerhard
Year: 2009
International Workshop on the Design of Dependable Critical Systems, Nr. 1
(Abstract / Fulltext)

Safety Recommendations for Safety-Critical Design Patterns
Authors: Armoush, Ashraf ; Kowalewski, Stefan
Year: 2009
International Workshop on the Design of Dependable Critical Systems, Nr. 2
(Abstract / Fulltext)

Towards a Practical, Unified Dependability Measure for Dynamic Systems
Authors: Wagner, Achim ; Atkinson, Colin ; Badreddin, Essameddin
Year: 2009
International Workshop on the Design of Dependable Critical Systems, Nr. 3
(Abstract / Fulltext)

Measuring the Dependability of Dynamic Systems using Test Sheets
Authors: Atkinson, Colin ; Barth, Florian ; Falcone, Giovanni
Year: 2009
International Workshop on the Design of Dependable Critical Systems, Nr. 4
(Abstract / Fulltext)

Fault Propagation Analysis on the Transaction-Level Model of an Acquisition System with Bus Fallback Modes
Authors: Schmidlin Fajardo Silva, Raul ; Hesser, Jürgen ; Männer, Reinhard
Year: 2009
International Workshop on the Design of Dependable Critical Systems, Nr. 5
(Abstract / Fulltext)

The Impact of Individual Differences in Fine Motor Abilities on Wheelchair Control Behavior and Especially on Safety-Critical Collisions with Objects in the Surroundings
Authors: Jipp, Meike ; Bartolein, Christian ; Wagner, Achim ; Badreddin, Essameddin
Year: 2009
International Workshop on the Design of Dependable Critical Systems, Nr. 6
(Abstract / Fulltext)

Real-Time Physiological Simulation and Modeling toward Dependable Patient Monitoring Systems
Authors: Abkai, Ciamak ; Hesser, Jürgen
Year: 2009
International Workshop on the Design of Dependable Critical Systems, Nr. 7
(Abstract / Fulltext)

An Integrated Monitor-Diagnosis-Reconfiguration Scheme for (Semi-) Autonomous Systems
Authors: Luo, Yi ; Wagner, Achim ; Zouaghi, Leila ; Badreddin, Essameddin
Year: 2009
International Workshop on the Design of Dependable Critical Systems, Nr. 8
(Abstract / Fulltext)

Quantifying Safety in Software Architectural Designs
Authors: Mohamed, Atef ; Zulkernine, Mohammad
Year: 2009
International Workshop on the Design of Dependable Critical Systems, Nr. 9
(Abstract / Fulltext)

The Role of Task and Situational Characteristics on the Dependability of Human-Technology Interaction
Authors: Jipp, Meike ; Bartolein, Christian ; Badreddin, Essameddin
Year: 2009
International Workshop on the Design of Dependable Critical Systems, Nr. 10
(Abstract / Fulltext)

Hierarchical Hybrid Monitoring for Autonomous Systems
Authors: Zouaghi, Leila ; Wagner, Achim ; Badreddin, Essameddin
Year: 2009
International Workshop on the Design of Dependable Critical Systems, Nr. 11
(Abstract / Fulltext)

Dependable System Design for Assistance Systems for Electrically Powered Wheelchairs
Authors: Bartolein, Christian ; Wagner, Achim ; Jipp, Meike ; Badreddin, Essameddin
Year: 2009
International Workshop on the Design of Dependable Critical Systems, Nr. 12
(Abstract / Fulltext)

Dependable component-based design on the Example of a Heating Control System
Authors: Zouaghi, Leila ; Koslowski, Markus ; Alexopoulos, Alexander ; Barth, Florian ; Jipp, Meike ; Schmidlin Fajardo Silva, Raul ; Luo, Yi ; Wagner, Achim ; Badreddin, Essameddin
Year: 2009
International Workshop on the Design of Dependable Critical Systems, Nr. 13
(Abstract / Fulltext)

  

Impressum