Safety and Reliability of Software Based Systems
Springer Berlin (Verlag)
978-3-540-76034-4 (ISBN)
This book discusses safety cases and their varying roles in different industries; using measurement to improve reliability and safety of software-based systems; latest developments in managing, developing and assessing software intensive systems where reliability and/or safety are important considerations; and practical experiences of others in industry.
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.
Erscheint lt. Verlag | 27.9.1996 |
---|---|
Zusatzinfo | XIII, 461 p. 23 illus. |
Verlagsort | London |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 745 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
Informatik ► Theorie / Studium ► Kryptologie | |
Schlagworte | C++ programming language • Design • Development • formal methods • safety-critical system • Simulation • Software • Testing |
ISBN-10 | 3-540-76034-2 / 3540760342 |
ISBN-13 | 978-3-540-76034-4 / 9783540760344 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich