| タイトル | Mission and Safety Critical (MASC): An EVACS simulation with nested transactions |
| 本文（外部サイト） | http://hdl.handle.net/2060/19930011125 |
| 著者（英） | Atkinson, Colin; Auty, David; Randall, Charlie |
| 著者所属（英） | Research Inst. for Computing and Information Systems |
| 発行日 | 1992-09-01 |
| 言語 | eng |
| 内容記述 | The Extra-Vehicular Activity Control System (EVACS) Simulation with Nested Transactions, a recent effort of the MISSION Kernel Team, is documented. The EVACS simulation is a simulation of some aspects of the Extra-Vehicular Activity Control System, in particular, just the selection of communication frequencies. The simulation is a tool to explore mission and safety critical (MASC) applications. For the purpose of this effort, its current definition is quite narrow serving only as a starting point for prototyping purposes. (Note that EVACS itself has been supplanted in a larger scenario of a lunar outpost with astronauts and a lunar rover). The frequency selection scenario was modified to embed its processing in nested transactions. Again as a first step, only two aspects of transaction support were implemented in this prototype: architecture and state recovery. Issues of concurrency and distribution are yet to be addressed. |
| NASA分類 | MAN/SYSTEM TECHNOLOGY AND LIFE SUPPORT |
| レポートNO | 93N20314
NASA-CR-192295
NAS 1.26:192295 |
| 権利 | No Copyright |
