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 (informative) Software safety life cycle and
                        details of software requirements
Annex B (informative) - 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