Computer Safety, Reliability, and Security

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

  • Frank Ortmeier
  • Peter Daniel
Conference proceedings SAFECOMP 2012

DOI: 10.1007/978-3-642-33675-1

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

Table of contents (49 papers)

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

    1. Front Matter
      Pages 1-1
    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
  3. Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS 2012)

    1. Front Matter
      Pages 147-147
    2. Introduction to ASCoMS 2012
      António Casimiro, Jörg Kaiser
      Pages 149-150
    3. An Approach Supporting Fault-Propagation Analysis for Smart Sensor Systems
      Sebastian Zug, Tino Brade, Jörg Kaiser, Sasanka Potluri
      Pages 162-173
    4. Modelling of Safety-Related Timing Constraints for Automotive Embedded Systems
      Oscar Ljungkrantz, Henrik Lönn, Hans Blom, Cecilia Ekelin, Daniel Karlsson
      Pages 190-201

Other volumes

  1. Computer Safety, Reliability, and Security
    31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings
  2. Computer Safety, Reliability, and Security
    SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings

About these proceedings

Introduction

This book constitutes the refereed proceedings of 5 workshops colocated 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).

Keywords

cognitive systems embedded systems formal methods middleware performance analysis

Editors and affiliations

  • Frank Ortmeier
    • 1
  • Peter Daniel
    • 2
  1. 1.Institut für Technische und Betriebliche Informationssysteme (ITI)Otto-von-Guericke-Universität, Fakultät für InformatikMagdeburgGermany
  2. 2.SELEX ELSAG, Liverpool Innovation ParkLiverpoolUK

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-33674-4
  • Online ISBN 978-3-642-33675-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349