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.
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.
In DO-331, it seems that model coverage analysis and simulation can only be achieved using advanced Model-Based Development Tools like SCADE/Simulink.
I 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 with DO-178C?
This is assuming they do not use advanced Model-Based Development Tools like SCADE/Simulink.