RTCA規格 DO-331, 2011 Edition: Model-Based Development and Verification Supplement to DO-178C and DO-278A (Includes all amendments and changes through Errata , February 16, 2021)
※当ウェブ・ショップに掲載のない規格につきましては、別途お問合せ下さいませ。
※掲載の規格は、当ウェブ・ショップに掲載時点で確認できた最新版でございます。 最新の発行状況につきましては受注時に改めて確認をさせて頂きますので予めご了承下さい。
Description
This supplement contains modifications and additions to DO-178C and DO-278A objectives, activities, explanatory text and software life cycle data that should be addressed when model-based 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.
A model is an abstract representation of a set of software aspects of a system that is used to support the software development process or the software verification process. This supplement addresses model(s) that have the following characteristics: The model is completely described using an explicitly identified modeling notation.
- The modeling notation may be graphical and/or textual.
- The model contains software requirements and/or software architecture definition.
- The model is of a form and type that is used for direct analysis or behavioral evaluation as supported by the software development process or the software verification process.