鉄道信号システムの保安系機能用個別設計の高信頼化と容易化に関する研究

Autor: Toshiyuki, Shimazoe
Jazyk: japonština
Popis: For practical use of safety-critical railway signalling systems, the system configurations that specific applications are created by customising a generic application according to track layouts and different local conditions are needed. In the 1980s, computerised systems were introduced to the safety-critical field where the customisation had previously been carried out by means of using vital (fail-safe) relays. As a result, some problems have arisen: the conventional know-how that targets relay-circuit logic becomes ineffective, it is difficult to ensure the reliability of the configuration whose contents tend to be in a black box. To solve these problems, this study is intended to realise high-reliability and facilitation of the configurations by developing easy-to-understand and manageable technologies for general railway signalling engineers. First, this study proposes a method that the configuration data is represented as ``relay-wiring data'' by logical expressions in accordance with the relay-circuit logic. In this method, entered configuration data can be checked quickly in the relay-wiring diagram form on display and printout. Further, an algorithm represented in a table form is developed to automatically generate the relay-wiring data according to specifications data . Secondly, the study introduces the design diversity method into the configuration processes to ensure the validity of configuration data. This proposal shows practical applications of the design diversity fitting with the characteristics for each process, and provides a model representation that makes it easy to check the diversity process by using directed graph. In recent years, meanwhile, low-level configuration data is required in large numbers to create specific applications of the new type of automatic train control (ATC) system which generates train protection profile on onboard equipment where dynamic testing is not necessarily applicable. To solve this problem, new data validation methods by static analysis are proposed, using Extensible Markup Language (XML) technologies. These methods cover not only syntax but also semantic validations without custom application programming. Furthermore, the study analyses the error-proofing cases which are introduced to the Tokaido Shinkansen ATC data management system in order to ensure the reliability of the configuration, and proposes metrics to review and evaluate error-proofing systems by assigning hazard levels and work phases and by mapping the error-proofing principles.
2009
Databáze: OpenAIRE