JIS C 0508-7:2017 電気・電子・プログラマブル電子安全関連系の機能安全―第７部：技術及び手法の概観 | ページ 11

                                                                                             49
                                                                C 0508-7 : 2017 (IEC 61508-7 : 2010)
      又は安全関連系の仕様外の入力条件(例えば,正しくない操作)に対する,安全関連系の機能的挙
      動を見直す。まれな入力条件の場合,安全関連系の観察した挙動を,仕様の内容と比較する。安全
      関連系の応答を規定していない場合, 観察した応答によって工場の安全を維持できるかどうかを確
      認することが望ましい。

参考文献

参考文献

――――― [JIS C 0508-7 pdf 51] ―――――

50
C 0508-7 : 2017 (IEC 61508-7 : 2010)
      注記 対応国際規格 : IEC 60812:2006,Analysis techniques for system reliability−Procedure for failure
            mode and effects analysis (FMEA)
    IEC 61069-5:1994,Industrial-process measurement and control−Evaluation of system properties for the
        purpose of system assessment−Part 5: Assessment of system dependability

――――― [JIS C 0508-7 pdf 52] ―――――

                                                                                             51
                                                                C 0508-7 : 2017 (IEC 61508-7 : 2010)
                                          附属書C
                                          (参考)
           ソフトウェア安全度を達成するための技術及び手法の概要
                                 (JIS C 0508-3参照)
C.1 一般
  この附属書に記載する技術の概要が完全,又は全てを網羅しているとはみなさないことが望ましい。
C.2 要求事項及び詳細設計
    注記 関連技術及び手法は,B.2に記載がある。
C.2.1 構造化図表法
    注記 この技術及び手法は,JIS C 0508-3の表A.2及び表A.4で引用されている。
C.2.1.1 一般
目的 : 構造化手法の主な目的は,ライフサイクルの初期の部分に注意を向けることによって,ソフトウェ
      ア開発の質を高めることである。これらの方法は,正確かつ直感的な手順と表記法(コンピュータ
      で支援される)との両方によって達成することを目標としており,要求事項及び実装機能を論理的
      順序及び構造化された方式で定め,文書化することを狙いとしている。
説明 : 構造化手法としては様々なものが存在する。従来のデータ処理及びトランザクション処理のために
      設計されたものもあり,プロセス制御及びリアルタイムアプリケーション(安全を重視する傾向に
      ある)のために設計されたものもある。UML(統一モデル化言語,C.3.12参照)は,構造化表記の
      例を多く含んでいる。
        構造化手法は,基本的に,問題又はシステムを体系的に認識して分割するための,“思考ツール”
      である。これらの方法の主な特徴を,次に示す。
      − 大きな問題を管理可能な段階に分割する,論理的思考順序
      − 環境及び要求するシステムを含め,システム全体の解析及び文書化
      − 要求するシステムにおけるデータ及び機能の分割
      − チェックリスト,すなわち,解析を必要とする事項の分類表
      − 高度な知識を必要としない処理−単純,直感的又は実用的なもの
      − 意図したシステムの図解モデルの開発に大きな重点を置いていることが多く,方法全体に対す
          るCASEツール支援をもつ。
        問題及びシステムエンティティ(例えば,処理及びデータフロー)を解析し,文書化するための
      支援表記法は厳密になる傾向があるが,これらのエンティティが実施する処理機能を表現するため
      の表記法は,略式となる傾向がある。ただし,幾つかの方法では,(数学的に)形式的な表記法を部
      分的に用いる(例えば,正規表現又は有限状態機械)。厳密さを増すことによって,誤解の範囲を狭
      めるばかりでなく,自動処理の範囲を提供することとなる。
        構造化表記法の別の利点は,その可視性であり,使用者は,強力ではあるが言明されていない知
      識に照らして,仕様又は設計を直感的にチェックすることができる。

――――― [JIS C 0508-7 pdf 53] ―――――

52
C 0508-7 : 2017 (IEC 61508-7 : 2010)
        ここでは,幾つかの構造化手法について更に詳しく説明する。

参考文献

参考文献

参考文献

――――― [JIS C 0508-7 pdf 54] ―――――

                                                                                             53
                                                                C 0508-7 : 2017 (IEC 61508-7 : 2010)
C.2.1.4 リアルタイムヨードン法
目的 : リアルタイムシステムの仕様作成及び設計。
説明 : この技術の根拠となっている開発手法では,開発中のシステムの3段階の展開を仮定している。第
      1段階は,“基本的モデル”,すなわち,システムによって要求する挙動を説明するモデルの形成に
      関わる。第2段階は,実装した場合,要求する挙動を具象化する構造及び機構を説明する実装モデ
      ルの形成に関わる。第3段階は,ハードウェア及びソフトウェアのシステムの実際の形成に関わる。
      これらの3段階は,おおまかには,従来の仕様作成,設計及び開発フェーズに対応するが,各段階
      において開発者がモデル化活動に関わるということに重点が置かれる点が従来のものとは異なる。
        基本的モデルを,次の二つの部分で構成する。
      − システムとその環境間との境界についての説明,及びシステムが応答しなければならない外部
          事象についての説明を含む環境モデル
      − 事象に応答してシステムが行う形態変化を説明するスキーム,及びシステムが応答するために
          保持しなければならないデータに関する記述を含む挙動モデル
        さらに,実装モデルを個々の処理のプロセッサへの割当て及び処理のソフトウェアモジュールへ
      の分解を取り扱う,サブモデルに分割する。
        これらのモデルを得るために,この技術では,他のよく知られた多数の技術,すなわち,データ
      フロー図,変換グラフ,構造化英語,状態遷移図及びペトリネットを組み合わせる。さらに,この
      方法は,要求するシステム設計を,紙面上又は作成するモデルから機械的にシミュレーションする
      技術を含む。

参考文献

――――― [JIS C 0508-7 pdf 55] ―――――

次のページ PDF 56