FOREWORD
INTRODUCTION
1 Scope and object
2 Normative references
3 Terms and definitions
4 Symbols and abbreviations
5 General requirements for software projects
6 Software requirements
7 Design and implementation
8 Software Verification
9 Software aspects of system integration
10 Software aspects of system validation
11 Software modification
12 Software aspects of installation and operation
13 Defences against common cause failure due to software
14 Software tools for the development of software
15 Qualification of pre-developed software
Annex A (normative) - Software safety life cycle and
details of software requirements
Annex B (normative) - Detailed requirements and
recommendations for design and implementation
Annex C (informative) - Example of application oriented
software engineering (software development
with application-oriented language)
Annex D (informative) - Language, translator, linkage editor
Annex E (informative) - Software verification and testing
Annex F (informative) - Typical list of software documentation
Annex G (informative) - Considerations of CCF and diversity
Annex H (informative) - Tools for production and checking
of specification, design and implementation
Annex I (informative) - Requirements concerning pre-developed
software (PDS)
Annex J (informative) - Correspondence between IEC 61513
and this standard
Annex ZA (normative) - Normative references to international
publications with their corresponding
European publications