Methodology : Summary

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.