Use of Unified Modeling Language (UML) in Model-Based Development (MBD) For Safety-Critical Applications.

摘要

One of the key assumptions behind most Model-Based Development (MBD) efforts is the selection of Unified Modeling Language (UML) for the design language. While popular, more than 90 percent of all MBD efforts choose UML. This choice is often taken for granted. Typically, no trade studies are provided to support the choice of UML, especially the evaluation of UML traits that would make it adequate for use in MBD for safety-critical applications. Given that UML is selected for MBD, this report seeks to look at some of UML's traits in light of safety related expectations. Moreover, this report recommends practices for using UML on safety-critical applications and makes an appeal to the MBD community for additional suggested safe practices.