Developing Safety-Critical Software

Contents

Part I Introduction

1 Introduction and Overview

Acronyms

1.1 Defining Safety-Critical Software

1.2 Importance of Safety Focus

1.3 Book Purpose and Important Caveats

1.4 Book Overview

References

Part II Context of Safety-Critical Software Development

2 Software in the Context of the System

Acronyms

2.1 Overview of System Development

2.2 System Requirements

2.2.1 Importance of System Requirements

2.2.2 Types of System Requirements

2.2.3 Characteristics of Good Requirements

2.2.4 System Requirements Considerations

2.2.4.1 Integrity and Availability Considerations

2.2.4.2 Other System Requirements Considerations

2.2.5 Requirements Assumptions

2.2.6 Allocation to Items

2.3 System Requirements Validation and Verification

2.3.1 Requirements ...