RTCA規格 DO-333, 2011: Formal Methods Supplement to DO-178C and DO-278A

RTCA規格 DO-333, 2011: Formal Methods Supplement to DO-178C and DO-278A

産業規格・仕様書  >  RTCA  > 




RTCA規格 DO-333, 2011: Formal Methods Supplement to DO-178C and DO-278A

85,580(税込)

数量

書名

RTCA DO-333, 2011 Edition: Formal Methods Supplement to DO-178C and DO-278A
RTCA規格 DO-333, 2011:DO-178CおよびDO-278Aの形式手法サプリメント
発行元 RTCA
発行年/月 2011年12月   
装丁 ペーパー
ページ数 118ページ
発送予定 海外倉庫よりお取り寄せ 1-2週間以内に発送します
※セキュアPDF版(シングルユーザー版)をご希望のお客様は別途お問合せ下さいませ。
※当ウェブ・ショップに掲載のない規格につきましては、別途お問合せ下さいませ。
※掲載の規格は、当ウェブ・ショップに掲載時点で確認できた最新版でございます。 最新の発行状況につきましては受注時に改めて確認をさせて頂きますので予めご了承下さい。

 

Description


This supplement identifies the additions, modifications and substitutions to DO-178C and DO-278A objectives when formal methods are used as part of a software life cycle, and the additional guidance required. It discusses those aspects of airworthiness certification that pertain to the production of software, using formal methods for systems approved using DO-178C.

Formal methods are mathematically-based techniques for the specification, development and verification of software aspects of digital systems. The mathematical basis of formal methods consists of formal logic, discrete mathematics and computer-readable languages. The use of formal methods is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analyses can contribute to establishing the correctness and robustness of a design.