Advertisement

Computer Safety, Reliability, and Security

26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings

  • Editors
  • Francesca Saglietti
  • Norbert Oster

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

Table of contents

  1. Front Matter
  2. Safety Cases

    1. Willem Ridderhof, Hans-Gerhard Gross, Heiko Doerr
      Pages 1-13
    2. Mark-Alexander Sujan, Floor Koornneef, Udo Voges
      Pages 14-27
  3. Impact of Security on Safety

    1. Richard Robinson, Mingyan Li, Scott Lintelman, Krishna Sampigethaya, Radha Poovendran, David von Oheimb et al.
      Pages 28-39
    2. Andreas Lang, Jana Dittmann, Stefan Kiltz, Tobias Hoppe
      Pages 40-53
    3. Jean-Claude Laprie, Karama Kanoun, Mohamed Kaâniche
      Pages 54-67
  4. Poster Session 1

    1. Wan-Hui Tseng, Chin-Feng Fan
      Pages 68-74
    2. Armin Selhofer, Thomas Gruber, Michael Putz, Erwin Schoitsch, Gerald Sonneck
      Pages 87-92
    3. S. M. Hadi Hosseini, Makoto Takahashi
      Pages 93-99
    4. Fault Tree Analysis

      1. Martin Walker, Leonardo Bottaci, Yiannis Papadopoulos
        Pages 106-119
      2. William Marsh, George Bearfield
        Pages 120-133
    5. Safety Analysis

    6. Security Aspects

      1. Martin Gilje Jaatun, Åsmund Ahlmann Nyre, Jan Tore Sørensen
        Pages 197-208
      2. Dennis K. Nilsson, Phillip A. Porras, Erland Jonsson
        Pages 209-223
      3. Finn Olav Sveen, Jose Manuel Torres, Jose Maria Sarriegi
        Pages 224-237
      4. Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis
        Pages 238-251
  5. Poster Session 2

    1. Derek Mannering, Jon G. Hall, Lucia Rapanotti
      Pages 252-257
    2. Horst Miedl, Jang-Soo Lee, Arndt Lindner, Ernst Hoffman, Josef Martz, Young-Jun Lee et al.
      Pages 258-263
    3. Jonny Vinter, Henrik Eriksson, Astrit Ademaj, Bernhard Leiner, Martin Schlager
      Pages 264-269
    4. Fevzi Belli, Axel Hollmann, Nimal Nissanke
      Pages 276-282
    5. Jürgen Mottok, Frank Schiller, Thomas Völkl, Thomas Zeitler
      Pages 283-288
    6. Verification and Validation

      1. Jean-Claude Laprie
        Pages 289-300
      2. Mario Friske, Bernd-Holger Schlingloff
        Pages 301-314
      3. Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan
        Pages 315-328
    7. Platform Reliability

      1. Tina Mattes, Jörg Pfahler, Frank Schiller, Thomas Honold
        Pages 329-341
      2. Bernhard Leiner, Martin Schlager, Roman Obermaisser, Bernhard Huber
        Pages 342-355
    8. Reliability Evaluation

      1. Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin
        Pages 370-383
      2. Valério Rosset, Pedro F. Souto, Paulo Portugal, Francisco Vasques
        Pages 397-410
  6. Poster Session 3

    1. A. Bobbio, R. Terruggia, A. Boellis, E. Ciancamerla, M. Minichino
      Pages 417-422
    2. Salvatore Distefano, Antonio Puliafito
      Pages 423-429
    3. István Majzik, Zoltán Micskei, Gergely Pintér
      Pages 430-435
    4. Formal Methods

      1. Jan Täubrich, Reinhard von Hanxleden
        Pages 436-450
      2. Matthias Güdemann, Frank Ortmeier, Wolfgang Reif
        Pages 465-478
    5. Static Code Analysis

      1. Ajith K. John, Babita Sharma, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh
        Pages 491-504
    6. Safety-Related Architectures

About these proceedings

Introduction

Since 1979, when it was ?rst established by the Technical Committee on Re- ability, Safety and Security of the European Workshop on Industrial Computer Systems (EWICS TC7), the SAFECOMP Conference series has regularly and continuously contributed to improving the state of the art of highly depe- able computer-based systems, since then increasingly applied to safety-relevant industrial domains. Inthisexpandingtechnical?eldSAFECOMPo?ersaplatformforknowledge andtechnologytransferbetweenacademia,industry,researchandlicensingins- tutions, providing ample opportunities for exchanging insights, experiences and trends in the areas of safety, reliability and security regarding critical computer applications. In accordance with the growing spread of critical infrastructures involving both safety and security threats, this year’s SAFECOMP program included a considerable number of contributions addressing technical problems and engineering solutions across the border between safety-related and securi- related concerns. Thereactiontoourcallforpaperswasparticularlygratifyingandimpressive, including 136 full papers submitted by authors representing 29 countries from Europe,Asia, North and South America aswell asAustralia. The selection of 33 fullpapersand16shortpapersforpresentationandpublicationwasachallenging task requiring a huge amount of reviewing and organizational e?ort. In view of the particularly high number of articles submitted, obvious practical constraints led – to our regret – to the rejection of a considerable amount of high-quality work. To all authors, invited speakers, members of the International Program Committee and external reviewers go our heartfelt thanks! The local organization of SAFECOMP 2007, hosted in Nuremberg, is also gratefully acknowledged.

Keywords

Processing Unified Modeling Language (UML) access control cognitive systems communication computer reliability computer security configuration correct systems behaviour data integrity dependability dynamic systems formal method operating system security

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-75101-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-75100-7
  • Online ISBN 978-3-540-75101-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site