============================================================DO-178C, Software Considerations in Airborne Systems and Equipment Certification is the primary document by which the certification authorities such as FAA, EASA, and Transport Canada approve all commercial software-based aerospace systems. The document is published by RTCA, Incorporated, in a joint effort with EUROCAE, and replaces DO-178B.
Background:DO-331 is a supplement for DO-178C that discusses the use of model-based development and verification in the software life cycle for software that is produced in accordance with DO-178C.
- DO-178C, Software Considerations in Airborne Systems and Equipment Certification is the primary document by which the certification authorities such as FAA, EASA and Transport Canada approve all commercial software-based aerospace systems. The document is published by RTCA, Incorporated, in a joint effort with EUROCAE, and replaces DO-178B. [https://en.wikipedia.org/wiki/DO-178C]
- DO-331 is a supplement for DO-178C that discusses the use of model-based development and verification in the software life cycle for software that is produced in accordance with DO-178C. [DO-331]
In DO-331, it seems that model coverage analysis and simulation can only be achieved using advanced Model-Based Development Tools like SCADE/Simulink.
============================================================
WouldI would like to know if companies who design their software using simple UML tools and produce static UML diagrams need to apply DO-331 if they intended to comply towith DO-178C?
This is assuming they do not use advanceadvanced Model-Based Development Tools like SCADE/Simulink.
Hope someone can help me with this. Thanks in advance.
