Safe Comp 97

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

  • Peter Daniel

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Safe Software

    1. Front Matter
      Pages 1-1
    2. Hélène Papini, Frangois Simon
      Pages 3-13
    3. Stefan Scheer, Thomas Maier
      Pages 37-51
  3. Safety Cases, Management and Development

    1. Front Matter
      Pages 53-53
    2. T. P. Kelly, J. A. McDermid
      Pages 55-69
    3. Peter A. Lindsay, John A. McDermid
      Pages 70-82
    4. David Jenkins, Brian Lees, Daniel Livingstone, Andrew Reglinski
      Pages 98-108
  4. Security and Human Factors

  5. Guidelines, Standards and Certification

    1. Front Matter
      Pages 171-171
    2. B. A. Wichmann
      Pages 173-184
    3. P. D. Edwards, R. S. Rivett, G. F. McCall
      Pages 185-196
    4. S. P. Wilson, J. A. McDermid, P. M. Kirkham, C. H. Pygott, D. J. Tombs
      Pages 197-209
  6. Formal Methods and Models

    1. Front Matter
      Pages 221-221
    2. K. Lano
      Pages 223-240
    3. Bruno Mermet, Dominique Méry
      Pages 265-280
    4. M. Čepin, R. de Lemos, B. Mavko, S. Riddle, A. Saeed
      Pages 281-294
  7. Applications and Industrial Experience

    1. Front Matter
      Pages 309-309
    2. Philippe Baufreton, Xavier Méhaut, Éric Rutten
      Pages 311-320
    3. P. R. Croll, C. Chambers, M. Bowell, P. W. H. Chung
      Pages 321-331
    4. Stephen Barker, Ian Kendall, Anthony Darlison
      Pages 332-342
  8. Testing, Validations and Verification

    1. Front Matter
      Pages 343-343
    2. Ian T. Nabney, Mickael J. S. Paven, Richard C. Eldridge, Clive Lee
      Pages 357-368
    3. John C. Knight, Luís G. Nakano
      Pages 369-380
  9. Back Matter
    Pages 381-381

About these proceedings


The safe and secure operation ofcomputer systems continues to be the major issue in many applications where there is a threat to people, the environment, investment or goodwill. Such applications include medical devices, railway signalling, energy distribution, vehicle control and monitoring, air traffic control, industrial process control, telecommunications systemsand manyothers. This book represents the proceedings of the 16th International Conference on Computer Safety, Reliability and Security, held in York, UK, 7-10 September 1997. The conference reviews the state ofthe art, experience 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 97 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 Conference International Programme Committee. The authors of the papers come from twelve different countries. The subjects covered include safe software, safety cases, management & development, security, human factors, guidelines standards & certification, applications & industrial experience, formal methods & models andvalidation, verification and testing. SAFECOMP '97 continues the successful series of SAFECOMP conferences first held in 1979 in Stuttgart. SAFECOMP is organised by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Safety, Security and Reliability (EWICS TC7).


Hardware Standards computer design development embedded systems formal method formal methods modeling reliability software structured analysis testing validation verification

Editors and affiliations

  • Peter Daniel
    • 1
  1. 1.GEC-Marconi Secure Systems LtdLiverpoolUK

Bibliographic information

Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment