Cargando…
HRT-HOOD : a structured design method for hard real-time Ada systems /
The increasing use of computers for real-time control on board spacecrafts has brought with it a greater emphasis on the development methodology used for such systems. By their nature, spacecraft control computers have to operate unattended for long periods and because of the programmatics of space,...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; New York :
Elsevier,
1995.
|
| Colección: | Real-time safety critical systems ;
3. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn174964788 | ||
| 003 | OCoLC | ||
| 005 | 20231117015053.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 071018s1995 ne a ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d YDXCP |d OCLCQ |d MERUC |d E7B |d OCLCQ |d IDEBK |d OCLCQ |d OCLCF |d OCLCO |d OPELS |d OCLCQ |d DEBBG |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ | ||
| 019 | |a 173807779 |a 441786163 |a 648327527 | ||
| 020 | |a 9780080551838 |q (electronic bk.) | ||
| 020 | |a 0080551831 |q (electronic bk.) | ||
| 020 | |z 0444821643 |q (Cloth) | ||
| 020 | |z 9780444821645 | ||
| 035 | |a (OCoLC)174964788 |z (OCoLC)173807779 |z (OCoLC)441786163 |z (OCoLC)648327527 | ||
| 050 | 4 | |a QA76.73.A35 |b B86 1995eb | |
| 072 | 7 | |a REF |x 000000 |2 bisacsh | |
| 082 | 0 | 4 | |a 005.2 |2 22 |
| 100 | 1 | |a Burns, Alan, |d 1953- | |
| 245 | 1 | 0 | |a HRT-HOOD : |b a structured design method for hard real-time Ada systems / |c Alan Burns, Andy Wellings. |
| 260 | |a Amsterdam ; |a New York : |b Elsevier, |c 1995. | ||
| 300 | |a 1 online resource (xv, 313 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Real-time safety critical systems ; |v vol. 3 | |
| 504 | |a Includes bibliographical references (pages 305-310) and index. | ||
| 505 | 0 | |a Cover -- Contents -- Foreword -- Preface -- Acknowledgements -- Real-Time Systems Research at York -- Part 1: Hard Real-Time HOOD -- Chapter 1. Overview of the HRT-HOOD Design Process -- 1.1 Introduction -- 1.2 The Importance of Non-Functional Requirements -- 1.3 The Software Development Life Cycle -- 1.4 Summary -- Chapter 2. Logical and Physical Architecture Design in HRT-HOOD -- 2.1 Logical Architecture Design -- 2.2 Physical Architecture Design -- 2.3 Summary -- Chapter 3. HRT-HOOD Objects -- 3.1 Graphical Representation -- 3.2 Passive Objects -- 3.3 Active Objects -- 3.4 Protected Objects -- 3.5 Cyclic Objects -- 3.6 Sporadic Objects -- 3.7 Real-Time Object Attributes -- 3.8 The Use Relationship (Control Flow) -- 3.9 The Include Relationship (Decomposition) -- 3.10 Operation Decomposition -- 3.11 Object Control Structure and Thread Decomposition -- 3.12. Data Flows -- 3.13 Exception Flows -- 3.14 Environment Objects -- 3.15 Class Objects -- 3.16 Distributed Systems -- 3.17 Summary -- Part 2: Mapping HRT-HOOD Designs to Ada -- Chapter 4. Supporting Hard Real-Time Systems in Ada 83 and Ada 95 -- 4.1 The Ada 83 and Ada 95 Real-Time Models -- 4.2 Supporting Ada 95 Abstractions in Ada 83 -- 4.3 Extending the Model -- 4.4 Implementation Cost -- 4.5 Summary -- Chapter 5. Overall Mapping Approach -- 5.1 HOOD 3.1 to Ada 83 Mapping -- 5.2 An Alternative Translation Approach -- 5.3 Mapping HRT-HOOD to Ada -- Chapter 6. Mapping of Passive and Active Objects -- 6.1 Passive Terminal Objects -- 6.2 Active Terminal Objects -- 6.3 Class and Instance Terminal Objects -- Chapter 7. Mapping Protected, Cyclic and Sporadic Objects -- 7.1 Protected Terminal Objects -- 7.2 Cyclic Terminal Objects -- 7.3 Sporadic Terminal Objects -- Chapter 8. Distributed Systems -- 8.1 Analysable Communication Subsystem -- 8.2 Mapping to Ada 95 -- 8.3. Mapping Protected Objects in a Distributed Ada Environment -- Part 3: Case Studies -- Chapter 9. The Mine Control System -- 9.1 Mine Control System Overview -- 9.2 The Logical Architecture Design -- 9.3 The Physical Architecture Design -- 9.4 The Object Description Skeleton -- 9.5 Translation to Ada 95 -- 9.6 Conclusion -- Chapter 10. The Olympus Attitude and Orbital Control System -- 10.1 Background to the Case Study -- 10.2 The Modelled System: The Olympus AOCS -- 10.3 The Software Architecture Design -- 10.4 The Physical Architecture Design -- 10.5 Problems Encountered -- 10.6 Summary -- Chapter 11. Conclusions -- Appendix A: Terminology -- Appendix B: HRT-HOOD Definition Rules -- Appendix C: Object Description Skeleton (ODS) Syntax Summary -- Appendix D: Textual Formalism -- the ODS Definition -- Appendix E: Device Control Objects in HRT-HOOD -- References -- Index -- Last Page. | |
| 588 | 0 | |a Print version record. | |
| 520 | |a The increasing use of computers for real-time control on board spacecrafts has brought with it a greater emphasis on the development methodology used for such systems. By their nature, spacecraft control computers have to operate unattended for long periods and because of the programmatics of space, systems are subject to a long development cycle. As a result, there are two distinct concerns, the first being that the development approach guarantees functional and timing correctness, the second being that problems, particularly those associated with timing, are considered as early as possible i. | ||
| 650 | 0 | |a Ada (Computer program language) | |
| 650 | 0 | |a Real-time data processing. | |
| 650 | 0 | |a Structured programming. | |
| 650 | 6 | |a Ada (Langage de programmation) |0 (CaQQLa)201-0087664 | |
| 650 | 6 | |a Temps r�eel (Informatique) |0 (CaQQLa)201-0017753 | |
| 650 | 6 | |a Programmation structur�ee. |0 (CaQQLa)201-0061215 | |
| 650 | 7 | |a REFERENCE |x General. |2 bisacsh | |
| 650 | 7 | |a Ada (Computer program language) |2 fast |0 (OCoLC)fst00796426 | |
| 650 | 7 | |a Real-time data processing. |2 fast |0 (OCoLC)fst01091219 | |
| 650 | 7 | |a Structured programming. |2 fast |0 (OCoLC)fst01135741 | |
| 653 | 0 | |a Real time computers |a Programming | |
| 700 | 1 | |a Wellings, Andrew J. | |
| 776 | 0 | 8 | |i Print version: |a Burns, Alan, 1953- |t HRT-HOOD. |d Amsterdam ; New York : Elsevier, 1995 |z 9780444821645 |w (DLC) 95007584 |w (OCoLC)32167659 |
| 830 | 0 | |a Real-time safety critical systems ; |v 3. | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780444821645 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/bookseries/15725960/3 |z Texto completo |