Skip to main content
SpringerLink
Log in

Computer Safety, Reliability, and Security

SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Frank Ortmeier

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Peter Daniel

    1. SELEX ELSAG, Liverpool Innovation Park, Liverpool, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast track conference proceedings
  • Unique visibility
  • State of the art research

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7613)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SAFECOMP 2012.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (49 papers)

  1. Front Matter

    Download chapter PDF

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

    1. Front Matter

      Pages 1-1
      Download chapter 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
      Download chapter 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
Back to top

Other volumes

  1. Computer Safety, Reliability, and Security

  2. Computer Safety, Reliability, and Security

Keywords

About this book

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).

Editors and Affiliations

  • 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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation