============================================================

Background:

• 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.

============================================================

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 to DO-178C?

This is assuming they do not use advance Model-Based Development Tools like SCADE/Simulink.

Hope someone can help me with this. Thanks in advance.