In this simple example we are only going to consider one axis, the pitch axis. We are also going to restrict our attention to that portion of the control software responsible for tracking a desired lateral acceleration. The figure above shows in solid lines the portion of the overall missile system that will be modeled and developed in this example. A specification for a control algorithm is developed that commands fin deflections to cause the missile to accelerate along the pitch axis. The missile acceleration tracks a desired acceleration command, which in an actual missile would be provided by a guidance function that will not be discussed here.
Software is developed for both a simulation of the missile and for the controller.
The following development steps are performed to produce the various development artifacts. We will present these in a linear order, though in an actual development effort an initial simple specification will be evolved to the final specification based on analysis, simulation and test results. Initially the operators in this specification may be simple linear models, where the specification becomes more elaborate as development progresses. These will appear in the MetaH specification of the overall system. MetaH specifications that describe this test code are also produced.