Summary
At this point, the following system features are part of the model:
●The design is verified and validated at each level of decomposition. Test scenarios are created for analysis and used to test the design through hardware-in-the-loop analysis.
Both a formal specification and a design document from the executable model provide the software engineers with the implemention for the target application.