State oriented programming

Authors:
Hideki Nomoto
Affiliations:
Massachusetts Institute of Technology, Aeronautical and Astronautical Engineering, Cambridge, MA
Venue:
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Year:
2004

Citing 1
Cited 2

Investigating the readability of state-based formal requirements specification languages

Proceedings of the 24th International Conference on Software Engineering

A relational database model for representation of formal specifications

Proceedings of the 44th annual Southeast regional conference
State-oriented programming for TinyOS

Proceedings of the 2007 Summer Computer Simulation Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes a methodology called "State Oriented Programming" to generate code from state-machine based formal design specification. 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.