Computer Safety, Reliability, and Security

1. Front Matter

   PDF

2. Next Generation of System Assurance Approaches for Safety-Critical Systems Workshop (Sassur 2012)

   1. Front Matter

      Pages 1-1

      PDF

   2. Introduction to Sassur 2012

      • Alejandra Ruiz, Tim P. Kelly, Mehrdad Sabetzadeh, Didier Van Den Abeele

      Pages 3-7

   3. AdvoCATE: An Assurance Case Automation Toolset

      • Ewen Denney, Ganesh Pai, Josef Pohl

      Pages 8-21

   4. Towards a Case-Based Reasoning Approach for Safety Assurance Reuse

      • Alejandra Ruiz, Ibrahim Habli, Huáscar Espinoza

      Pages 22-35

   5. Modeling for Safety in a Synthesis-Centric Systems Engineering Framework

      • Jasen Markovski, J. M. van de Mortel-Fronczak

      Pages 36-49

   6. A Model Based Approach for Safety Analysis

      • Fabien Belmonte, Elie Soubiran

      Pages 50-63

   7. Towards a Model-Based Evolutionary Chain of Evidence for Compliance with Safety Standards

      • Jose Luis de la Vara, Sunil Nair, Eric Verhulst, Janusz Studzizba, Piotr Pepek, Jerome Lambourg et al.

      Pages 64-78

   8. A New Approach to Assessment of Confidence in Assurance Cases

      • Xingyu Zhao, Dajian Zhang, Minyan Lu, Fuping Zeng

      Pages 79-91

   9. An Unified Meta-model for Trustworthy Systems Engineering

      • Eric Verhulst, Bernhard H. C. Sputh

      Pages 92-105

   10. A Preliminary Fault Injection Framework for Evaluating Multicore Systems

       • Anna Lanzaro, Antonio Pecchia, Marcello Cinque, Domenico Cotroneo, Ricardo Barbosa, Nuno Silva

       Pages 106-116

   11. Meeting Real-Time Requirements with Multi-core Processors

       • Daniel Kästner, Marc Schlickling, Markus Pister, Christoph Cullmann, Gernot Gebhard, Reinhold Heckmann et al.

       Pages 117-131

   12. Assessing Software Interference Management When Modifying Safety-Related Software

       • Patrick J. Graydon, Tim P. Kelly

       Pages 132-145

3. Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS 2012)

   1. Front Matter

      Pages 147-147

      PDF

   2. Introduction to ASCoMS 2012

      • António Casimiro, Jörg Kaiser

      Pages 149-150

   3. Towards Dependable and Stable Perception in Smart Environments with Timing and Value Faults

      • Luís Marques, António Casimiro

      Pages 151-161

   4. An Approach Supporting Fault-Propagation Analysis for Smart Sensor Systems

      • Sebastian Zug, Tino Brade, Jörg Kaiser, Sasanka Potluri

      Pages 162-173

   5. Use of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles

      • Kenneth Östberg, Rolf Johansson

      Pages 174-179

   6. From Autonomous Vehicles to Safer Cars: Selected Challenges for the Software Engineering

      • Christian Berger

      Pages 180-189

   7. Modelling of Safety-Related Timing Constraints for Automotive Embedded Systems

      • Oscar Ljungkrantz, Henrik Lönn, Hans Blom, Cecilia Ekelin, Daniel Karlsson

      Pages 190-201

This book constitutes the refereed proceedings of 5 workshops co-located with SAFECOMP 2012, the 31st International Conference on Computer Safety, Reliability, and Security, held in Magdeburg, Germany, in September 2012.
The 49 revised full papers presented were carefully reviewed and selected from numerous submissions. According to the workshops covered, the papers are organized in topical sections on: next generation of system assurance approaches for safety-critical systems (Sassur), architecting safety in collaborative mobile systems (ASCoMS), dependable and secure computing for large-scale complex critical infrastructures (DESEC4LCCI), ERCIM/EWICS/cyberphysical systems (ERCIM/EWICS), and on digital engineering (IWDE).

• cognitive systems
• embedded systems
• formal methods
• middleware
• performance analysis

• Institut für Technische und Betriebliche Informationssysteme (ITI), Otto-von-Guericke-Universität, Fakultät für Informatik, Magdeburg, Germany

  Frank Ortmeier

• SELEX ELSAG, Liverpool Innovation Park, Liverpool, UK

  Peter Daniel

Policies and ethics