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

EAN (ISBN-13): 9781447109211
Erscheinungsjahr: 2012
Herausgeber: Springer London

Buch in der Datenbank seit 2017-01-14T11:49:13+01:00 (Berlin)
Detailseite zuletzt geändert am 2022-06-14T19:55:19+02:00 (Berlin)
ISBN/EAN: 9781447109211

ISBN - alternative Schreibweisen:
978-1-4471-0921-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: stewart, springer
Titel des Buches: reliability, september

---

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 London
461 Seiten
Erscheinungsjahr: 2012-12-06
London; GB
Sprache: Englisch
96,29 € (DE)
118,00 CHF (CH)
Available
XIII, 461 p. 23 illus.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; C++ programming language; design; development; formal methods; safety-critical system; simulation; software; testing; C; Software Engineering; Software Engineering; Computer Science; BC

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.