HRT-HOOD(tm): A Structured Design Method for Hard Real-Time Ada Systems

Content: 
Foreword
Page IX
Richard Creasey

Preface
Pages XI-XII

Acknowledgements
Page XIII

Real-time systems research at York
Page XV

Part 1 Hard real-time HOOD
Page 1

1 Overview of the HRT-HOOD design process
Pages 3-9

2 Logical and physical architecture design in HRT-HOOD
Pages 11-18

3 HRT-HOOD objects
Pages 19-45

Part 2 Mapping HRT-HOOD Designs to Ada
Page 47

4 Support for hard real-time systems in ada 83 and ada 95
Pages 49-64

5 Overall mapping approach
Pages 65-75

6 Mapping of passive and active objects
Pages 77-92

7 Mapping protected, cyclic and sporadic objects
Pages 93-127

8 distributed systems
Pages 129-141

Part 3 Case Studies
Page 143

9 The mine control system
Pages 145-224

10 The olympus attitude and orbital control system
Pages 225-246

11 Conclusions
Pages 247-248

Appendix A: Terminology
Pages 249-252

Appendix B: HRT-HOOD definition rules
Pages 253-259

Appendix C: Object description skeleton (ODS) syntax summary
Pages 261-280

Appendix D: Textual formalism — the ODS definition
Pages 281-300

Appendix E: Device driving
Pages 301-304

References
Pages 305-310

Index
Pages 311-313