ISO/IEC TR 15942:2000
高度に統合されたシステムにおける情報技術プログラミング言語における Ada プログラミング言語の使用に関するガイド

規格番号

ISO/IEC TR 15942:2000

制定年

2000

出版団体

International Organization for Standardization (ISO)

最新版

ISO/IEC TR 15942:2000

範囲

このテクニカル レポートは、高整合性システムを作成する際の Ada の使用に関するガイダンスを提供します。 このようなアプリケーションを作成する場合、通常、ガイドラインや標準への準拠を独立機関に対して実証する必要があります。 これらのガイドラインまたは基準は、アプリケーション分野、産業分野、または関連するリスクの性質によって異なります。 安全アプリケーションの場合、国際一般規格は [IEC 61508] であり、そのパート 3 はソフトウェアに関するものです。 セキュリティ システムの場合、多国籍の汎用評価ガイドは [ISO CD 15408] です。 セクター固有のガイダンスおよび基準については、次のとおりです。 航空民間航空電子機器: [DO-178B] 原子力発電所: [IEC 880] 医療システム: [IEC 601-4] 製薬: [GAMP] 国/地域のガイダンスおよび基準については、次のものがあります。 以下: 英国防衛: [DS 00-55] 欧州鉄道: [EN 50128] 欧州安全保障: [ITSEC] 米国原子力: [NRC] 英国自動車: [MISRA] 米国医療: [FDA] 米国宇宙: [NASA]上記の規格およびガイドは、この技術レポートでは「規格」と呼ばれます。 上記のリストはすべてを網羅したものではありませんが、この技術レポートがガイダンスを提供する規格の種類を示しています。 上記の特定の規格は個別に取り上げられるものではありませんが、この技術レポートはその要件と推奨事項の分析に基づいて作成されています。 1 範囲内 この技術レポートは、システムが上記の標準または同様の性質の標準を満たすように Ada で開発されていることを前提としています。 この技術レポートの主な目的は、一般的な要件を Ada 固有の要件に変換することです。 たとえば、一般的な標準では、動的テストでアプリケーションのコード内のすべてのステートメントの実行の証拠を提供することが要求される場合があります。 ジェネリックの場合、この技術レポートでは、ジェネリックのすべてのインスタンス化が実行される必要があることを意味すると解釈されます。 この技術レポートはガイダンスの提供のみを目的としており、「義務」はありません。 ただし、この技術レポートでは、使用されているセクター固有の標準に従って解決および文書化する必要がある検証および検証の問題を特定します。 以下のトピックがこのテクニカル レポートの範囲内です: · 検証と標準への準拠を支援する言語の機能の選択 · 追加の検証手順が必要な言語機能の特定 · 設計と検証を支援するツールの使用· 高整合性アプリケーションで使用するコンパイラの認定に関する問題。 · ユーザーがアクセスできる Ada ソース コードを生成するグラフィック デザイン ツールなどのツール。 Ada ソース コードを生成するツールには特別な考慮が必要です。 生成されたコードが変更または拡張される可能性がある場合、ガイドラインが考慮されていれば、拡張機能とシステム全体の検証が支援されます。 変更が計画されていない場合でも、ジェネレーターが信頼されているか、適用される標準に従って「認定」されていない限り、生成されたコードの検査と分析が避けられない場合があります。 最後に、生成されたコードが変更も検査もされていない場合でも、コードがテストと分析を容易にすることを目的としたガイドラインから逸脱している場合、全体的な検証プロセスがより複雑になる可能性があります。 このようなツールを使用する可能性のあるユーザーは、この技術レポートで提供されるガイダンスに照らしてコード生成を評価する必要があります。

ISO/IEC TR 15942:2000 発売履歴

• 2000 ISO/IEC TR 15942:2000 高度に統合されたシステムにおける情報技術プログラミング言語における Ada プログラミング言語の使用に関するガイド