Safety and Reliability of Software Based Systems

Twelfth Annual CSR Workshop (Bruges, 12–15 September 1995)

Häftad, Engelska, 1996

1 124 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

Safety and Reliability of Software Based Systems contains papers, presented at the twelfth annual workshop organised by the Centre for Software Reliability. Contributions come from different industries in many countries, and provide discussion and cross-fertilisation of ideas relevant to systems whose safety and/or reliability are of paramount concern. 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.

Produktinformation

Utgivningsdatum:1996-09-27
Mått:155 x 235 x 26 mm
Vikt:715 g
Format:Häftad
Språk:Engelska
Antal sidor:461
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540760344

Utforska kategorier

Programmeringsböcker inom Data och IT
IT-säkerhet inom Data och IT

Innehållsförteckning

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.

Du kanske också är intresserad av

Biodiversity Conservation in Transboundary Protected Areas

National Research Council, Policy and Global Affairs, Office of International Affairs, Office of Central Europe and Eurasia, Reginald Noble, Alicja Breymeyer

Häftad, 1996

1 356 kr

Prisoners' Children

Roger Shaw

E-bok

2023

537 kr

Biographical Memoirs

National Academy of Sciences

Inbunden, 1996

1 980 kr

Biographical Memoirs

National Academy of Sciences

E-bok

1996

1 080 kr

Book of Numbers

John H. Conway, Richard Guy

Inbunden, 1996

567 kr

Family Mediation

Robert Coulson

Inbunden, 1996

475 kr

Biodiversity Conservation in Transboundary Protected Areas

Office of Central Europe and Eurasia, Office of International Affairs, Policy and Global Affairs, National Research Council, Alicja Breymeyer, Reginald Noble

E-bok

1996

671 kr

Man-Made Medicine

Kary L. Moss

Häftad, 1996

389 kr

Prisoners' Children

Roger Shaw

Häftad, 2025

460 kr

Fiela's Child

Dalene Matthee, Roy Blatchford, Cathy Poole

Häftad, 1996

(1)

289 kr