(19)【発行国】日本国特許庁(JP)
(12)【公報種別】公開特許公報(A)
(11)【公開番号】P2023151758
(43)【公開日】2023-10-16
(54)【発明の名称】システムおよび方法
(51)【国際特許分類】
G06Q 30/0601 20230101AFI20231005BHJP
【ＦＩ】
G06Q30/06 320
【審査請求】未請求
【請求項の数】10
【出願形態】ＯＬ
(21)【出願番号】P 2022061562
(22)【出願日】2022-04-01
(71)【出願人】
【識別番号】000002945
【氏名又は名称】オムロン株式会社
(74)【代理人】
【識別番号】110001195
【氏名又は名称】弁理士法人深見特許事務所
(72)【発明者】
【氏名】藤村 亮輔
(72)【発明者】
【氏名】松井 旭
【テーマコード（参考）】
5L049
【Ｆターム（参考）】
5L049BB23
(57)【要約】
【課題】セーフティシステムをより容易に導入するための技術を提供する。
【解決手段】セーフティシステムの導入を支援するためのシステムが提供される。システムは、セーフティシステムに必要なセーフティ入力機能およびセーフティ出力機能の設定を受け付ける第１設定部と、セーフティ入力の値と出力されるべきセーフティ出力の値との対応関係を定義した真理値表を受け付ける第２設定部と、セーフティ入力機能およびセーフティ出力機能の設定に基づく注文情報、および、真理値表に基づくセーフティプログラムを出力する出力部とを含む。
【選択図】図１
【解決手段】セーフティシステムの導入を支援するためのシステムが提供される。システムは、セーフティシステムに必要なセーフティ入力機能およびセーフティ出力機能の設定を受け付ける第１設定部と、セーフティ入力の値と出力されるべきセーフティ出力の値との対応関係を定義した真理値表を受け付ける第２設定部と、セーフティ入力機能およびセーフティ出力機能の設定に基づく注文情報、および、真理値表に基づくセーフティプログラムを出力する出力部とを含む。
【選択図】図１
【特許請求の範囲】
【請求項1】
セーフティシステムの導入を支援するためのシステムであって、
前記セーフティシステムに必要なセーフティ入力機能およびセーフティ出力機能の設定を受け付ける第１設定部と、
セーフティ入力の値と出力されるべきセーフティ出力の値との対応関係を定義した真理値表を受け付ける第２設定部と、
前記セーフティ入力機能および前記セーフティ出力機能の設定に基づく注文情報、および、前記真理値表に基づくセーフティプログラムを出力する出力部とを備える、システム。
前記セーフティシステムに必要なセーフティ入力機能およびセーフティ出力機能の設定を受け付ける第１設定部と、
セーフティ入力の値と出力されるべきセーフティ出力の値との対応関係を定義した真理値表を受け付ける第２設定部と、
前記セーフティ入力機能および前記セーフティ出力機能の設定に基づく注文情報、および、前記真理値表に基づくセーフティプログラムを出力する出力部とを備える、システム。
【請求項2】
前記セーフティ入力機能および前記セーフティ出力機能の設定に対応付けられるセーフティ機器を決定する決定部をさらに備え、
前記出力部は、前記セーフティ機器に基づいて前記注文情報を出力する、請求項１に記載のシステム。
前記出力部は、前記セーフティ機器に基づいて前記注文情報を出力する、請求項１に記載のシステム。
【請求項3】
前記第２設定部は、前記セーフティ入力機能および前記セーフティ出力機能の設定に基づいて、前記真理値表の入力を受け付けるためのマトリックスを生成する、請求項１に記載のシステム。
【請求項4】
前記真理値表に対応するセーフティロジックを動作確認するためのシミュレータをさらに備える、請求項１～３のいずれか１項に記載のシステム。
【請求項5】
前記注文情報は、前記注文情報に従って商品を配送する配送主体へ送信される、請求項１～３のいずれか１項に記載のシステム。
【請求項6】
前記出力部は、前記配送主体とは独立して、前記セーフティプログラムをユーザへ提供する、請求項５に記載のシステム。
【請求項7】
前記出力部は、前記セーフティプログラムが実行されるセーフティシステムの妥当性を確認するためのプログラムおよびドキュメントのうち少なくとも一方をさらに出力する、請求項１～３のいずれか１項に記載のシステム。
【請求項8】
過去に出力された前記注文情報および前記セーフティプログラムを格納するデータベースをさらに備え、
前記データベースに格納された前記注文情報および前記セーフティプログラムは、再利用可能になっている、請求項１～３のいずれか１項に記載のシステム。
前記データベースに格納された前記注文情報および前記セーフティプログラムは、再利用可能になっている、請求項１～３のいずれか１項に記載のシステム。
【請求項9】
前記第１設定部、前記第２設定部、および、前記出力部は、情報処理装置からアクセス可能なサーバ装置に設けられている、請求項１～３のいずれか１項に記載のシステム。
【請求項10】
セーフティシステムの導入を支援するための１または複数のコンピュータが実行する方法であって、
前記セーフティシステムに必要なセーフティ入力機能およびセーフティ出力機能の設定を受け付けるステップと、
セーフティ入力の値と出力されるべきセーフティ出力の値との対応関係を定義した真理値表を受け付けるステップと、
前記セーフティ入力機能および前記セーフティ出力機能の設定に基づく注文情報、および、前記真理値表に基づくセーフティプログラムを出力するステップとを備える、方法。
前記セーフティシステムに必要なセーフティ入力機能およびセーフティ出力機能の設定を受け付けるステップと、
セーフティ入力の値と出力されるべきセーフティ出力の値との対応関係を定義した真理値表を受け付けるステップと、
前記セーフティ入力機能および前記セーフティ出力機能の設定に基づく注文情報、および、前記真理値表に基づくセーフティプログラムを出力するステップとを備える、方法。
【発明の詳細な説明】
【技術分野】
【0001】
本発明は、セーフティシステムの導入を支援するためのシステムおよび方法に関する。
【背景技術】
【0002】
生産設備におけるセーフティを確保するために、セーフティシステムの導入が進んでいる。セーフティシステムを導入するにあたっては、セーフティに関する知識が必要である一方で、必要な知識を有している技術者はそれほど多くない。そのため、より効率的にセーフティシステムを導入できるように、特開２０１８－１５２０３２号公報（特許文献１）は、入力機器と出力機器との間の入出力関係に関して安全プログラムの設計を容易にするための技術を開示する。
【0003】
また、国際公開第２０１６／５５４５１５号（特許文献２）は、セーフティシステムに関するものではないが、運用できないプログラマブルロジックコントローラ構成を入力した場合に代替案を提示でき、ユーザによるプログラマブルロジックコントローラ設定ファイルの調整が不要であるプログラマブルロジックコントローラ設定ファイル生成支援装置を開示する。
【先行技術文献】
【特許文献】
【0004】
【特許文献1】特開２０１８－１５２０３２号公報
【特許文献2】国際公開第２０１６／５５４５１５号
【発明の概要】
【発明が解決しようとする課題】
【0005】
上述の特開２０１８－１５２０３２号公報（特許文献１）は、セーフティプログラムの生成を容易化することを開示しているものの、セーフティシステムの導入を支援することについては開示してない。また、国際公開第２０１６／５５４５１５号（特許文献２）は、セーフティシステムに関するものではなく、また、入力されたプログラマブルロジックコントローラ構成が妥当であるか否かを評価するものに過ぎず、セーフティシステムの導入を支援することについては、何らの教示も存在しない。
【0006】
本発明は、セーフティシステムをより容易に導入するための技術を提供することを一つの目的とする。
【課題を解決するための手段】
【0007】
ある実施の形態に従えば、セーフティシステムの導入を支援するためのシステムが提供される。システムは、セーフティシステムに必要なセーフティ入力機能およびセーフティ出力機能の設定を受け付ける第１設定部と、セーフティ入力の値と出力されるべきセーフティ出力の値との対応関係を定義した真理値表を受け付ける第２設定部と、セーフティ入力機能およびセーフティ出力機能の設定に基づく注文情報、および、真理値表に基づくセーフティプログラムを出力する出力部とを含む。
【0008】
この構成によれば、必要な情報を設定することで、セーフティシステムを導入するために必要なソフトウェアだけではなく、ハードウェアについても容易に取得できる。これによって、よりスムーズにセーフティシステムの構築できる。
【0009】
上述の構成において、システムは、セーフティ入力機能およびセーフティ出力機能の設定に対応付けられるセーフティ機器を決定する決定部をさらに含んでいてもよい。出力部は、セーフティ機器に基づいて注文情報を出力するようにしてもよい。この構成によれば、セーフティ入力機能およびセーフティ出力機能を決定した上で、対応するセーフティ機器を決定するので、真理値表の設定とは独立して、具体的なセーフティ機器を決定できる。
【0010】
上述のいずれかの構成において、第２設定部は、セーフティ入力機能およびセーフティ出力機能の設定に基づいて、真理値表の入力を受け付けるためのマトリックスを生成するようにしてもよい。この構成によれば、ユーザが真理値表をより容易に入力できる。
【0011】
上述のいずれかの構成において、システムは、真理値表に対応するセーフティロジックを動作確認するためのシミュレータをさらに含んでいてもよい。この構成によれば、ユーザは、セーフティロジックの動作確認をより容易に行うことができる。
【0012】
上述のいずれかの構成において、注文情報は、注文情報に従って商品を配送する配送主体へ送信されてもよい。この構成によれば、注文情報に従った商品の配送をより迅速化できる。
【0013】
上述のいずれかの構成において、出力部は、配送主体とは独立して、セーフティプログラムをユーザへ提供するようにしてもよい。この構成によれば、セーフティプログラムをより適した方法でユーザへ提供できる。
【0014】
上述のいずれかの構成において、出力部は、セーフティプログラムが実行されるセーフティシステムの妥当性を確認するためのプログラムおよびドキュメントのうち少なくとも一方をさらに出力するようにしてもよい。この構成によれば、セーフティシステムを通常稼働させるために必要な妥当性の確認をより容易に行うことができる。
【0015】
上述のいずれかの構成において、システムは、過去に出力された注文情報およびセーフティプログラムを格納するデータベースをさらに含んでいてもよい。データベースに格納された注文情報およびセーフティプログラムは、再利用可能になっていてもよい。この構成によれば、過去に出力された注文情報およびセーフティプログラムを再利用して、既存のセーフティシステムの変更をより容易に行うことができる。
【0016】
上述のいずれかの構成において、第１設定部、第２設定部、および、出力部は、情報処理装置からアクセス可能なサーバ装置に設けられていてもよい。この構成によれば、サーバ装置が必要な処理を実行するので、複数の情報処理装置に対して、サービスを提供できる。
【0017】
別の実施の形態に従えば、セーフティシステムの導入を支援するための１または複数のコンピュータが実行する方法が提供される。方法は、セーフティシステムに必要なセーフティ入力機能およびセーフティ出力機能の設定を受け付けるステップと、セーフティ入力の値と出力されるべきセーフティ出力の値との対応関係を定義した真理値表を受け付けるステップと、セーフティ入力機能およびセーフティ出力機能の設定に基づく注文情報、および、真理値表に基づくセーフティプログラムを出力するステップとを含む。
【発明の効果】
【0018】
本発明によれば、セーフティシステムをより容易に導入できる。
【図面の簡単な説明】
【0019】
【図1】本実施の形態に従うセーフティシステムの導入を支援するためのシステムの概略を示す模式図である。
【図2】本実施の形態に従うシステムのサーバ装置のハードウェア構成例を示す模式図である。
【図3】本実施の形態に従うシステムのサーバ装置の機能構成例を示す模式図である。
【図4】本実施の形態に従うシステムにおいて提供されるユーザインターフェイス画面の一例を示す模式図である。
【図5】本実施の形態に従うシステムにおいて提供されるユーザインターフェイス画面の一例を示す模式図である。
【図6】本実施の形態に従うシステムにおいて提供されるユーザインターフェイス画面の一例を示す模式図である。
【図7】本実施の形態に従うシステムにおいて提供されるユーザインターフェイス画面の一例を示す模式図である。
【図8】本実施の形態に従うシステムにおいて提供されるユーザインターフェイス画面の一例を示す模式図である。
【図9】本実施の形態に従うシステムにおいて提供されるユーザインターフェイス画面の一例を示す模式図である。
【図10】本実施の形態に従うシステムにおいて提供されるユーザインターフェイス画面の一例を示す模式図である。
【図11】本実施の形態に従うシステムにおいて提供されるユーザインターフェイス画面の一例を示す模式図である。
【図12】本実施の形態に従うシステムにおいて提供されるユーザインターフェイス画面の一例を示す模式図である。
【図13】本実施の形態に従うシステムにおいて提供されるユーザインターフェイス画面の一例を示す模式図である。
【図14】本実施の形態に従うシステムにおいて提供されるユーザインターフェイス画面の一例を示す模式図である。
【図15】本実施の形態に従うシステムにおいて提供されるユーザインターフェイス画面の一例を示す模式図である。
【図16】本実施の形態に従うシステムにおいて提供されるユーザインターフェイス画面の一例を示す模式図である。
【図17】本実施の形態に従うシステムのサーバ装置が実行する処理手順の一例を示すフローチャートである。
【図18】本実施の形態に従うシステムのサーバ装置が実行する処理手順の一例を示すフローチャートである。
【発明を実施するための形態】
【0020】
本技術の実施の形態について、図面を参照しながら詳細に説明する。なお、図中の同一または相当部分については、同一符号を付してその説明は繰り返さない。
【0021】
＜Ａ．適用例＞
まず、本発明が適用される場面の一例について説明する。
まず、本発明が適用される場面の一例について説明する。
【0022】
図１は、本実施の形態に従うセーフティシステムの導入を支援するためのシステム１の概略を示す模式図である。本実施の形態に従うシステム１は、セーフティシステムを導入するために必要なセーフティ機器（入力機器、制御機器、出力機器）などのハードウェア、および、必要なセーフティロジックを実現するためのソフトウェアを提供する。
【0023】
図１を参照して、システム１は、サーバ装置１００と、情報処理装置２００とを含む。サーバ装置１００は、配送主体２０（あるいは、配送主体２０に配置されたサーバ装置）と接続されている。
【0024】
ユーザは、情報処理装置２００を操作してサーバ装置１００にアクセスし、必要な情報を入力すると、セーフティシステムを導入するために必要なハードウェアおよびソフトウェアを注文できる。
【0025】
一例として、生産現場１０にセーフティシステムを導入する場合を想定する。この場合、ユーザは、情報処理装置２００を操作してサーバ装置１００にアクセスする。そして、ユーザは、導入するセーフティシステムに必要なセーフティ入力機能およびセーフティ出力機能の数を設定する（（１）セーフティ機能数の設定）。さらに、ユーザは、導入するセーフティシステムに必要なセーフティ入力機能およびセーフティ出力機能を設定する（（２）セーフティ機能の設定）。
【0026】
続いて、サーバ装置１００は、セーフティロジックを生成するための真理値表を設定するためのユーザインターフェイス画面を出力する。ユーザは、ユーザインターフェイス画面において、導入するセーフティシステムにおける真理値表を設定する（（３）真理値表の設定）。
【0027】
真理値表は、入力機器に入力される値に対して出力機器が出力すべき値を定義するものである。
【0028】
真理値表の入力が完了すると、サーバ装置１００は、入力された真理値表に対応するセーフティロジックを生成する（（４）セーフティプロジックの生成）。なお、セーフティロジックは、セーフティコントロールユニットで実行されるセーフティプログラムを生成するための基となるロジックであり、サーバ装置１００においては、オブジェクト形式およびインタプリタ形式などのいずれの形式で保持されていてもよい。
【0029】
続いて、ユーザは、生成されたセーフティロジックの動作確認を行う（（５）動作確認）。
【0030】
動作確認の完了後、ユーザは、セーフティ機器の割付設定を行う（（６）セーフティ機器の割付設定）。セーフティ機器の割付設定は、設定されているセーフティ機能の各々に対して、具体的なセーフティ機器（入力機器、制御機器、出力機器）を対応付けるものである。
【0031】
ユーザが最終的に注文内容を確認すると（（７）注文内容確認）、サーバ装置１００は、注文内容に対応する注文情報を生成し、配送主体２０へ出力する（（８）注文情報の生成・出力）。また、サーバ装置１００は、生成されているセーフティロジックに基づいてセーフティプログラムを生成する（（９）セーフティプログラム生成）。生成されたセーフティプログラムは、任意の手段でユーザへ提供される。
【0032】
なお、サーバ装置１００は、必要に応じて、セーフティシステムを実現するために必要なドキュメントも併せてユーザへ提供する。
【0033】
ユーザは、配送主体２０から配送されるセーフティ機器５０を生産現場１０に設置し、サーバ装置１００から提供されたセーフティプログラムを制御機器（セーフティコントロールユニット）へインストールすることで、生産現場１０において、セーフティシステムを稼働させることができる。
【0034】
＜Ｂ．ハードウェア構成例＞
次に、本実施の形態に従うシステム１に含まれる装置のハードウェア構成例について説明する。
次に、本実施の形態に従うシステム１に含まれる装置のハードウェア構成例について説明する。
【0035】
（ｂ１：サーバ装置１００）
図２は、本実施の形態に従うシステム１のサーバ装置１００のハードウェア構成例を示す模式図である。サーバ装置１００は、一例として、汎用的なアーキテクチャに従うハードウェア（例えば、汎用パソコン）を用いて実現される。
図２は、本実施の形態に従うシステム１のサーバ装置１００のハードウェア構成例を示す模式図である。サーバ装置１００は、一例として、汎用的なアーキテクチャに従うハードウェア（例えば、汎用パソコン）を用いて実現される。
【0036】
図２を参照して、サーバ装置１００は、プロセッサ１０２と、メインメモリ１０４と、入力部１０６と、出力部１０８と、ストレージ１１０と、光学ドライブ１２０と、ネットワークインターフェイス１２４とを含む。これらのコンポーネントは、プロセッサバス１２６を介して接続されている。
【0037】
プロセッサ１０２は、ＣＰＵ（Central Processing Unit）やＧＰＵ（Graphics Processing Unit）などで構成され、ストレージ１１０に格納されたプログラムを読み出して、メインメモリ１０４に展開して実行することで、サーバ装置１００としての処理を実現する。
【0038】
メインメモリ１０４は、ＤＲＡＭ（Dynamic Random Access Memory）やＳＲＡＭ（Static Random Access Memory）などの揮発性記憶装置で構成される。ストレージ１１０は、例えば、ＳＳＤ（Solid State Drive）やＨＤＤ（Hard Disk Drive）などの不揮発性記憶装置で構成される。
【0039】
ストレージ１１０には、基本的な機能を実現するためのＯＳ１１１、ウェブアクセスを受け付けるウェブサーバプログラム１１２、セーフティシステムの導入を支援するためのユーザインターフェイス画面を提供するためのＵＩプログラム１１３、セーフティシステムの機器構成を決定するための機器構成決定プログラム１１４と、セーフティロジックを生成するためのロジック生成プログラム１１５、セーフティロジックをシミュレーションするためのシミュレーションプログラム１１６、コンポーネントデータベース１１７、および、注文情報データベース１１８が格納される。
【0040】
入力部１０６は、キーボードやマウスなどで構成され、ユーザ操作を受け付ける。
【0041】
出力部１０８は、ディスプレイ、各種インジケータ、プリンタなどで構成され、プロセッサ１０２からの処理結果などを出力する。
【0042】
サーバ装置１００は、光学ドライブ１２０を有しており、コンピュータ読取可能なプログラムを非一過的に格納する記憶媒体１２２（例えば、ＤＶＤ（Digital Versatile Disc）などの光学記憶媒体）から、その中に格納されたプログラムが読み取られてストレージ１１０などにインストールされる。
【0043】
サーバ装置１００で実行される各種プログラムは、コンピュータ読取可能な記憶媒体１２２を介してインストールされてもよいが、ネットワーク上のサーバ装置などからダウンロードする形でインストールするようにしてもよい。また、本実施の形態に従うサーバ装置１００が提供する機能は、ＯＳが提供するモジュールの一部を利用する形で実現される場合もある。
【0044】
ネットワークインターフェイス１２４は、情報処理装置２００などの任意の装置とネットワークを介して通信する。
【0045】
図２には、１または複数のプロセッサがプログラムを実行することで必要な機能が提供される構成例を示したが、これらの提供される機能の一部または全部を、専用のハードウェア回路（例えば、ＡＳＩＣ（Application Specific Integrated Circuit）またはＦＰＧＡ（Field-Programmable Gate Array）など）を用いて実装してもよい。
【0046】
（ｂ２：情報処理装置２００）
本実施の形態に従うシステム１の情報処理装置２００は、一例として、汎用的なアーキテクチャに従うハードウェア（例えば、汎用パソコン）を用いて実現される。ハードウェア構成例については、図２と同様であるので、詳細な説明は繰り返さない。
本実施の形態に従うシステム１の情報処理装置２００は、一例として、汎用的なアーキテクチャに従うハードウェア（例えば、汎用パソコン）を用いて実現される。ハードウェア構成例については、図２と同様であるので、詳細な説明は繰り返さない。
【0047】
後述するように、情報処理装置２００がサーバ装置１００にウェブアクセスする場合には、情報処理装置２００にはブラウザアプリケーションがインストールされている。
【0048】
＜Ｃ．機能構成例＞
次に、本実施の形態に従うシステム１に含まれるサーバ装置１００の機能構成例について説明する。
次に、本実施の形態に従うシステム１に含まれるサーバ装置１００の機能構成例について説明する。
【0049】
図３は、本実施の形態に従うシステム１のサーバ装置１００の機能構成例を示す模式図である。図３に示すコンポーネントは、典型的には、サーバ装置１００のプロセッサ１０２がプログラムを実行することで実現される。なお、情報処理装置２００からアクセス可能なサーバ装置１００に主要な機能構成が設けられている例を示すが、少なくとも一部の機能構成がサーバ装置１００とは別のコンピューティングリソースに配置されていてもよい。
【0050】
図３を参照して、サーバ装置１００は、機能構成として、ウェブサーバ１３０と、ＵＩモジュール１３２と、セーフティ機能決定モジュール１３４と、ロジック生成モジュール１３６と、シミュレータ１３８と、機器構成決定モジュール１４０と、出力モジュール１４２とを含む。
【0051】
ウェブサーバ１３０は、情報処理装置２００との間でデータをやり取りするインターフェイスである。ウェブサーバ１３０は、情報処理装置２００へウェブページを提供するとともに、情報処理装置２００からのユーザ操作を示す情報をＵＩモジュール１３２へ出力する。
【0052】
ＵＩモジュール１３２は、後述するような各種ユーザインターフェイス画面を提供する。一例として、ＵＩモジュール１３２は、ユーザ操作に応じてウェブページを生成するとともに、表示されているウェブページに対する指示に従って処理を実行する。
【0053】
セーフティ機能決定モジュール１３４は、ユーザ操作に応じて、セーフティシステムに要求されるセーフティ機能を決定する。すなわち、セーフティ機能決定モジュール１３４は、セーフティシステムに必要なセーフティ入力機能およびセーフティ出力機能の設定を受け付ける設定部に相当する。セーフティ機能決定モジュール１３４は、決定されたセーフティ機能を示すセーフティ機能情報１５０を出力する。決定されるセーフティ機能は、セーフティ入力機能およびセーフティ出力機能を含む。
【0054】
ロジック生成モジュール１３６は、セーフティ入力の値と出力されるべきセーフティ出力の値との対応関係を定義した真理値表１５２を受け付ける設定部に相当する。より具体的には、ロジック生成モジュール１３６は、セーフティ機能情報１５０を参照して、入力機器に入力される値と出力機器が出力する値との組み合わせを生成して、ユーザによる真理値表１５２の入力を受け付ける。すなわち、ロジック生成モジュール１３６は、セーフティ入力機能およびセーフティ出力機能の設定に基づいて、真理値表１５２の入力を受け付けるためのマトリックスを生成する。
【0055】
ロジック生成モジュール１３６は、さらに、真理値表１５２に従って、セーフティロジック１５４を生成する。
【0056】
シミュレータ１３８は、真理値表１５２に対応するセーフティロジック１５４を動作確認する。より具体的には、シミュレータ１３８は、セーフティロジック１５４に基づいて、ユーザ操作によって任意に設定される入力値に対する出力値を演算する。
【0057】
機器構成決定モジュール１４０は、ユーザ操作に応じて、セーフティシステムの機器構成を決定する。すなわち、機器構成決定モジュール１４０は、セーフティ入力機能およびセーフティ出力機能の設定に対応付けられるセーフティ機器（入力機器、制御機器、出力機器）を決定する。決定される機器構成は、基本的には、入力機器、制御機器、出力機器の組み合わせからなる。機器構成決定モジュール１４０は、決定した機器構成を示す機器構成情報１５６を出力モジュール１４２へ出力する。
【0058】
出力モジュール１４２は、セーフティ入力機能およびセーフティ出力機能の設定に基づく注文情報１５８、および、真理値表１５２に基づくセーフティプログラム１６０を出力する。より具体的には、出力モジュール１４２は、ユーザ操作に応じて、機器構成情報１５６に対応する注文情報１５８を出力するとともに、セーフティロジック１５４に対応するセーフティプログラム１６０を出力する。
【0059】
注文情報１５８は、機器構成情報１５６に含まれるセーフティ機器（入力機器、制御機器、出力機器）を特定するための情報（商品番号など）と、セーフティ機器５０の配送先などの情報とを含む。すなわち、出力モジュール１４２は、決定されたセーフティ機器（入力機器、制御機器、出力機器）に基づいて注文情報１５８を出力する。
【0060】
注文情報１５８は、配送主体へ送信される。配送主体２０は、注文情報１５８に従って、商品であるセーフティ機器５０などを指定された配送先に配送する。なお、配送主体２０は、単一の組織であってもよいし、複数の組織から構成されていてもよい。配送主体２０は、セーフティ機器の在庫を管理する物流倉庫を有していてもよい。
【0061】
セーフティプログラム１６０は、セーフティロジック１５４に対応するオブジェクトコードに加えて、機器構成情報１５６に基づく機器設定情報を含んでいてもよい。機器設定情報は、対象の制御機器がセーフティプログラム１６０を実行するにあたって必要とする入力機器および出力機器の情報（種類や接続位置など）を含む。
【0062】
一例として、出力モジュール１４２は、配送主体２０とは独立して、セーフティプログラム１６０をユーザへ提供する。
【0063】
＜Ｄ．ユーザインターフェイス画面例＞
次に、本実施の形態に従うシステム１において提供されるユーザインターフェイス画面の一例について説明する。以下に示すユーザインターフェイス画面は、一例として、サーバ装置１００からウェブベースで情報処理装置２００へ提供する。
次に、本実施の形態に従うシステム１において提供されるユーザインターフェイス画面の一例について説明する。以下に示すユーザインターフェイス画面は、一例として、サーバ装置１００からウェブベースで情報処理装置２００へ提供する。
【0064】
（ｄ１：新規注文）
図４は、本実施の形態に従うシステム１において提供されるユーザインターフェイス画面３００Ａの一例を示す模式図である。ユーザインターフェイス画面３００Ａは、ユーザに提示される初期画面に相当する。ユーザは、ユーザインターフェイス画面３００Ａにおいて、希望するサービスを選択する。
図４は、本実施の形態に従うシステム１において提供されるユーザインターフェイス画面３００Ａの一例を示す模式図である。ユーザインターフェイス画面３００Ａは、ユーザに提示される初期画面に相当する。ユーザは、ユーザインターフェイス画面３００Ａにおいて、希望するサービスを選択する。
【0065】
図４を参照して、ユーザインターフェイス画面３００Ａは、セーフティシステムを新規に導入するためのグループ３０１と、既存のセーフティシステムを変更または追加するためのグループ３０４とを含む。
【0066】
グループ３０１は、セーフティシステムを新規に注文するためのボタン３０２と、予め用意されたテンプレートを用いて、セーフティシステムを新規に注文するためのボタン３０３とを含む。
【0067】
グループ３０４は、既存のセーフティシステムに含まれるセーフティ機器を変更追加するためのボタン３０５と、既存のセーフティシステムで運用されているセーフティプログラム１６０（セーフティロジック）を更新するためのボタン３０６とを含む。
【0068】
まず、新規注文において、ユーザは、セーフティ機能の設定を行う（Ｓｔｅｐ１）。
【0069】
図５は、本実施の形態に従うシステム１において提供されるユーザインターフェイス画面３００Ｂの一例を示す模式図である。ユーザインターフェイス画面３００Ｂは、図４のユーザインターフェイス画面３００Ａのボタン３０２が押下された場合に表示される。ユーザインターフェイス画面３００Ｂは、対象のセーフティシステムに必要なセーフティ入力機能およびセーフティ出力機能の数の設定を受け付ける。ユーザは、ユーザインターフェイス画面３００Ｂにおいて、セーフティ機能数を入力する。
【0070】
図５を参照して、ユーザインターフェイス画面３００Ｂは、セーフティ機能数の設定を受け付けるグループ３０８を含む。グループ３０８は、セーフティ入力機能の数の設定を受け付ける入力ボックス３０９と、セーフティ出力機能の数の設定を受け付ける入力ボックス３１０とを含む。
【0071】
ユーザは、ユーザインターフェイス画面３００Ｂ上で、導入しようとするセーフティシステムに必要なセーフティ入力機能およびセーフティ出力機能の数をそれぞれ設定する。
【0072】
ユーザインターフェイス画面３００Ｂは、進行ダイアログ３２０を含む。ユーザによる注文処理は４ステップに分割されており、進行ダイアログ３２０は、それぞれのステップに対応するアイテム表示３２１，３２２，３２３，３２４を含む。ユーザインターフェイス画面３００Ｂにおいては、アイテム表示３２１に含まれる、セーフティ機能数の設定を示すサブアイテム表示３２５がアクティブ化されている。
【0073】
図６は、本実施の形態に従うシステム１において提供されるユーザインターフェイス画面３００Ｃの一例を示す模式図である。ユーザインターフェイス画面３００Ｃは、アイテム表示３２１に含まれる、セーフティ入力機能の設定を示すサブアイテム表示３２６が押下された場合に表示される。ユーザインターフェイス画面３００Ｃは、セーフティ入力機能の設定を受け付ける。ユーザは、ユーザインターフェイス画面３００Ｃにおいて、入力側のセーフティ機能を設定する。
【0074】
図６を参照して、ユーザインターフェイス画面３００Ｃは、セーフティ入力機能の設定を受け付ける設定リスト３１１を含む。設定リスト３１１は、図５の入力ボックス３０９に設定されたセーフティ入力機能の数に対応する行を含む。
【0075】
設定リスト３１１は、セーフティ機能の設定を受け付ける機能列３１２と、リセット種別の設定を受け付けるリセット種別列３１３とを含む。
【0076】
ユーザは、各行の機能列３１２において、必要とするセーフティ入力機能を設定する。設定されるセーフティ機能は、非常停止、セーフティドア、セーフティレーザスキャナといった機能面に着目したものである。すなわち、ユーザインターフェイス画面３００Ｃにおいては、具体的なセーフティ機器を特定する必要はない。
【0077】
ユーザは、各行のリセット種別列３１３において、対応するセーフティ機能のリセット種別を設定する。リセット種別は、セーフティ入力の値がＯＦＦに変化した後、ＯＮに復帰したときに、ＯＮへの復帰で自動的にリセットされる動作を意味する「オート」と、リセットスイッチが押下されることを条件にリセットされる動作を意味する「マニュアル」とを含む。
【0078】
図７は、本実施の形態に従うシステム１において提供されるユーザインターフェイス画面３００Ｄの一例を示す模式図である。ユーザインターフェイス画面３００Ｄは、アイテム表示３２１に含まれる、セーフティ出力機能の設定を示すサブアイテム表示３２７が押下された場合に表示される。ユーザインターフェイス画面３００Ｄは、セーフティ出力機能の設定を受け付ける。ユーザは、ユーザインターフェイス画面３００Ｄにおいて、出力側のセーフティ機能を設定する。
【0079】
図７を参照して、ユーザインターフェイス画面３００Ｄは、セーフティ出力機能の設定を受け付ける設定リスト３１４を含む。設定リスト３１４は、図５の入力ボックス３１０に設定されたセーフティ出力機能の数に対応する行を含む。
【0080】
設定リスト３１４は、セーフティ機能の設定を受け付ける機能列３１５と、ＥＤＭ機能の設定を受け付けるＥＤＭ列３１６とを含む。
【0081】
ユーザは、各行の機能列３１５において、必要とするセーフティ出力機能を設定する。設定されるセーフティ機能は、セーフティリレー、セーフティドライバといった機能面に着目したものである。すなわち、ユーザインターフェイス画面３００Ｄにおいては、具体的なセーフティ機器を特定する必要はない。
【0082】
また、ユーザは、各行の機能列ＥＤＭ列３１６において、対応するセーフティ出力機能に対して、ＥＤＭ（External Device Monitoring）機能を要求するか否かを設定する。ＥＤＭ機能は、セーフティ出力および反転状態を常時監視するための機能である。
【0083】
次に、ユーザは、真理値表１５２の設定および動作確認を行う（Ｓｔｅｐ２）。
【0084】
図８は、本実施の形態に従うシステム１において提供されるユーザインターフェイス画面３００Ｅの一例を示す模式図である。ユーザインターフェイス画面３００Ｅは、アイテム表示３２２に含まれる、真理値表１５２の設定を示すサブアイテム表示３２８が押下された場合に表示される。ユーザインターフェイス画面３００Ｅは、真理値表１５２の設定を受け付ける。ユーザは、ユーザインターフェイス画面３００Ｅにおいて、真理値表１５２を設定する。
【0085】
図８を参照して、ユーザインターフェイス画面３００Ｅは、真理値表１５２の設定を受け付ける設定リスト３４０を含む。設定リスト３４０は、セーフティ入力機能３４１とセーフティ出力機能３４２とのマトリックスとなっている。１つのセーフティ入力機能３４１と１つのセーフティ出力機能３４２との交点である各要素３４３には、対応するセーフティ入力機能３４１と対応するセーフティ出力機能３４２の関係が設定される。設定される関係としては、「停止」と「関連なし」とを含む。すなわち、「停止」が設定されている要素３４３（セーフティ入力機能とセーフティ出力機能との組み合わせ）には、対応するセーフティ入力機能（セーフティ入力）の値がＯＦＦに変化した場合に、対応するセーフティ出力機能（セーフティ出力）の値がＯＦＦ（停止）に変化することを意味する。
【0086】
真理値表１５２が設定されることで、サーバ装置１００は、セーフティロジックを生成する。なお、生成されたセーフティロジックそのものをユーザへ提示しなくてもよい。
【0087】
図９は、本実施の形態に従うシステム１において提供されるユーザインターフェイス画面３００Ｆの一例を示す模式図である。ユーザインターフェイス画面３００Ｆは、アイテム表示３２２に含まれる、動作確認の実行を示すサブアイテム表示３２９が押下された場合に表示される。ユーザインターフェイス画面３００Ｆにおいて、設定された真理値表１５２に基づいて生成されたセーフティロジックに対するシミュレーションによる動作確認が可能である。ユーザは、ユーザインターフェイス画面３００Ｆにおいて、シミュレーションにより動作確認を行う。
【0088】
図９を参照して、ユーザインターフェイス画面３００Ｆは、真理値表１５２の設定を受け付ける設定リスト３４０に加えて、セーフティ入力設定ボタン３４４と、セーフティ出力表示３４５と、リセットボタン３４６と、初期化スイッチ３４７とを含む。
【0089】
セーフティ入力設定ボタン３４４は、設定リスト３４０のセーフティ入力機能３４１の各々に対応付けて配置されている。ユーザがいずれかのセーフティ入力設定ボタン３４４を押下すると、対応するセーフティ入力機能３４１（セーフティ入力）の値がＯＦＦに変更される。セーフティ入力機能３４１の値が変更されることに対応して、生成済のセーフティロジックに従って、セーフティ出力機能３４２（セーフティ出力）のそれぞれの値が算出される。算出されたそれぞれの値がセーフティ出力表示３４５に反映される。
【0090】
ユーザは、セーフティ出力表示３４５の表示内容（ＯＮまたはＯＦＦ）と、要素３４３の設定内容とを比較して、設定通りにセーフティロジックが生成されているか否かを確認する。
【0091】
また、ユーザがリセットボタン３４６を押下すると、生成済のセーフティロジックに従って、セーフティ出力機能３４２（セーフティ出力）のそれぞれの値が再算出される。算出されたそれぞれの値がセーフティ出力表示３４５に反映される。
【0092】
ユーザは、セーフティ出力表示３４５の表示内容（ＯＮまたはＯＦＦ）と、対応するリセットモードとを比較して、設定通りにセーフティロジックが生成されているか否かを確認する。
【0093】
ユーザが初期化スイッチ３４７を押下すると、すべてのセーフティ入力機能３４１（セーフティ入力）の値がリセットされる（ＯＮに変更される）。
【0094】
次に、ユーザは、具体的な機器構成を行う（Ｓｔｅｐ３）。
【0095】
図１０および図１１は、本実施の形態に従うシステム１において提供されるユーザインターフェイス画面３００Ｇの一例を示す模式図である。ユーザインターフェイス画面３００Ｇは、アイテム表示３２３に含まれる、セーフティ機器（入力機器）の割付を示すサブアイテム表示３３０が押下された場合に表示される。ユーザインターフェイス画面３００Ｇは、セーフティ機器（入力機器）の割付設定を受け付ける。ユーザは、ユーザインターフェイス画面３００Ｇにおいて、セーフティ機器（入力機器）の割付設定を行う。
【0096】
図１０を参照して、ユーザインターフェイス画面３００Ｇは、セーフティ入力機能の割付設定を受け付ける設定リスト３５０を含む。設定リスト３５０は、設定されているセーフティ機能を示す機能列３５１と、設定されているリセット種別を示すリセット種別列３５２と、割付設定されている機器列３５３とを含む。
【0097】
ユーザインターフェイス画面３００Ｇは、設定リスト３５０の各行に対応付けられた設定ボタン３５４を含む。ユーザが設定ボタン３５４を押下すると、図１１に示すような割付設定ダイアログ３６０が表示される。
【0098】
図１１を参照して、割付設定ダイアログ３６０は、セーフティ機能を示す機能表示３６１と、設定種別を選択するプルダウン３６２と、設定タイプを選択するプルダウン３６３と、対象のセーフティ機器を一覧表示するリスト３６４と、選択ボタン３６５とを含む。
【0099】
ユーザは、プルダウン３６２を操作して設定種別を選択するとともに、プルダウン３６３を操作して設定タイプを選択する。なお、設定種別および設定タイプを選択しなくてもよい。
【0100】
リスト３６４には、選択可能なセーフティ機器がリスト表示される。設定種別および／または設定タイプが選択されることで、表示されるセーフティ機器の候補が絞られる。ユーザは、リスト３６４に表示されているセーフティ機器を選択し、選択ボタン３６５を押下すると、選択したセーフティ機能に対するセーフティ機器の割付設定が完了する。
【0101】
図１２は、本実施の形態に従うシステム１において提供されるユーザインターフェイス画面３００Ｈの一例を示す模式図である。ユーザインターフェイス画面３００Ｈは、アイテム表示３２３に含まれる、セーフティ機器（出力機器）の割付を示すサブアイテム表示３３１が押下された場合に表示される。ユーザインターフェイス画面３００Ｈは、セーフティ機器（出力機器）の割付設定を受け付ける。ユーザは、ユーザインターフェイス画面３００Ｈにおいて、セーフティ機器（出力機器）の割付設定を行う。
【0102】
図１２を参照して、ユーザインターフェイス画面３００Ｈは、セーフティ出力機能の割付設定を受け付ける設定リスト３５５を含む。設定リスト３５５は、設定されているセーフティ機能を示す機能列３５６と、設定されているＥＤＭ機能の設定を示すＥＤＭ列３５７と、割付設定されている機器列３５８とを含む。
【0103】
ユーザインターフェイス画面３００Ｈは、設定リスト３５５の各行に対応付けられた設定ボタン３５９を含む。ユーザが設定ボタン３５９を押下すると、図１１と同様の割付設定ダイアログが表示される。
【0104】
ユーザは、図１１と同様の割付設定ダイアログを操作して、各セーフティ機能に対するセーフティ機器の割付設定を行う。
【0105】
図１３は、本実施の形態に従うシステム１において提供されるユーザインターフェイス画面３００Ｉの一例を示す模式図である。ユーザインターフェイス画面３００Ｉは、アイテム表示３２３に含まれる、機器構成の確認を示すサブアイテム表示３３２が押下された場合に表示される。ユーザインターフェイス画面３００Ｉは、設定されている機器構成を表示する。
【0106】
図１３を参照して、ユーザインターフェイス画面３００Ｉは、設定されている機器構成を模式的に示す機器構成イメージ３７０と、設定されている機器構成（入力ユニットおよび出力ユニット）の型番などを示すリスト３７２とを含む。
【0107】
ユーザは、ユーザインターフェイス画面３００Ｉを参照して、意図通りの機器構成が設定されているかを確認する。なお、ユーザは、ユーザインターフェイス画面３００Ｉにおいて、例えば、補修用として、セーフティ機器（入力機器、制御機器、出力機器）を追加することもできる。
【0108】
機器構成の確認後、ユーザは、注文内容の最終確認を行う（Ｓｔｅｐ４）。
【0109】
図１４は、本実施の形態に従うシステム１において提供されるユーザインターフェイス画面３００Ｊの一例を示す模式図である。ユーザインターフェイス画面３００Ｊは、アイテム表示３２４に含まれる、オプションの選択を示すサブアイテム表示３３３が押下された場合に表示される。ユーザインターフェイス画面３００Ｊは、ハードウェアおよびソフトウェアの注文と併せて注文可能なオプションを表示する。ユーザは、ユーザインターフェイス画面３００Ｊにおいて、オプションを選択する。
【0110】
図１４を参照して、ユーザインターフェイス画面３００Ｊは、注文可能なオプション群３７４を含む。ユーザは、希望するオプションをチェックボックスで選択する。
【0111】
図１５は、本実施の形態に従うシステム１において提供されるユーザインターフェイス画面３００Ｋの一例を示す模式図である。ユーザインターフェイス画面３００Ｋは、アイテム表示３２４に含まれる、注文内容の最終確認を示すサブアイテム表示３３４が押下された場合に表示される。ユーザは、ユーザインターフェイス画面３００Ｋにおいて、注文内容を最終確認し、注文を行う。
【0112】
図１５を参照して、ユーザインターフェイス画面３００Ｋは、一連の設定によって定められた注文内容の一覧を示すリスト３７６を含む。ユーザは、リスト３７６を確認した上で、注文を確定する。すると、サーバ装置１００は、注文情報１５８を配送主体２０へ送信するとともに、生成されたセーフティロジックを実現するためのセーフティプログラム１６０を生成する。
【0113】
以上のようなユーザ操作によって、ユーザは、セーフティシステムを導入するために必要なハードウェアおよびソフトウェアを注文できる。
【0114】
（ｄ２：テンプレートを用いた新規注文）
上述の図４に示すユーザインターフェイス画面３００Ａにおいて、ボタン３０３が押下されると、予め用意されたテンプレートに沿って、上述の図４～図１５に示す一連のユーザ操作が実行される。
上述の図４に示すユーザインターフェイス画面３００Ａにおいて、ボタン３０３が押下されると、予め用意されたテンプレートに沿って、上述の図４～図１５に示す一連のユーザ操作が実行される。
【0115】
予め用意されたテンプレートは、例えば、対象のセーフティシステムの規模や用途などに応じて、複数用意されていてもよい。いずれかのテンプレートが選択されると、セーフティ機能数などが予め設定された状態でユーザインターフェイス画面が提供される。そのため、ユーザは、一からすべての設定を行う必要がなく、より迅速に注文を行うことができる。
【0116】
（ｄ３：セーフティ機器の拡張）
上述の図４に示すユーザインターフェイス画面３００Ａにおいて、ボタン３０５が押下されると、既存のセーフティシステムに含まれるセーフティ機器を追加変更するための処理が実行される。
上述の図４に示すユーザインターフェイス画面３００Ａにおいて、ボタン３０５が押下されると、既存のセーフティシステムに含まれるセーフティ機器を追加変更するための処理が実行される。
【0117】
図１６は、本実施の形態に従うシステム１において提供されるユーザインターフェイス画面３００Ｌの一例を示す模式図である。ユーザインターフェイス画面３００Ｌは、過去に注文した情報の入力を受け付ける。
【0118】
図１６を参照して、ユーザインターフェイス画面３００Ｌは、注文番号を受け付ける入力ボックス３８０と、アクセスキーを受け付ける入力ボックス３８２とを含む。ユーザは、注文番号および対応するアクセスキーを入力して、次へのボタン３８４を押下する。すると、サーバ装置１００は、注文情報データベース１１８（図２）を参照して、対応する注文情報１５８を抽出する。
【0119】
注文情報データベース１１８には、過去に出力された注文情報１５８およびセーフティプログラム１６０を格納する。注文情報データベース１１８には、注文番号およびアクセスキーと対応付けて、過去に注文した注文情報１５８およびセーフティプログラム１６０（セーフティロジック）が格納されている。
【0120】
サーバ装置１００は、抽出した注文情報１５８の内容を反映して、上述の図５～図１５に示すユーザインターフェイス画面と同様のインターフェイス画面を提供する。ユーザは、過去の注文情報１５８（一般的には、現在稼働中のセーフティシステム）から変更または追加したい部分を設定する。すなわち、注文情報データベース１１８に格納された注文情報１５８およびセーフティプログラム１６０は、再利用可能になっている。
【0121】
変更または追加する操作については、上述の新規注文の操作と実質的に同一であるので、詳細な説明は繰り返さない。
【0122】
（ｄ４：セーフティプログラムの更新）
上述の図４に示すユーザインターフェイス画面３００Ａにおいて、ボタン３０６が押下されると、既存のセーフティシステムで運用されているセーフティプログラム（セーフティロジック）の更新が実行される。
上述の図４に示すユーザインターフェイス画面３００Ａにおいて、ボタン３０６が押下されると、既存のセーフティシステムで運用されているセーフティプログラム（セーフティロジック）の更新が実行される。
【0123】
この場合においても、上述の図１６と同様のユーザインターフェイス画面が提供される。ユーザは、注文番号および対応するアクセスキーを入力する。すると、サーバ装置１００は、注文情報データベース１１８（図２）を参照して、対応する注文情報１５８を抽出する。そして、サーバ装置１００は、抽出した注文情報１５８の内容を反映して、上述の図８および図９に示すユーザインターフェイス画面と同様のインターフェイス画面を提供する。
【0124】
ユーザは、表示される真理値表１５２に対して、変更または追加を行う。真理値表１５２の変更または追加が完了すると、サーバ装置１００は、変更または追加後の真理値表１５２に対応するセーフティプログラムを生成して出力する。
【0125】
このように、ユーザは、セーフティプログラム１６０（セーフティロジック）を事後的に変更または追加できる。
【0126】
＜Ｅ：処理手順＞
次に、本実施の形態に従うシステム１で実行される処理手順の一例について説明する。
次に、本実施の形態に従うシステム１で実行される処理手順の一例について説明する。
【0127】
図１７および図１８は、本実施の形態に従うシステム１のサーバ装置１００が実行する処理手順の一例を示すフローチャートである。図１７および図１８には、セーフティシステムの導入を支援するための処理手順例を示す。
【0128】
【0129】
図１７および図１８を参照して、サーバ装置１００は、情報処理装置２００からのアクセスを受けると（ステップＳ１００）、初期画面を出力する（ステップＳ１０２）。出力される初期画面は、例えば、上述の図４に示されるユーザインターフェイス画面３００Ａである。
【0130】
既存のセーフティシステムの変更または追加が指示されると（ステップＳ１０４において「変更または追加」）、サーバ装置１００は、過去に注文された注文情報１５８を特定するための注文番号およびアクセスキーを受け付けるためのユーザインターフェイス画面を出力する（ステップＳ１０６）。例えば、上述の図１６に示されるユーザインターフェイス画面３００Ｌである。サーバ装置１００は、入力された注文番号およびアクセスキーに基づいて、注文情報データベース１１８から対応する注文情報１５８を抽出する（ステップＳ１０８）。そして、サーバ装置１００は、抽出した注文情報１５８およびセーフティプログラム１６０（セーフティロジック）を後続のユーザインターフェイス画面に反映する（ステップＳ１１０）。
【0131】
セーフティシステムの新規注文が指示されると（ステップＳ１０４において「新規注文」）、ステップＳ１０６～Ｓ１１０の処理はスキップされる。
【0132】
続いて、サーバ装置１００は、対象のセーフティシステムに必要なセーフティ入力機能およびセーフティ出力機能の数の設定を受け付けるためのユーザインターフェイス画面を出力する（ステップＳ１１２）。例えば、上述の図５に示されるユーザインターフェイス画面３００Ｂである。サーバ装置１００は、入力されたセーフティ入力機能およびセーフティ出力機能の数を一時的に保持する（ステップＳ１１４）。
【0133】
続いて、サーバ装置１００は、対象のセーフティシステムに必要なセーフティ入力機能の設定を受け付けるためのユーザインターフェイス画面を出力する（ステップＳ１１６）。例えば、上述の図６に示されるユーザインターフェイス画面３００Ｃである。サーバ装置１００は、入力されたセーフティ入力機能の設定を一時的に保持する（ステップＳ１１８）。
【0134】
続いて、サーバ装置１００は、対象のセーフティシステムに必要なセーフティ出力機能の設定を受け付けるためのユーザインターフェイス画面を出力する（ステップＳ１２０）。例えば、上述の図７に示されるユーザインターフェイス画面３００Ｄである。サーバ装置１００は、入力されたセーフティ出力機能の設定を一時的に保持する（ステップＳ１２２）。
【0135】
このように、サーバ装置１００は、セーフティシステムに必要なセーフティ入力機能およびセーフティ出力機能の設定を受け付ける。
【0136】
続いて、サーバ装置１００は、対象のセーフティシステムに必要な真理値表１５２の設定を受け付けるためのユーザインターフェイス画面を出力する（ステップＳ１２４）。例えば、上述の図８に示されるユーザインターフェイス画面３００Ｅである。このとき、サーバ装置１００は、一時的に保持しているセーフティ入力機能およびセーフティ出力機能の設定に基づいて、真理値表１５２のマトリックスを生成する。そして、サーバ装置１００は、入力された真理値表１５２の設定を一時的に保持する（ステップＳ１２６）。
【0137】
このように、サーバ装置１００は、セーフティ入力の値と出力されるべきセーフティ出力の値との対応関係を定義した真理値表１５２を受け付ける。
【0138】
さらに、サーバ装置１００は、保持している真理値表１５２の設定に基づいて、セーフティロジックを生成する（ステップＳ１２８）。
【0139】
続いて、サーバ装置１００は、生成されたセーフティロジックの動作確認を行うためのユーザインターフェイス画面を出力する（ステップＳ１３０）。例えば、上述の図９に示されるユーザインターフェイス画面３００Ｆである。
【0140】
サーバ装置１００は、ユーザインターフェイス画面に対してなされるユーザ操作に応じて、生成したセーフティロジックに従って、セーフティ出力の値を算出し（ステップＳ１３２）、算出したセーフティ出力の値をユーザインターフェイス画面に反映する（ステップＳ１３４）。
【0141】
動作確認が完了すると、サーバ装置１００は、対象のセーフティシステムにおける、セーフティ機器（入力機器）の割付設定を受け付けるためのユーザインターフェイス画面を出力する（ステップＳ１３６）。例えば、上述の図１０に示されるユーザインターフェイス画面３００Ｇである。サーバ装置１００は、入力されたセーフティ機器（入力機器）の割付設定を一時的に保持する（ステップＳ１３８）。
【0142】
続いて、サーバ装置１００は、対象のセーフティシステムにおける、セーフティ機器（出力機器）の割付設定を受け付けるためのユーザインターフェイス画面を出力する（ステップＳ１４０）。例えば、上述の図１１に示されるユーザインターフェイス画面３００Ｈである。サーバ装置１００は、入力されたセーフティ機器（出力機器）の割付設定を一時的に保持する（ステップＳ１４２）。
【0143】
続いて、サーバ装置１００は、設定されている機器構成を確認のためのユーザインターフェイス画面を出力する（ステップＳ１４４）。例えば、上述の図１３に示されるユーザインターフェイス画面３００Ｉである。
【0144】
続いて、サーバ装置１００は、ユーザが希望するオプションの選択を受け付けるためのユーザインターフェイス画面を出力する（ステップＳ１４６）。例えば、上述の図１４に示されるユーザインターフェイス画面３００Ｊである。サーバ装置１００は、入力されたオプションの選択を一時的に保持する（ステップＳ１４８）。
【0145】
続いて、サーバ装置１００は、現在の注文内容の最終確認するためのユーザインターフェイス画面を出力する（ステップＳ１５０）。例えば、上述の図１５に示されるユーザインターフェイス画面３００Ｋである。
【0146】
最終的に、サーバ装置１００は、現在の設定に基づいて注文情報１５８を生成し（ステップＳ１５２）、配送主体２０へ出力する（ステップＳ１５４）。併せて、サーバ装置１００は、現在のセーフティロジックに基づいてセーフティプログラム１６０を生成し（ステップＳ１５６）、ユーザへ提供する（ステップＳ１５８）。すなわち、サーバ装置１００は、セーフティ入力機能およびセーフティ出力機能の設定に基づく注文情報１５８、および、真理値表１５２に基づくセーフティプログラムを出力する。
【0147】
以上により、サーバ装置１００における処理は終了する。
【0148】
＜Ｆ：オプション＞
次に、提供されるオプションの一例について説明する。なお、以下に説明するオプションのすべてを提供する必要はなく、その一部のみを提供するようにしてもよい。
次に、提供されるオプションの一例について説明する。なお、以下に説明するオプションのすべてを提供する必要はなく、その一部のみを提供するようにしてもよい。
【0149】
（ｆ１：妥当性確認用プログラム）
国際規格であるＩＥＣ６２０６１は、セーフティ関連電気制御システム（ＳＲＥＣＳ：Safety-related electrical control system）の特定アプリケーションがファンクショナルセーフティ要求事項を満たすことを検査によって確認することを要求する。このようなファンクショナルセーフティ要求事項を満たすことを検査によって確認する手順を妥当性確認（validation）と称す。
国際規格であるＩＥＣ６２０６１は、セーフティ関連電気制御システム（ＳＲＥＣＳ：Safety-related electrical control system）の特定アプリケーションがファンクショナルセーフティ要求事項を満たすことを検査によって確認することを要求する。このようなファンクショナルセーフティ要求事項を満たすことを検査によって確認する手順を妥当性確認（validation）と称す。
【0150】
本実施の形態に従うサーバ装置１００が提供するセーフティプログラム１６０は、制御機器（セーフティコントロールユニット）にインストールされた上で、妥当性確認を行った上で、通常稼働となる。
【0151】
このように、セーフティプログラム１６０が実行されるセーフティシステムの妥当性確認を行うための妥当性確認用プログラム（テストプログラム）をセーフティプログラム１６０に併せて提供するようにしてもよい。このようなテストプログラムを用いることで、妥当性確認をより効率的に行うことができる。
【0152】
（ｆ２：妥当性確認済プログラム生成サービス）
上述したように、セーフティプログラム１６０は、制御機器（セーフティコントロールユニット）にインストールされた上で、妥当性確認を行う必要がある。そのため、妥当性確認が完了するまでは、セーフティコントロールユニットを通常稼働させないとともに、妥当性確認が完了した後には、妥当性確認が完了しているセーフティプログラム１６０であることを証明できる仕組みを用意してもよい。
上述したように、セーフティプログラム１６０は、制御機器（セーフティコントロールユニット）にインストールされた上で、妥当性確認を行う必要がある。そのため、妥当性確認が完了するまでは、セーフティコントロールユニットを通常稼働させないとともに、妥当性確認が完了した後には、妥当性確認が完了しているセーフティプログラム１６０であることを証明できる仕組みを用意してもよい。
【0153】
例えば、メモリカードなどの記憶媒体に格納されたセーフティプログラム１６０をセーフティコントロールユニットに提供した後、妥当性確認が完了したことが明示的にセーフティコントロールユニットに対して入力されたことをもって、当該セーフティプログラム１６０に基づく通常稼働が開始させるような仕組みを提供してもよい。この場合には、妥当性確認の完了を担保するためのデータおよび／またはプログラムをメモリカードに格納するようにしてもよいし、セーフティコントロールユニットのシステムで実現してもよい。
【0154】
さらに、妥当性確認が完了すると、当該妥当性確認の責任者の署名をセーフティプログラム１６０に関連付けてサーバ装置１００で管理するようにしてもよい。
【0155】
あるいは、事後的に妥当性確認の責任者の署名を受領することを条件として、インストールすることで通常可能な形式でセーフティプログラム１６０をユーザへ提供するようにしてもよい。
【0156】
このように、妥当性確認をより容易化するためのサービスをユーザへ提供するようにしてもよい。
【0157】
（ｆ３：Ｉ／Ｏ機器の配線図）
セーフティシステムを導入するためには、セーフティ入力ユニットおよび／またはセーフティ出力ユニットと、セーフティデバイス（セーフティスイッチ、ライトカーテン、セーフティリレーなど）とを電気的に接続する必要がある。
セーフティシステムを導入するためには、セーフティ入力ユニットおよび／またはセーフティ出力ユニットと、セーフティデバイス（セーフティスイッチ、ライトカーテン、セーフティリレーなど）とを電気的に接続する必要がある。
【0158】
このような電気的な接続を行うための手順書として、Ｉ／Ｏ機器の配線図を提供するようにしてもよい。特に、セーフティシステムにおいては、ＥＤＭ機能やフィードバック機能なども実装されており、通常のコントロールシステムに比較して、より複雑な配線が必要になることもある。
【0159】
そのため、セーフティ入力ユニットおよび／またはセーフティ出力ユニットの露出面に設けられた端子および接続関係を視覚的に把握できる配線図をユーザへ提供するようにしてもよい。
【0160】
（ｆ４：妥当性確認結果シート）
上述したような妥当性確認を行う際に必要となる結果シートを提供するようにしてもよい。結果シートには、妥当性確認に用いられるテストケース（テストシナリオ）が定義されており、各テストケースでの結果を入力できるようになっている。
上述したような妥当性確認を行う際に必要となる結果シートを提供するようにしてもよい。結果シートには、妥当性確認に用いられるテストケース（テストシナリオ）が定義されており、各テストケースでの結果を入力できるようになっている。
【0161】
各テストケースでの結果に基づいて、妥当性確認を行うことができる。妥当性確認の責任者は、結果が入力された結果シートに基づいて、妥当性確認の完了を判断するようにしてもよい。
【0162】
このように、セーフティプログラム１６０が実行されるセーフティシステムの妥当性確認を行うためのドキュメントをセーフティプログラムに併せて提供するようにしてもよい。
【0163】
＜Ｇ：変形例＞
上述した実施の形態においては、以下のような任意の変形が可能である。なお、以下の変形例は、任意に組み合わせることができる。
上述した実施の形態においては、以下のような任意の変形が可能である。なお、以下の変形例は、任意に組み合わせることができる。
【0164】
（ｇ１：提供形態）
上述の説明においては、サーバ装置１００がウェブサーバとして機能することで、情報処理装置２００で実行されるブラウザアプリケーションを介して、セーフティシステムを導入するための注文などを行うサービスが提供される例を示したが、これに限らず任意の形態でサービスを提供できる。
上述の説明においては、サーバ装置１００がウェブサーバとして機能することで、情報処理装置２００で実行されるブラウザアプリケーションを介して、セーフティシステムを導入するための注文などを行うサービスが提供される例を示したが、これに限らず任意の形態でサービスを提供できる。
【0165】
例えば、情報処理装置２００に専用のアプリケーションプログラムをインストールし、当該アプリケーションプログラムが上述のサービスを提供するようにしてもよい。あるいは、一部の機能が専用のアプリケーションプログラムで提供されるようにしてもよい。
【0166】
このように、本実施の形態に従う処理は、どのような形態で実現されてもよい。
【0167】
（ｇ２：動作確認）
上述の説明においては、セーフティロジックの動作確認の一例として、ユーザがセーフティ入力の値をＯＮ／ＯＦＦすることで生じる各セーフティ出力の値を示す構成を例示した。これに限らず、動作確認をより容易に行えるような表現を採用してもよい。
上述の説明においては、セーフティロジックの動作確認の一例として、ユーザがセーフティ入力の値をＯＮ／ＯＦＦすることで生じる各セーフティ出力の値を示す構成を例示した。これに限らず、動作確認をより容易に行えるような表現を採用してもよい。
【0168】
例えば、セーフティ入力の値を予め定められたルールで変化させるとともに、当該変化に応じて算出されるセーフティ出力の値の変化をグラフで表現してもよい。あるいは、セーフティ入力およびセーフティ出力に対応するセーフティ機能のアニメーション表示を行ってもよい。
【0169】
動作確認のためのシミュレータは、サーバ装置１００に実装されてもよいし、サーバ装置１００とは別のコンピューティングリソース（例えば、クラウド環境に用意された仮想マシンなど）を用いて実装されてもよい。
【0170】
また、グラフ表示やアニメーション表示は、ウェブ上の簡易的なスクリプトを用いて実現されてもよい。
【0171】
また、動作確認に加えて、リアクションタイムなどの性能を確認できるようにしてもよい。このような性能を確認できることで、必要なセーフティ距離などをより容易に設計できる。
【0172】
（ｇ３：設定手順）
上述の説明においては、セーフティ機能およびセーフティロジック（真理値表）を設定した後に、機器構成を設定する手順となっているが、これ以外の手順であってもよい。例えば、予め希望する機器構成が分かっている場合には、先に機器構成（機器構成によりセーフティ機能は一意に決定される）を設定した上で、セーフティロジック（真理値表）を設定するようにしてもよい。
上述の説明においては、セーフティ機能およびセーフティロジック（真理値表）を設定した後に、機器構成を設定する手順となっているが、これ以外の手順であってもよい。例えば、予め希望する機器構成が分かっている場合には、先に機器構成（機器構成によりセーフティ機能は一意に決定される）を設定した上で、セーフティロジック（真理値表）を設定するようにしてもよい。
【0173】
あるいは、セーフティロジック（真理値表）を設定している段階で、必要なセーフティ機能あるいは機器構成を並行して設定するようにしてもよい。
【0174】
このように、セーフティシステムを導入するために必要な設定は、どのような手順で行われてもよい。
【0175】
（ｇ４：セーフティプログラムの提供）
上述の説明において、セーフティプログラム１６０は、配送主体２０とは独立してユーザへ提供されるが、これに限らず、配送主体２０が配送する商品の一部に含まれていてもよい。例えば、セーフティプログラム１６０を格納したメモリカードなどの記憶媒体を配送される商品に同梱しておいてもよいし、配送されるセーフティコントロールユニットにセーフティプログラムをインストールしておいてもよい。
上述の説明において、セーフティプログラム１６０は、配送主体２０とは独立してユーザへ提供されるが、これに限らず、配送主体２０が配送する商品の一部に含まれていてもよい。例えば、セーフティプログラム１６０を格納したメモリカードなどの記憶媒体を配送される商品に同梱しておいてもよいし、配送されるセーフティコントロールユニットにセーフティプログラムをインストールしておいてもよい。
【0176】
＜Ｈ．付記＞
上述したような本実施の形態は、以下のような技術思想を含む。
上述したような本実施の形態は、以下のような技術思想を含む。
【0177】
［構成１］
セーフティシステムの導入を支援するためのシステム（１）であって、
前記セーフティシステムに必要なセーフティ入力機能およびセーフティ出力機能の設定を受け付ける第１設定部（１３４）と、
セーフティ入力の値と出力されるべきセーフティ出力の値との対応関係を定義した真理値表（１５２）を受け付ける第２設定部（１３６）と、
前記セーフティ入力機能および前記セーフティ出力機能の設定に基づく注文情報（１５８）、および、前記真理値表に基づくセーフティプログラム（１６０）を出力する出力部（１４２）とを備える、システム。
セーフティシステムの導入を支援するためのシステム（１）であって、
前記セーフティシステムに必要なセーフティ入力機能およびセーフティ出力機能の設定を受け付ける第１設定部（１３４）と、
セーフティ入力の値と出力されるべきセーフティ出力の値との対応関係を定義した真理値表（１５２）を受け付ける第２設定部（１３６）と、
前記セーフティ入力機能および前記セーフティ出力機能の設定に基づく注文情報（１５８）、および、前記真理値表に基づくセーフティプログラム（１６０）を出力する出力部（１４２）とを備える、システム。
【0178】
［構成２］
前記セーフティ入力機能および前記セーフティ出力機能の設定に対応付けられるセーフティ機器を決定する決定部（１４０）をさらに備え、
前記出力部は、前記セーフティ機器に基づいて前記注文情報を出力する、構成１に記載のシステム。
前記セーフティ入力機能および前記セーフティ出力機能の設定に対応付けられるセーフティ機器を決定する決定部（１４０）をさらに備え、
前記出力部は、前記セーフティ機器に基づいて前記注文情報を出力する、構成１に記載のシステム。
【0179】
［構成３］
前記第２設定部は、前記セーフティ入力機能および前記セーフティ出力機能の設定に基づいて、前記真理値表の入力を受け付けるためのマトリックス（３４０）を生成する、構成１または２に記載のシステム。
前記第２設定部は、前記セーフティ入力機能および前記セーフティ出力機能の設定に基づいて、前記真理値表の入力を受け付けるためのマトリックス（３４０）を生成する、構成１または２に記載のシステム。
【0180】
［構成４］
前記真理値表に対応するセーフティロジックを動作確認するためのシミュレータ（１３８）をさらに備える、構成１～３のいずれか１項に記載のシステム。
前記真理値表に対応するセーフティロジックを動作確認するためのシミュレータ（１３８）をさらに備える、構成１～３のいずれか１項に記載のシステム。
【0181】
［構成５］
前記注文情報は、前記注文情報に従って商品を配送する配送主体（２０）へ送信される、構成１～４のいずれか１項に記載のシステム。
前記注文情報は、前記注文情報に従って商品を配送する配送主体（２０）へ送信される、構成１～４のいずれか１項に記載のシステム。
【0182】
［構成６］
前記出力部は、前記配送主体とは独立して、前記セーフティプログラムをユーザへ提供する、構成５に記載のシステム。
前記出力部は、前記配送主体とは独立して、前記セーフティプログラムをユーザへ提供する、構成５に記載のシステム。
【0183】
［構成７］
前記出力部は、前記セーフティプログラムが実行されるセーフティシステムの妥当性を確認するためのプログラムおよびドキュメントのうち少なくとも一方をさらに出力する、構成１～６のいずれか１項に記載のシステム。
前記出力部は、前記セーフティプログラムが実行されるセーフティシステムの妥当性を確認するためのプログラムおよびドキュメントのうち少なくとも一方をさらに出力する、構成１～６のいずれか１項に記載のシステム。
【0184】
［構成８］
過去に出力された前記注文情報および前記セーフティプログラムを格納するデータベース（１１８）をさらに備え、
前記データベースに格納された前記注文情報および前記セーフティプログラムは、再利用可能になっている、構成１～７のいずれか１項に記載のシステム。
過去に出力された前記注文情報および前記セーフティプログラムを格納するデータベース（１１８）をさらに備え、
前記データベースに格納された前記注文情報および前記セーフティプログラムは、再利用可能になっている、構成１～７のいずれか１項に記載のシステム。
【0185】
［構成９］
前記第１設定部、前記第２設定部、および、前記出力部は、情報処理装置からアクセス可能なサーバ装置（１００）に設けられている、構成１～７のいずれか１項に記載のシステム。
前記第１設定部、前記第２設定部、および、前記出力部は、情報処理装置からアクセス可能なサーバ装置（１００）に設けられている、構成１～７のいずれか１項に記載のシステム。
【0186】
［構成１０］
セーフティシステムの導入を支援するための１または複数のコンピュータ（１００）が実行する方法であって、
前記セーフティシステムに必要なセーフティ入力機能およびセーフティ出力機能の設定を受け付けるステップ（Ｓ１１２～Ｓ１２２）と、
セーフティ入力の値と出力されるべきセーフティ出力の値との対応関係を定義した真理値表を受け付けるステップ（Ｓ１２４～Ｓ１２６）と、
前記セーフティ入力機能および前記セーフティ出力機能の設定に基づく注文情報、および、前記真理値表に基づくセーフティプログラムを出力するステップ（Ｓ１５２～Ｓ１５８）とを備える、方法。
セーフティシステムの導入を支援するための１または複数のコンピュータ（１００）が実行する方法であって、
前記セーフティシステムに必要なセーフティ入力機能およびセーフティ出力機能の設定を受け付けるステップ（Ｓ１１２～Ｓ１２２）と、
セーフティ入力の値と出力されるべきセーフティ出力の値との対応関係を定義した真理値表を受け付けるステップ（Ｓ１２４～Ｓ１２６）と、
前記セーフティ入力機能および前記セーフティ出力機能の設定に基づく注文情報、および、前記真理値表に基づくセーフティプログラムを出力するステップ（Ｓ１５２～Ｓ１５８）とを備える、方法。
【0187】
＜Ｉ．利点＞
本実施の形態によれば、ユーザは、必要な情報を設定することで、セーフティシステムを導入するために必要なソフトウェアだけではなく、ハードウェアについても容易に取得できる。これによって、よりスムーズにセーフティシステムの構築できる。
本実施の形態によれば、ユーザは、必要な情報を設定することで、セーフティシステムを導入するために必要なソフトウェアだけではなく、ハードウェアについても容易に取得できる。これによって、よりスムーズにセーフティシステムの構築できる。
【0188】
今回開示された実施の形態はすべての点で例示であって制限的なものではないと考えられるべきである。本発明の範囲は、上記した説明ではなく、特許請求の範囲によって示され、特許請求の範囲と均等の意味および範囲内でのすべての変更が含まれることが意図される。
【符号の説明】
【0189】
１ システム、１０ 生産現場、２０ 配送主体、５０ セーフティ機器、１００ サーバ装置、１０２ プロセッサ、１０４ メインメモリ、１０６ 入力部、１０８ 出力部、１１０ ストレージ、１１１ ＯＳ、１１２ ウェブサーバプログラム、１１３ プログラム、１１４ 機器構成決定プログラム、１１５ ロジック生成プログラム、１１６ シミュレーションプログラム、１１７ コンポーネントデータベース、１１８ 注文情報データベース、１２０ 光学ドライブ、１２２ 記憶媒体、１２４ ネットワークインターフェイス、１２６ プロセッサバス、１３０ ウェブサーバ、１３２ モジュール、１３４ セーフティ機能決定モジュール、１３６ ロジック生成モジュール、１３８ シミュレータ、１４０ 機器構成決定モジュール、１４２ 出力モジュール、１５０ セーフティ機能情報、１５２ 真理値表、１５４ セーフティロジック、１５６ 機器構成情報、１５８ 注文情報、１６０ セーフティプログラム、２００ 情報処理装置、３００Ａ，３００Ｂ，３００Ｃ，３００Ｄ，３００Ｅ，３００Ｆ，３００Ｇ，３００Ｈ，３００Ｉ，３００Ｊ，３００Ｋ，３００Ｌ ユーザインターフェイス画面、３０１，３０４，３０８ グループ、３０２，３０３，３０５，３０６，３８４ ボタン、３０９，３１０，３８０，３８２ 入力ボックス、３１１，３１４，３４０，３５０，３５５ 設定リスト、３１２，３１５，３５１，３５６ 機能列、３１３，３５２ リセット種別列、３１６，３５７ ＥＤＭ列、３２０ 進行ダイアログ、３２１，３２２，３２３，３２４ アイテム表示、３２５，３２６，３２７，３２８，３２９，３３０，３３１，３３２，３３３，３３４ サブアイテム表示、３４１ セーフティ入力機能、３４２ セーフティ出力機能、３４３ 要素、３４４ セーフティ入力設定ボタン、３４５ セーフティ出力表示、３４６ リセットボタン、３４７ 初期化スイッチ、３５３，３５８ 機器列、３５４，３５９ 設定ボタン、３６０ 割付設定ダイアログ、３６１ 機能表示、３６２，３６３ プルダウン、３６４，３７２，３７６ リスト、３６５ 選択ボタン、３７０ 機器構成イメージ、３７４ オプション群。
【図1】
【図2】
【図3】
【図4】
【図5】
【図6】
【図7】
【図8】
【図9】
【図10】
【図11】
【図12】
【図13】
【図14】
【図15】
【図16】
【図17】
【図18】