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)

RTCA規格 DO-331, 2011

産業規格・仕様書  >  RTCA  > 




RTCA規格 DO-331, 2011

91,520(税込)

数量

書名

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)
RTCA規格 DO-331, 2011: DO-178CおよびDO-278Aのモデルベース開発と検証の補足
発行元 RTCA
発行年/月 2021年2月   
装丁 ペーパー
ページ数 155ページ
発送予定 海外倉庫よりお取り寄せ 1-2週間以内に発送します
※セキュアPDF版(シングルユーザー版)をご希望のお客様は別途お問合せ下さいませ。
※当ウェブ・ショップに掲載のない規格につきましては、別途お問合せ下さいませ。
※掲載の規格は、当ウェブ・ショップに掲載時点で確認できた最新版でございます。 最新の発行状況につきましては受注時に改めて確認をさせて頂きますので予めご了承下さい。

 

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.