In 1996, a project began at NASA's Kennedy Space Center to replace the legacy Launch Processing System with a state-of-the-art process control system called the Checkout and Launch Control System. Over 13 million lines of real time control software are being reengineered from a legacy language called Ground Operations Aerospace Language to a modern graphical programming language called ControlShell by Real Time Innovations. ControlShell combines a graphical language with a component-based design methodology. The ControlShell finite state machine component type is semantically similar to the statecharts of the Unified Modeling Language (UML). Thousands of executable finite state machines are being developed for the new launch system. The new system must deliver exceptionally reliable software to maintain safe operations and a high level of confidence by the end users. This paper discusses some of the development challenges of this project, the design approach, and the use of automated model checking for validation.
Developing and validating thousands of executable finite state machines
2001 IEEE Aerospace Conference Proceedings (Cat. No.01TH8542) ; 6 ; 2837-2848 vol.6
2001-01-01
1391237 byte
Conference paper
Electronic Resource
English
Developing and validating thousands of executable finite state machines
Tema Archive | 2001
|Hardware system for developing and validating software
Tema Archive | 1980
|Developing and Validating a “User-Oriented” Fatigue Analysis Program
SAE Technical Papers | 1980
|Executable specification-based system engineering
IEEE | 2011
|Self-adaptive auxiliary driving system considering thousands of people and thousands of faces
European Patent Office | 2024
|