(57)【要約】【課題】  ユーザが意図しないソースコードによるソフトウェアが実行される危険性(ハザード)を低減し、安全妥当性確認の機能を向上せしめたエンジニアリングステーションを実現する。【解決手段】  入力・編集されたソースコードを格納する内部メモリ手段と、前記ソースコードを保存するソースコードデータベースを有するエンジニアリングステーションにおいて、  前記ソースコードデータベースに保存されたデータを、マンマシン手段に出力させるソースコードチェック手段を備える。【選択図】                    図１
2006285319.tif 000002
【特許請求の範囲】
【請求項１】
入力され編集されたソースコードを格納する内部メモリ手段と、前記ソースコードを保存するソースコードデータベースを有するエンジニアリングステーションにおいて、
前記ソースコードデータベースに保存されたデータを、マンマシン手段に出力させるソースコードチェック手段を備えたことを特徴とするエンジニアリングステーション。
【請求項２】
前記マンマシン手段は、印刷手段であることを特徴とする請求項１に記載のエンジニアリングステーション。
【請求項３】
前記マンマシン手段は、表示手段であることを特徴とする請求項１に記載のエンジニアリングステーション。
【請求項４】
前記ソースコードデータベースに保存されたデータを、バイナリデータに変換して保存するバイナリデータベースを備えたことを特徴とする請求項１乃至３のいずれかに記載のエンジニアリングステーション。
【請求項５】
前記バイナリデータベースに保存されたデータを、プラント機器の制御を実行する制御ステーションに通信バスを介してダウンロードすることを特徴とする請求項１乃至４のいずれかに記載のエンジニアリングステーション。
【請求項６】
前記制御ステーションは、安全計装システムの制御ステーションであることを特徴とする請求項５に記載のエンジニアリングステーション。
【請求項７】
前記制御ステーションは、分散型制御システムの制御ステーションであることを特徴とする請求項５に記載のエンジニアリングステーション。
【請求項８】
前記バイナリデータベースに保存されたデータは、通信バスを介して他のＰＣにダウンロードされることを特徴とする請求項１乃至７のいずれかに記載のエンジニアリングステーション。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、入力され編集されたソースコードを格納する内部メモリ手段と、前記ソースコードを保存するソースコードデータベースを有するエンジニアリングステーションに関する。
【０００２】
本発明のエンジニアリングステーションは汎用性を有するものであるが、特にIEC（International Electrotechnical Commission：国際電気標準会議）61508-3で規定されている安全計装システムのソフトウェア安全妥当性確認フェーズにおける安全妥当性確認効果を向上せしめる機能を備える。
【背景技術】
【０００３】
安全計装システムのソフトウェア安全妥当性確認に関連する規格としては、次のようなものがある。
IEC61508-3
7.9 Software verificationの7.9.2.12 Code verification
【０００４】
特許文献１には、プロセス制御システムと安全システムを組み合わせたシステムが記載されている。
【０００５】
【特許文献１】特開２００４−２３４６５５号公報
【０００６】
図２は従来のエンジニアリングステーションを有する制御システムの一例を示す機能ブロック図である。１はエンジニアリングステーション、２は制御ステーションであり、プラント機器３の制御を実行する。
【０００７】
４は通信バスであり、エンジニアリングステーション１及び制御ステーション２が接続されている。制御ステーション２におけるアプリケーション２１は、通信バス４を介してエンジニアリングステーション１よりダウンロードされる。５は、通信バス４に接続された他のＰＣである。
【０００８】
エンジニアリングステーション１において、１１は入力編集手段である。ユーザ６は、この入力・編集手段により、開発すべきソフトウェアのソースコードの入力と編集を実行する。１２は内部メモリ手段であり、編集されたソースコードを一時的に格納する。
【０００９】
１３は保存手段であり、メモリ手段１２に格納されたソースコードデータをディスク等の媒体によるソースコードデータベース１４に渡し、生成されたソースコードを追加保存する。１９は、バイナリ変換手段であり、ソースコードデータベース１４に保存されたソースコードデータをバイナリデータに変換し、これを同じくディスク等の媒体によるバイナリデータベース１６に渡して追加保存する。
【００１０】
バイナリデータベース１６に保存されたバイナリデータは、通信バス４を介して制御ステーション２のアプリケーション２１としてダウンロードされる。更に、通信バス４を介してこの通信バスに接続された他のＰＣのアプリケーションとしてダウンロードされる。
【００１１】
１７は、表示ドライバであり、メモリ手段１２に格納されたソースコードデータを表示手段１８で表示させる。１９は、印刷ドライバであり、メモリ手段１２に格納されたソースコードデータを印刷手段２０で印刷出力させる。
【００１２】
このような構成をとる制御システムが安全計装システムの場合は、制御ステーション２は安全制御ステーションの機能を実行し、プラント機器３からのトリップ要求に対してプラントをシャットダウンする制御を実行する。この場合、他のＰＣ５は上位装置としての機能を持つ。
【００１３】
このような構成をとる制御システムが分散型制御システムの場合は、制御ステーション２はフィールド制御ステーションの機能を実行し、プラント機器３と通信して機器夫々の制御の管理を実行する。この場合、他のＰＣ５は上位装置としての機能を持つ。
【発明の開示】
【発明が解決しようとする課題】
【００１４】
IEC61508-3では，ソフトウェア安全妥当性確認フェーズ(同規格の”7.9 Software verification”参照)での要件の一つとして、ソフトウェアモジュールの設計やコーディング基準への適合を確認するため、作成したソフトウェアコードを精査することを求めている(同規格の”7.9.2.12 Code verification:”)。
【００１５】
ここでは、ユーザが入力編集手段１１等によるコード作成ツールを用いて作成してディスク等の媒体によるソースコードデータベース１４に保存したソフトウェアコード(ソースコード)が、ハードウェア上で実行できる形式(バイナリ)に正しく変換されることを前提としている。
【００１６】
従来のエンジニアリングステーションの構成では、ソースコードの精査は、ユーザが作成して一時的に内部メモリ手段１２に格納したソースコードを、表示手段１８又は印刷手段２０に出力させ、意図通りのソースコードであることをユーザが確認することにより行なう。
【００１７】
この確認の仕組みでは、内部メモリ手段１２中に格納されているソースコードを元に表示および印刷を行なうため、内部メモリ手段１２に格納したソースコードと、ソースコードデータベース１４に保存されたソースコードとが一致していることが前提となる。
【００１８】
しかしながら、ディスク異常等により、内部メモリ手段１２に格納したソースコードが正しくソースコードデータベース１４に保存されなかった場合には、ユーザが意図して生成したソースコードと異なるデータが保存されていることを見逃してしまう危険がある。
【００１９】
このような異常が見逃された場合、ユーザが意図しないソースコードがバイナリデータに変換され、制御ステーションにダウンロードされてハードウェア上で実行されることになり、特に安全計装システムでは重大な問題となる。
【００２０】
従って、本発明が解決しようとする課題は、ユーザが意図しないソースコードによるソフトウェアが実行される危険性(ハザード)を低減し、安全妥当性確認の機能を向上せしめたエンジニアリングステーションを実現することにある。
【課題を解決するための手段】
【００２１】
このような課題を達成するために、本発明の構成は次の通りである。
（１）入力され編集されたソースコードを格納する内部メモリ手段と、前記ソースコードを保存するソースコードデータベースを有するエンジニアリングステーションにおいて、
前記ソースコードデータベースに保存されたデータを、マンマシン手段に出力させるソースコードチェック手段を備えたことを特徴とするエンジニアリングステーション。
【００２２】
（２）前記マンマシン手段は、印刷手段であることを特徴とする（１）に記載のエンジニアリングステーション。
【００２３】
（３）前記マンマシン手段は、表示手段であることを特徴とする（１）に記載のエンジニアリングステーション。
【００２４】
（４）前記ソースコードデータベースに保存されたデータを、バイナリデータに変換して保存するバイナリデータベースを備えたことを特徴とする（１）乃至（３）のいずれかに記載のエンジニアリングステーション。
【００２５】
（５）前記バイナリデータベースに保存されたデータを、プラント機器の制御を実行する制御ステーションに通信バスを介してダウンロードすることを特徴とする（１）乃至（４）のいずれかに記載のエンジニアリングステーション。
【００２６】
（６）前記制御ステーションは、安全計装システムの制御ステーションであることを特徴とする（５）に記載のエンジニアリングステーション。
【００２７】
（７）前記制御ステーションは、分散型制御システムの制御ステーションであることを特徴とする（５）に記載のエンジニアリングステーション。
【００２８】
（８）前記バイナリデータベースに保存されたデータは、通信バスを介して他のＰＣにダウンロードされることを特徴とする（１）乃至（７）のいずれかに記載のエンジニアリングステーション。
【発明の効果】
【００２９】
以上説明したことから明らかなように、本発明によれば次のような効果がある。
（１）本発明で導入されたソースコードチェック手段２００は、ソースコードデータベース１４に保存されたソースコードの内容を元に印刷又は表示を実行する。従って、仮にディスク異常等により誤ったソースコードが保存された場合、内部メモリ手段１２のソースコード表示とソースコードチェック手段２００の印刷又は表示結果をユーザが比較確認することにより、異常をチェックすることが可能となる。
【００３０】
（２）IEC61508-3が求める、安全計装システムのソフトウェア安全妥当性を確認する際のコード精査を実行する場合、ユーザが意図したコードと異なるコードが実行される危険性
(ハザード)を低減し、安全妥当性確認の効果を向上せしめることができる。
【発明を実施するための最良の形態】
【００３１】
以下、本発明を図面により詳細に説明する。図１は、本発明を適用したエンジニアリングステーションを有する制御システムの一実施形態を示す機能ブロック図である。図２で説明した従来構成と同一要素には同一符号を付して説明を省略する。以下、本発明の特徴部につき説明する。
【００３２】
図１において、１００は本発明が適用されたエンジニアリングステーションである。入力編集手段１０１、内部メモリ手段１０２、保存手段１０３、ソースコードデータベース１０４、バイナリ変換手段１０５、バイナリデータベース１０６、表示ドライバ１０７、表示手段１０８の構成は、図２の従来構成の要素１１乃至１８と同一である。
【００３３】
エンジニアリングステーション１００において、鎖線のブロック２００は、エンジニアリングステーション１００内に設けたソースコードチェック手段であり、本発明の特徴部を形成する。このソースコードチェック手段は、マンマシン手段２０１とこれを駆動するマンマシンドライバ２０２よりなる。
【００３４】
マンマシン手段２０１は、表示手段又は印刷手段で実現される。内部メモリ手段１０２のソースコードを表示手段１０８でチェックする場合には、マンマシン手段２０１は、表示手段とは異なる出力形態である印刷手段を選択することがチェック効果を高めるのに有効である。
【００３５】
マンマシンドライバ２０２は、ソースコードデータベース１０４に保存されたソースコードを取得し、表示データ又は印刷データに変換してマンマシン手段２０１に渡し、ソースコードデータベース１０４に保存されたソースコードを表示又は印刷させる。
【００３６】
ソースコードデータベース１０４に保存されたソースコードを、バイナリ変換手段１０５を介してバイナリデータベース１０６に保存し、これを通信バス４を介して制御ステーション２のアプリケーション２１にダウンロードする基本構成は、従来構成と同一である。
【００３７】
本発明で導入されたソースコードチェック手段２００は、安全計装システムのアプリケーション開発において、IEC61508-3が求めるソフトウェア安全妥当性を確認する際のコード精査を実行する場合に、確認の効果を高める上で有効であるが、これに限定されるものではなく、分散型制御システムのアプリケーション開発におけるソースコード確認ツールとしても有効に適用することが可能である。
【００３８】
通信バス４に接続された他のＰＣ５は、安全計装システム又は分散型制御システムの
上位装置としての機能の他、汎用通信バスを介して接続されたサブシステムを代表するＰＣとしての機能を持たせることも可能である。
【図面の簡単な説明】
【００３９】
【図１】本発明を適用したエンジニアリングステーションを有する制御システムの一実施形態を示す機能ブロック図である。
【図２】従来のエンジニアリングステーションを有する制御システムの一例を示す機能ブロック図である。
【符号の説明】
【００４０】
２  制御ステーション
２１  アプリケーション
３  プラント機器
４  通信バス
５  他のＰＣ
６  ユーザ
１００  エンジニアリングステーション
１０１  入力編集手段
１０２  内部メモリ手段
１０３  保存手段
１０４  ソースコードデータベース
１０５  バイナリ変換手段
１０６  バイナリデータベース
１０７  表示ドライバ
１０８  表示手段
２００  ソースコードチェック手段
２０１  マンマシン手段
２０２  マンマシンドライバ
【図１】
2006285319.tif 000003
【図２】
2006285319.tif 000004