| 講演名 | 2007/7/18 Design and Safety assurance of decentralized interlocking System , |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | |
| 抄録(英) | Distributed railway interlocking system(DRIS) is a new system where all interlocking devices are intelligent and connected via a ring network. The main differences from current interlocking system are that there is no centralized computer processing interlocking logic and all field devices are at the same logic layer. For such a safety-critical system, the specification design and safety assurance are vital steps. In this paper the design and safety assurance approach with Petri Nets are presented. The top-down and bottom-up approaches are used. The designed system model is validated by constructing the reachability graph of Petri Nets. Further, the net is modified by considering fail-safe principle of DRIS. |
| キーワード(和) | |
| キーワード(英) | Distributed railway interlocking system / Petri Net / Object / Validation |
| 資料番号 | SSS2007-9 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SSS |
|---|---|
| 開催期間 | 2007/7/18(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Safety (SSS) |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | |
| サブタイトル（和） | |
| タイトル（英） | Design and Safety assurance of decentralized interlocking System |
| サブタイトル（和） | |
| キーワード(1)（和/英） | / Distributed railway interlocking system |
| 第 1 著者 氏名（和/英） | / Xinhong HEI |
| 第 1 著者 所属（和/英） | College of Science and Technology, Nihon University |
| 発表年月日 | 2007/7/18 |
| 資料番号 | SSS2007-9 |
| 巻番号（vol） | vol.107 |
| 号番号（no） | 160 |
| ページ範囲 | pp.- |
| ページ数 | 4 |
| 発行日 | |