Advertisement

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

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

Table of contents

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

    1. Front Matter
      Pages 1-1
    2. Alejandra Ruiz, Tim P. Kelly, Mehrdad Sabetzadeh, Didier Van Den Abeele
      Pages 3-7
    3. Ewen Denney, Ganesh Pai, Josef Pohl
      Pages 8-21
    4. Alejandra Ruiz, Ibrahim Habli, Huáscar Espinoza
      Pages 22-35
    5. Jasen Markovski, J. M. van de Mortel-Fronczak
      Pages 36-49
    6. Fabien Belmonte, Elie Soubiran
      Pages 50-63
    7. Jose Luis de la Vara, Sunil Nair, Eric Verhulst, Janusz Studzizba, Piotr Pepek, Jerome Lambourg et al.
      Pages 64-78
    8. Xingyu Zhao, Dajian Zhang, Minyan Lu, Fuping Zeng
      Pages 79-91
    9. Eric Verhulst, Bernhard H. C. Sputh
      Pages 92-105
    10. Anna Lanzaro, Antonio Pecchia, Marcello Cinque, Domenico Cotroneo, Ricardo Barbosa, Nuno Silva
      Pages 106-116
    11. 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. António Casimiro, Jörg Kaiser
      Pages 149-150
    3. Sebastian Zug, Tino Brade, Jörg Kaiser, Sasanka Potluri
      Pages 162-173
    4. Oscar Ljungkrantz, Henrik Lönn, Hans Blom, Cecilia Ekelin, Daniel Karlsson
      Pages 190-201
  4. Workshop on Dependable and Secure Computing for Large-Scale Complex Critical Infrastructures (DESEC4LCCI 2012)

    1. Front Matter
      Pages 203-203
    2. Christian Esposito, Marco Platania, Francesco Brancati
      Pages 205-208
    3. Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli, Ernesto La Mattina
      Pages 209-221
    4. Luigi Romano, Salvatore D’Antonio, Valerio Formicola, Luigi Coppolino
      Pages 222-234
    5. Mario Ciampi, Giuseppe De Pietro, Christian Esposito, Mario Sicuranza, Paolo Mori, Abraham Gebrehiwot et al.
      Pages 235-246
    6. Richard Bloomfield, Robin Bloomfield, Ilir Gashi, Robert Stroud
      Pages 247-258
    7. Craig Gibson, Matteo Melideo, Luigi Romano, Salvatore D’Antonio
      Pages 259-270
    8. Magali Andreia Rossi, Jorge Rady de Almeida Junior, Andrea Bondavalli, Paolo Lollini
      Pages 271-281
    9. Fabio Petroni, Leonardo Querzoni
      Pages 282-293
    10. Roeland Dillen, Jonas Buys, Vincenzo De Florio, Chris Blondia
      Pages 294-306
    11. Silvano Chiaradonna, Felicita Di Giandomenico, Nicola Nostro
      Pages 328-339
  5. ERCIM/EWICS/Cyberphysical Systems Workshop

    1. Front Matter
      Pages 341-341
    2. Erwin Schoitsch, Amund Skavhaug
      Pages 343-346
    3. Roberto Vigo
      Pages 347-356
    4. Przemysław Osocha, João Carlos Cunha, Fabio Giovagnini
      Pages 357-364
    5. Florian Skopik, Albert Treytl, Arjan Geven, Bernd Hirschler, Thomas Bleier, Andreas Eckel et al.
      Pages 365-372
    6. Peter Puschner, Raimund Kirner, Benedikt Huber, Daniel Prokesch
      Pages 382-391
    7. Fredrik Asplund, Matthias Biehl, Frédéric Loiret
      Pages 392-399
    8. Antoaneta Kondeva, Martin Wassmuth, Andreas Mitschke
      Pages 400-408
    9. Orlando Ferrante, Luca Benvenuti, Leonardo Mangeruca, Christos Sofronis, Alberto Ferrari
      Pages 409-416
    10. Janusz Górski, Aleksander Jarzębowicz, Jakub Miler, Michał Witkowicz, Jakub Czyżnikiewicz, Patryk Jar
      Pages 417-426
    11. Erwin Schoitsch, Wolfgang Herzner, Carmen Alonso-Montes, P. Chmelar, Lars Dalgaard
      Pages 427-435
    12. Marte E. B. Skjønsfjell, Aslak R. Normann, Dag Sjong, Amund Skavhaug
      Pages 436-446
  6. International Workshop on Digital Engineering (IWDE 2012)

    1. Front Matter
      Pages 447-447
    2. Veit Köppen, Gunter Saake
      Pages 449-453
    3. Max Steiner, Patric Keller, Peter Liggesmeyer
      Pages 454-465
    4. André Dietrich, Sebastian Zug, Jörg Kaiser
      Pages 466-476

Other volumes

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

  • DOI https://doi.org/10.1007/978-3-642-33675-1
  • 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
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Consumer Packaged Goods
Aerospace
Engineering