Computer Safety, Reliability, and Security: 30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings

Front Matter....Pages -
The Effect of Correlated Failure Rates on Reliability of Continuous Time 1-Out-of-2 Software....Pages 1-14
Model-Driven Availability Evaluation of Railway Control Systems....Pages 15-28
Vertical Safety Interfaces – Improving the Efficiency of Modular Certification....Pages 29-42
DALculus – Theory and Tool for Development Assurance Level Allocation....Pages 43-56
Towards Cross-Domains Model-Based Safety Process, Methods and Tools for Critical Embedded Systems: The CESAR Approach....Pages 57-70
From Probabilistic Counterexamples via Causality to Fault Trees....Pages 71-84
Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software....Pages 85-98
Evolutionary Risk Analysis: Expert Judgement....Pages 99-112
Computer-Aided PHA, FTA and FMEA for Automotive Embedded Systems....Pages 113-127
A Statistical Anomaly-Based Algorithm for On-line Fault Detection in Complex Software Critical Systems....Pages 128-142
Security Analysis of Smart Grid Data Collection Technologies....Pages 143-156
Modeling Aircraft Operational Reliability....Pages 157-170
An Integrated Approach for Availability and QoS Evaluation in Railway Systems....Pages 171-184
Using a Software Safety Argument Pattern Catalogue: Two Case Studies....Pages 185-198
Integration of a System for Critical Infrastructure Protection with the OSSIM SIEM Platform: A dam case study....Pages 199-212
A Case Study on State-Based Robustness Testing of an Operating System for the Avionic Domain....Pages 213-227
Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems....Pages 228-242
Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT....Pages 243-256
Establishing Confidence in the Usage of Software Tools in Context of ISO 26262....Pages 257-269
Fault-Based Generation of Test Cases from UML-Models – Approach and Some Experiences....Pages 270-283
ISO/IEC 15504-10: Motivations for Another Safety Standard....Pages 284-295
Automatic Synthesis of SRN Models from System Operation Templates for Availability Analysis....Pages 296-309
A Collaborative Event Processing System for Protection of Critical Infrastructures from Cyber Attacks....Pages 310-323
A Fault-Tolerant, Dynamically Scheduled Pipeline Structure for Chip Multiprocessors....Pages 324-337
FloGuard: Cost-Aware Systemwide Intrusion Defense via Online Forensics and On-Demand IDS Deployment....Pages 338-354
Reducing Complexity of Data Flow Testing in the Verification of a IEC-62304 Flexible Workflow System....Pages 355-368
Improvement of Processes and Methods in Testing Activities for Safety-Critical Embedded Systems....Pages 369-382
On the Adoption of Model Checking in Safety-Related Software Industry....Pages 383-396
Equivalence Checking between Function Block Diagrams and C Programs Using HW-CBMC....Pages 397-408
A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models....Pages 409-422
Model-Based Multi-objective Safety Optimization....Pages 423-436
Tradeoff Exploration between Reliability, Power Consumption, and Execution Time....Pages 437-451
Criticality-Driven Component Integration in Complex Software Systems....Pages 452-466
On the Use of Semantic Technologies to Model and Control Security, Privacy and Dependability in Complex Systems....Pages 467-479
Back Matter....Pages -