The proposed method provides this support by a combination of its abstraction concept and
its operational character: models come as behavioral models in the precise and simple form …

Cyber-physical systems (CPS) are taking a crucial role in various areas of our society and
industry. Yet, because of their hybrid nature (ie the integration of both continuous and …

For a long time, formal methods have been effectively applied to design and develop safety-
critical systems to ensure safety and the correctness of desired functional behaviors through …

The modern radio-based railway signalling systems aim to increase network's capacity by
enabling trains to run closer to each other. At the core of such systems is train's on-board …

The specification of cyber-physical systems usually relies on continuous functions over
dense real numbers whereas their implementation is discrete. Proving the correctness of the …

Abstract Changes like failure or loss of QoS are key aspects of hybrid systems that must be
handled during their design. Preserving the system state is a common requirement that can …

Hybrid systems are a wide category of systems consisting of multiple computers, linked
together by some means and interacting with physical devices. Usually cheap, adaptable …

Over the last few decades, the safety assurance of cyber-physical systems has become one
of the biggest challenges in the field of model-based system engineering. The challenge …

This paper presents a substitution mechanism for systems having a continuous behavior. It
shall preserve the safety property stating that the output of both systems remain in a safety …