Safety and Reliability of Software Based Systems: Twelfth Annual CSR Workshop (Bruges, 12–15 September 1995) - gebrauchtes Buch

EAN (ISBN-13): 9783540760344
ISBN (ISBN-10): 3540760342
Taschenbuch
Erscheinungsjahr: 1996
Herausgeber: Springer Berlin

Buch in der Datenbank seit 2009-02-18T21:22:13+01:00 (Berlin)
Detailseite zuletzt geändert am 2021-09-26T21:06:35+02:00 (Berlin)
ISBN/EAN: 3540760342

ISBN - alternative Schreibweisen:
3-540-76034-2, 978-3-540-76034-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: shaw
Titel des Buches: csr, bruges, system, software, safety

---

Daten vom Verlag:

Autor/in: Roger Shaw
Titel: Safety and Reliability of Software Based Systems - Twelfth Annual CSR Workshop (Bruges, 12–15 September 1995)
Verlag: Springer; Springer Berlin
461 Seiten
Erscheinungsjahr: 1996-09-27
London; GB
Gewicht: 0,745 kg
Sprache: Englisch
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
POD
XIII, 461 p. 23 illus.

BC; Software Engineering; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; C++ programming language; design; development; formal methods; safety-critical system; simulation; software; testing; Software Engineering; EA

Formal Methods and their Role in the Certification of Critical Systems.- Safety Cases — How Did We Get Here?.- System Safety — Challenge and Chance for Automotive Applications.- The SHIP Safety Case Approach: A Combination of System and Software Methods.- Decision Making and Planning by Autonomous Agents; A Generic Architecture for Safety-Critical Applications.- Safety Case Development: Current Practice, Future Prospects.- Assuring Confidence in Pharmaceutical Software.- Computer-based Safety Systems — The Elements of an Acceptable Safety Case.- An Assessment Methodology for Safety Critical Computer Based Systems.- The Safety of PES in the Offshore Industry.- The Role of Measurement in Software Safety Assessment.- “Unexpected (and Sometimes Unpleasant) Lessons from Data in Real Software Systems”.- Improving C Code Quality.- Improving Reuse in Space (IRIS).- Software Based Systems Dependability Requirements in the Process Industries.- Applying the B-Method to Avionics Software: An Initial Report on the MIST Project.- Application of an Integrated, Modular, Metric Based System and Software Test Concept.- Railway Safety Cases.- A Comparison of Different Safety-Critical Approaches used in Industry.- Safety Cases for Software-Based Systems.- Object-Oriented Approach to Safety Analysis.- FMEA and FTA to Support Safe Design of Embedded Software in Safety-Critical Systems.- Use of Hazard Analysis Techniques During the Product Life Cycle: HAZOP and FMEA Compared.- Computer Risks and Some Legal Consequences.- Software Design-Faults Simulation.- A Framework for Certifying Critical Software Systems.- A Statistical and Automated Code-Based Fault-Tree Mitigation Framework for C++.- ARTIE: A Proven Correct Architecture for Safety-Critical Applications.- Author Index.