Formal methods encompass a wide choice of techniques and tools for the specification,
development, analysis, and verification of software and hardware systems. Formal methods …

Shift2Rail is a joint undertaking funded by the EU via its Horizon 2020 program and by main
railway stakeholders. Several Shift2Rail projects aim to investigate the application of formal …

Efficient and safe railway signalling systems, together with energy-saving infrastructures, are
among the main pillars to guarantee sustainable transportation. ERTMS L3 moving block is …

The evolution of automotive systems has been rapid. Nowadays, electronic brains control
dozens of functions in vehicles, like braking, cruising, etc. Model-based design approaches …

Thorough verification is a part of the design process of instrumentation and control systems if
they must comply with crucial safety requirements. Model checking can be applied to the …

The trustworthiness of a cyber–physical system is essential for it to be qualified for utilization
in most real-life deployments. This is especially critical for systems that deal with precious …

Abstract Domain-specific quantitative modeling and analysis approaches are fundamental in
scenarios in which qualitative approaches are inappropriate or unfeasible. In this paper, we …

Model-driven methods are widely used in embedded control software development. Current
design tools, such as Ptolemy-II and Simulink, have strong modeling capability but their …

In cyber-physical systems like automotive systems, there are components like sensors,
actuators, and controllers that communicate asynchronously with each other. The …

We show how detailed simulation models and abstract Markov models can be developed
collaboratively to generate and implement effective controllers for autonomous agent search …