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 |
| Sumario: | 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. |
|---|---|
| Descripción Física: | 1 online resource (xv, 313 pages) : illustrations |
| Bibliografía: | Includes bibliographical references (pages 305-310) and index. |
| ISBN: | 9780080551838 0080551831 |