The Community for Technology Leaders
Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) (2004)
Tampa, Florida
Mar. 25, 2004 to Mar. 26, 2004
ISSN: 1530-2059
ISBN: 0-7695-2094-4
pp: 304-305
Hideki Nomoto , Massachusetts Institute of Technology
ABSTRACT
This paper describes a methodology called "State Oriented Programming" to generate code from state-machine based formal design speci.cation. The methodology is focused on the safety critical systems. In order to achieve highly reliable system development, the following several key techniques are presented: 1) "State-of-interest" based design technique which seamlessly incorporates system/hazard analysis into the design and executable code 2) Automated "transparent" code generation technique that mitigates unexpected behaviors of the code 3) Fully deterministic "backward" execution mechanism of the generated code
INDEX TERMS
null
CITATION
Hideki Nomoto, "State Oriented Programming", Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05), vol. 00, no. , pp. 304-305, 2004, doi:10.1109/HASE.2004.1281771
92 ms
(Ver 3.3 (11022016))