The 12th International Conference on Computer Safety, Reliability and Security

  • Janusz Górski
Conference proceedings SAFECOMP 1993

Table of contents

  1. Front Matter
    Pages i-xv
  2. Invited Paper

    1. Front Matter
      Pages 1-1
    2. Tom Anderson
      Pages 3-6
  3. Formal Methods and Models

    1. Front Matter
      Pages 7-7
    2. Cinzia Bernardeschi, Luca Simoncini, Andrea Bondavalli
      Pages 9-20
    3. Glenn Bruns, Stuart Anderson
      Pages 21-30
    4. Zhiming Liu, Jens Nordahl, Erling Vagn Sørensen
      Pages 31-40
  4. Applications

    1. Front Matter
      Pages 51-51
    2. Wolfgang A. Halang, Johan Scheepstra
      Pages 53-62
    3. Harvey E. Rhody, Vittorio Manoni, James R. Hoelscher
      Pages 73-82
  5. Safety Assessment

    1. Front Matter
      Pages 83-83
    2. M. J. P. van der Meulen, T. Stålhane, B. Cole
      Pages 85-90
    3. Morris Chudleigh
      Pages 99-108
  6. Safety Analysis

    1. Front Matter
      Pages 109-109
    2. S. S. Dhanjal, R. Fink
      Pages 111-122
    3. M. F. Chudleigh, J. N. Clare
      Pages 123-132
  7. Panel Session: Technology Transfer Between Academia and Industry

    1. Front Matter
      Pages 133-133
    2. Jean-Pierre Banâtre
      Pages 142-144
    3. W. Cellary
      Pages 145-146
  8. Invited Paper

    1. Front Matter
      Pages 155-155
    2. Jean-Claude Laprie
      Pages 157-168
  9. Verification and Validation

    1. Front Matter
      Pages 169-169
    2. Bernhard Stamm, René Baumann, Martin Kündig-Herzog
      Pages 182-193
  10. Testing

    1. Front Matter
      Pages 195-195
    2. Jeffrey M. Voas, Christoph C. Michael, Keith W. Miller
      Pages 197-206
  11. Dependable Software

    1. Front Matter
      Pages 217-217
    2. Amer Saeed, Rogério de Lemos, Tom Anderson
      Pages 219-229
    3. Johannes Rainer
      Pages 240-249
  12. Reliability Issues

    1. Front Matter
      Pages 251-251
    2. Rudolph E. Seviora
      Pages 265-275
    3. Henryk Krawczyk, Saleh Al-Karaawy
      Pages 276-285
  13. Languages

    1. Front Matter
      Pages 287-287
    2. G. Sen, J. Brummer
      Pages 289-301
    3. Pierre Molinaro, Olivier H. Roux
      Pages 302-310
  14. Invited Paper

    1. Front Matter
      Pages 311-311
    2. Carl E. Landwehr
      Pages 313-325
  15. Security

    1. Front Matter
      Pages 327-327
    2. Reinhard Posch
      Pages 341-348
    3. Martin Witte, Wolfgang A. Halang
      Pages 349-357
  16. Reactive Systems

    1. Front Matter
      Pages 359-359

About these proceedings


The safe operation of computer systems continues to be a key issue in many applications where people, environment, investment, or goodwill can be at risk. Such applications include medical, railways, power generation and distribution, road transportation, aerospace, process industries, mining, military and many others. This book represents the proceedings of the 12th International Conference on Computer Safety, Reliability and Security, held in Poznan, Poland, 27-29 October 1993. The conference reviews the state of the art, experiences and new trends in the areas of computer safety, reliability and security. It forms a platform for technology transfer between academia, industry and research institutions. In an expanding world-wide market for safe, secure and reliable computer systems SAFECOMP'93 provides an opportunity for technical developers, users, and legislators to exchange and review the experience, to consider the best technologies now available and to identify the skills and technologies required for the future. The papers were carefully selected by the International Program Com­ mittee of the Conference. The authors of the papers come from 16 different countries. The subjects covered include formal methods and models, safety assessment and analysis, verification and validation, testing, reliability issues and dependable software tech­ nology, computer languages for safety related systems, reactive systems technology, security and safety related applications. As to its wide international coverage, unique way of combining partici­ pants from academia, research and industry and topical coverage, SAFECOMP is outstanding among the other related events in the field.


control design manufacturing reliability safety security technology transfer

Editors and affiliations

  • Janusz Górski
    • 1
  1. 1.Franco-Polish School of New Information and Communication TechnologyPoznańPoland

Bibliographic information