Industrial automation systems (IAS) need to be highly dependable; they should not merely
function as expected but also do so in a reliable, safe, and secure manner. Formal methods …

Development and application of formal languages are a long-standing challenge within the
computer science domain. One particular challenge is the acceptance of industry. This …

Communication-Based Train Control (CBTC) systems have been increasingly implemented
on metro systems because of their characteristics, which result in safety and capacity …

Safety-critical systems are widely used in many sectors to prevent fatal accidents and
prevent loss of life, damage of property, or deterioration of the environment. Implementation …

When synthesizing systems for railway interlocking, it is recommended to use automated
models to implement the logic of railway automation and remote control units. Finite-state …

Interlockings are critical systems for the railway network which ensure the safety of train
operations. While previous generations of interlockings use hardware logic to implement …

The increasing of transportation demand in Thailand requires a lot of human resources to
support the future railway system. Therefore, we have developed an in-house fixed-block …

Effective logistics management plays a crucial role in the railway industry for transporting
goods and people. There is a need to improve the railway infrastructure to meet today's …

Evaluation of the causes of hazards leading to accidents is an essential way to enhance the
safety of high-speed railway signal systems. In order to adapt to the heterogeneous …

When synthesizing systems for railway interlocking, it is recommended to use automated
models to implement the logic of railway automation and remote control units. Finite-state …