講演名 | 2006/10/19 A formal safety framework of component-based distributed railway interlocking system , |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | |
抄録(英) | Component technology has been applied to developing a variety of systems, including real-time control systems. Component-based distributed railway interlocking system (CBDRIS) is a system applying component technology to developing railway signal control systems. The CBDRIS curtails development period and lowers the update cost of railway interlocking system, while a framework is necessary to ensure and verify the CBDRIS safety for such a safety-critical system. We propose a safety framework for CBDRIS which consists of dynamical process (Standardized control flow) and static process (basic data of a specific station model). Based on the framework and an example station, a unified Petri-net model of CBDRIS is established with GSPN (Generalized Stochastic Petri-Nets) and G-nets (Petri-nets extended with Object-oriented concept). |
キーワード(和) | |
キーワード(英) | Distributed system / Safety / Railway interlocking system / Component / GSPN |
資料番号 | SSS2006-15 |
発行日 |
研究会情報 | |
研究会 | SSS |
---|---|
開催期間 | 2006/10/19(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Safety (SSS) |
---|---|
本文の言語 | ENG |
タイトル(和) | |
サブタイトル(和) | |
タイトル(英) | A formal safety framework of component-based distributed railway interlocking system |
サブタイトル(和) | |
キーワード(1)(和/英) | / Distributed system |
第 1 著者 氏名(和/英) | / Xinhong HEI |
第 1 著者 所属(和/英) | College of Science and Technology, Nihon University |
発表年月日 | 2006/10/19 |
資料番号 | SSS2006-15 |
巻番号(vol) | vol.106 |
号番号(no) | 311 |
ページ範囲 | pp.- |
ページ数 | 4 |
発行日 |