By Mike Anthony, Will Campbell, and Becky Petteys, MathWorks
This paper examines the hypothesis that using state machines with constrained semantics and deterministic behavior is critical to the development and verification of high-integrity applications. It compares three approaches to the development of logic-intensive algorithms in a high-integrity environment: MATLAB®, Simulink®, and Stateflow® using a subset of Classic semantics; Stateflow using Mealy semantics; and Stateflow using Moore semantics. The tradeoffs to each approach are compared at every step of a sample high-integrity software development workflow.
This paper was presented at the 36th Annual AAS Guidance and Control Conference.