Safe Comp 95

The 14th International Conference on Computer Safety, Reliability and Security, Belgirate, Italy 11–13 October 1995

  • Gerhard Rabe

Table of contents

  1. Front Matter
    Pages i-xii
  2. General Issues, Guidelines

  3. Safety Analysis

    1. Front Matter
      Pages 25-25
    2. Amer Saeed, Rogério de Lemos, Tom Anderson
      Pages 27-41
    3. M. F. Chudleigh, J. R. Catmur, Arthur D. Little, F. Redmill
      Pages 42-58
    4. Jeffrey M. Voas, Keith W. Miller
      Pages 59-72
  4. Formal Methods

    1. Front Matter
      Pages 73-73
    2. Ken Chan, Clive Fencott, Barry Hebbron
      Pages 75-89
    3. Janusz Górski, Jan Magott, Andrzej Wardziński
      Pages 90-100
    4. J. A. McDermid, R. H. Pierce
      Pages 113-127
  5. Human and Legal Aspects

    1. Front Matter
      Pages 129-129
    2. R. J. Tiezema
      Pages 131-141
    3. S. J. Westerman, N. M. Shryane, C. M. Crawshaw, G. R. J. Hockey, C. W. Wyatt-Millington
      Pages 142-155
  6. Invited Paper

  7. Design

    1. Front Matter
      Pages 189-189
    2. Maritta Heisel
      Pages 191-205
    3. Wolfgang A. Halang, Bernd J. Krämer, Norbert Völker
      Pages 206-218
  8. Assessment

  9. Safe Software

    1. Front Matter
      Pages 267-267
    2. Johann Blieberger
      Pages 269-282
    3. K. N. Narahari, Shylaja Prasad, K. Karunakar
      Pages 299-313
  10. Applications I

    1. Front Matter
      Pages 315-315
    2. Jörgen Christmansson, Zbigniew Kalbarczyk, Jan Torin
      Pages 331-352
    3. A. Coombes, J. McDermid, J. Moffett, P. Morris
      Pages 353-371
  11. Applications II

  12. Invited Paper

    1. Front Matter
      Pages 409-409
    2. Jean-Pierre Heckmann, Stephen Shirlaw
      Pages 411-416
  13. Case Studies

    1. Front Matter
      Pages 417-417
    2. P. Fenelon, T. P. Kelly, J. A. McDermid
      Pages 419-436
    3. P. G. Bishop, R. E. Bloomfield
      Pages 437-451
    4. M. El Koursi, B. Letrung, H. Waeselynck, F. Baranowski
      Pages 452-463
  14. Validation and Verification

    1. Front Matter
      Pages 465-465
    2. A. Anselmi, C. Bernardeschi, A. Fantechi, S. Gnesi, S. Larosa, G. Mongardi et al.
      Pages 474-488
    3. A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, S. La Torre
      Pages 489-503
    4. T. Jennings, P. Taylor
      Pages 504-513
  15. Back Matter
    Pages 515-516

About these proceedings


Safety-related computer systems are those which may lead to loss of life, injury or plant and environmental damage. Such systems therefore have to be developed and implemented so that they meet strict require­ and security because their applications cover ments on safety, reliability nearly all areas of daily life and range from controlling and monitoring industrial processes, through robotics and power generation, to transport systems. Highly reliable electronic systems for safety-related applications represent an area in which industry has been involved for many years and which is now gaining increasing importance in academia. Their relevance also results from an increased perception of safety by society. Therefore, not only are technicians involved in this area, but psycho­ logical and sociological aspects also play a major role. Dealing with safety-related systems we have to consider the whole lifecycle of these systems, starting from specification up to implementation, assessment and operation. All those issues mentioned above are covered in this book, which represents the proceedings of the 14th International Conference on Computer Safety, Reliability and Security, SAFECOMP '95, held in Belgirate, Italy, 11-13 October 1995. The conference continues the series of SAFECOMP conferences which was originated by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Safety, Security and Reliability (EWICS TC7) and reflects the state of the art, experience and new trends in the area of safety-related computer systems.


Diversity Standards automation computer design formal method formal methods modeling reliability requirements engineering simulation software structured analysis validation verification

Editors and affiliations

  • Gerhard Rabe
    • 1
  1. 1.Technischer Überwachungs-Verein Nord e. V.HamburgGermany

Bibliographic information