Lecture Notes in Computer Science

Computer Safety, Reliability and Security

18th International Conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999, Proceedings

Editors: Felici, Massimo, Kanoun, Karama, Pasquini, Alberto (Eds.)

Free Preview

Buy this book

eBook 74,96 €
price for Spain (gross)
  • ISBN 978-3-540-48249-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 93,59 €
price for Spain (gross)
  • ISBN 978-3-540-66488-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

The European Commission emphasizes, in its Fifth Research Framework, the “. . . emerging generic dependability requirements in the information society, stemming both from the ubiquity and volume of embedded and networked systems and services as well as from the global and complex nature of large scale information and communication infrastructures, from citizens, administrations and business in terms of technologies, tools, systems, applications and services". The series of Conference on Computer Safety, Reliability, and Security (Safecomp) contributes to satisfy these requirements by reviewing the state of the art, experiences, and new trends in the relevant scientific and industrial areas. Safecomp is intended to be a platform for technology transfer among academia, industry, and research institutions, providing the opportunity for exchange of ideas, opinions, and visions among experts. This year Safecomp celebrates the 20th anniversary, its first Conference having been organized in Stuttgart by EWICS (European Workshop on Industrial Computer Systems) in 1979, and we hope these Proceedings will contribute to the celebration by supporting Safecomp aims. The Proceedings include the 25 papers that have been presented orally at the Conference and the full version of the 14 papers that have been presented as posters, all of which were selected from 76 submissions. Papers almost uniformly take up Safecomp topics, dealing with the issues of Safety Assessment and Human Factors, Verification and Validation, Design for Safety, Formal Methods, and Security.

Table of contents (40 chapters)

  • Software Reliability Engineering in Industry

    Musa, John D.

    Pages 1-12

  • A Systematic Approach to Safety Case Maintenance

    Kelly, T. P. (et al.)

    Pages 13-26

  • SQUALE Dependability Assessment Criteria

    Deswarte, Yves (et al.)

    Pages 27-38

  • Assessment and Certification of Safety-Critical Digital Architectures — the ACRuDA Project

    Sonneck, Gerald (et al.)

    Pages 39-45

  • Safety Evaluation of a Train Leader Telephone System

    Dahll, Gustav

    Pages 46-57

Buy this book

eBook 74,96 €
price for Spain (gross)
  • ISBN 978-3-540-48249-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 93,59 €
price for Spain (gross)
  • ISBN 978-3-540-66488-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Computer Safety, Reliability and Security
Book Subtitle
18th International Conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999, Proceedings
Editors
  • Massimo Felici
  • Karama Kanoun
  • Alberto Pasquini
Series Title
Lecture Notes in Computer Science
Series Volume
1698
Copyright
1999
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-48249-9
DOI
10.1007/3-540-48249-0
Softcover ISBN
978-3-540-66488-8
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XVIII, 490
Topics