This supplement discusses the use of model-based development and verification in the software life cycle for software that is produced in accordance with ED-12C. If the applicant is planning to use model-based development and verification, then the applicant should comply with this supplement. This supplement does not provide guidance for models developed and/or used only for the software verification process.

PURPOSE

This supplement contains modifications and additions to ED-12C objectives, activities, explanatory text, and software life cycle data that should be addressed when modelbased development and verification are used as part of the software life cycle. This includes the artifacts that would be expressed using models and the verification evidence that could be derived from them. Therefore, this supplement also applies to the models developed in the system process that define software requirements or software architecture.