|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
Eighth Pacific Rim International Symposium on Dependable Computing (PRDC'01)
Safety Analysis by Box Modeling Method of System Behavior -- Application to Train Control System
Seoul, Korea
December 17-December 19
ISBN: 0-7695-1414-6
| ASCII Text | x | ||
| Shigeto Hiraguri, Noriyuki Nishibori, Yasuko Hidaka, Takayuki Kasai, Hideo Nakamura, "Safety Analysis by Box Modeling Method of System Behavior -- Application to Train Control System," Pacific Rim International Symposium on Dependable Computing, IEEE, pp. 375, Eighth Pacific Rim International Symposium on Dependable Computing (PRDC'01), 2001. | |||
| BibTex | x | ||
| @article{ 10.1109/PRDC.2001.992723, author = {Shigeto Hiraguri and Noriyuki Nishibori and Yasuko Hidaka and Takayuki Kasai and Hideo Nakamura}, title = {Safety Analysis by Box Modeling Method of System Behavior -- Application to Train Control System}, journal ={Pacific Rim International Symposium on Dependable Computing, IEEE}, volume = {0}, year = {2001}, isbn = {0-7695-1414-6}, pages = {375}, doi = {http://doi.ieeecomputersociety.org/10.1109/PRDC.2001.992723}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Pacific Rim International Symposium on Dependable Computing, IEEE TI - Safety Analysis by Box Modeling Method of System Behavior -- Application to Train Control System SN - 0-7695-1414-6 SP EP A1 - Shigeto Hiraguri, A1 - Noriyuki Nishibori, A1 - Yasuko Hidaka, A1 - Takayuki Kasai, A1 - Hideo Nakamura, PY - 2001 VL - 0 JA - Pacific Rim International Symposium on Dependable Computing, IEEE ER - | |||
This paper describes a system modeling method and Its application to a new train control system based on the train detection COMBAT that uses radio communications. In the System modeling process, we paid attention to the function of train detection. We propose a basic model that describes the state of detecting point with three parameters. By using this model, we can define and classify the results of train detection at the detecting point before performing safety analysis. Based on this definition, we can analyze various states of the system resulting from actual train movement and state of equipment. The method we propose in this paper enables us to perform system behavior analysis systematically and efficiently and clarify the point where we should pay attention in the actual system operation.
Citation:
Shigeto Hiraguri, Noriyuki Nishibori, Yasuko Hidaka, Takayuki Kasai, Hideo Nakamura, "Safety Analysis by Box Modeling Method of System Behavior -- Application to Train Control System," prdc, pp.375, Eighth Pacific Rim International Symposium on Dependable Computing (PRDC'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.
