Lecture Notes in Computer Science

Computer Safety, Reliability and Security

17th International Conference, SAFECOMP'98, Heidelberg Germany, October 5-7, 1998, Proceedings

Herausgeber: Ehrenberger, Wolfgang (Ed.)

Vorschau

Dieses Buch kaufen

eBook 71,39 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-540-49646-5
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate: PDF
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Softcover 93,08 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-540-65110-9
  • Kostenfreier Versand für Individualkunden weltweit
  • Gewöhnlich versandfertig in 3-5 Werktagen.
Über dieses Buch

Computers and their interactions are becoming the characteristic features of our time: Many people believe that the industrial age is going over into the information age. In the same way as life of the beginning of this century was dominated by machines, factories, streets and railways, the starting century will be characterised by computers and their networks. This change naturally affects also the institutions and the installations our lives depend upon: power plants, including nuclear ones, chemical plants, mechanically working factories, cars, railways and medical equipment; they all depend on computers and their connections. In some cases it is not human life that may be endangered by computer failure, but large investments; e. g. if a whole plant interrupts its production for a long time. In addition to loss of life and property one must not neglect public opinion, which is very critical in many countries against major technical defects. The related computer technology, its hardware, software and production process differ between standard applications and safety related ones: In the safety case it is normally not only the manufacturers and the customers that are involved, but a third party, usually an assessor, who is taking care of the public interest on behalf of a state authority. Usually safety engineers are in a better position than their colleagues from the conventional side, as they may spend more time and money on a particular task and use better equipment.

Inhaltsverzeichnis (30 Kapitel)

Inhaltsverzeichnis (30 Kapitel)
  • CoRSA - A Constraint Based Approach to Requirements and Safety Analysis

    Hollingworth, Kevin (et al.)

    Seiten 3-15

  • An Agenda for Specifying Software Components with Complex Data Models

    Winter, Kirsten (et al.)

    Seiten 16-31

  • Safety in Production Cell Components: An Approach Combining Formal Real Time Specifications and Patterns

    Rust, Heinrich

    Seiten 32-44

  • Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems

    David, Vincent (et al.)

    Seiten 45-59

  • Linking Hazard Analysis to Formal Specification and Design in B

    Lano, K. (et al.)

    Seiten 60-74

Dieses Buch kaufen

eBook 71,39 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-540-49646-5
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate: PDF
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Softcover 93,08 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-540-65110-9
  • Kostenfreier Versand für Individualkunden weltweit
  • Gewöhnlich versandfertig in 3-5 Werktagen.
Loading...

Wir empfehlen

Loading...

Bibliografische Information

Bibliographic Information
Buchtitel
Computer Safety, Reliability and Security
Buchuntertitel
17th International Conference, SAFECOMP'98, Heidelberg Germany, October 5-7, 1998, Proceedings
Herausgeber
  • Wolfgang Ehrenberger
Titel der Buchreihe
Lecture Notes in Computer Science
Buchreihen Band
1516
Copyright
1998
Verlag
Springer-Verlag Berlin Heidelberg
Copyright Inhaber
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-49646-5
DOI
10.1007/3-540-49646-7
Softcover ISBN
978-3-540-65110-9
Buchreihen ISSN
0302-9743
Auflage
1
Seitenzahl
XVI, 404
Themen