We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of control. For each layer, we provide dedicated approaches to formal verification of safety and stability properties of the design. The range of employed verification techniques invoked to span this verification space in...

Yuichi Baba Atsushi Hiratsuka Eiji Sasaki Osamu Yamamoto Masakazu Miyamoto OVERVIEW: Railways must operate safely and in accordance with their timetables, and the signalling systems responsible for ensuring safety have been progressively improved in response to demand for greater safety, reliability, and efficiency. Drawing on technology built up through its experience with signals and safety s...

The ERTMS-ATC system is a distributed system where the Driver Machine Interface (DMI) is a slave unit of the train onboard vital computer (EVC). Consequently, as for the information visualization and the input data acquisition, the data transfer between DMI and EVC must also be safe. A safe communication protocol stack has therefore to be provided for connecting safety-related peer agents as pa...

“Naše more” 61(1-2)/2014. Supplement, pp. 9-12

Reliability is one of the key problems of an automatic system, especially to the huge, complex, multiple target-based, safety critical and reliability-dependent train control system. A system reliability analysis method based on a dynamic fault tree was proposed to analyse possible fault causes of a whole system in a HLA (High Level Architecture) simulation platform, and according to the princi...

Performance of manned and automated spacecraft and vehicles greatly relies on the control system operation quality. The account hereunder describes the history and evolution of control systems, principles of their development, and the latest concepts. Copyright © 2004 IFAC

Productivity Control loops are a vital part of the process industry and are especially important when it comes to quality, economy and safety. In fact, a significant portion of incorrectly tuned automatic control loops can actually decrease production performance rather than improve it. The availability and effectiveness of a control system is essential for operating the process safely and at m...