As billions of IoT devices join the Internet, researchers and innovators increasingly explore
IoT capabilities achieved via service composition or reuse of existing capabilities via service …

The increasing complexity of reactive systems can be mitigated with the use of components
and composition languages in model-driven engineering. Designing composition languages …

Abstract In recent years, Model‐Based Systems Engineering (MBSE) practices have been
applied in various industries to design, simulate and verify complex systems. The verification …

This paper presents a formal model-based methodology to support railway engineers in the
design of safe electronic urban railway control systems. The purpose of our research is to …

Recent advances in machine learning led to the appearance of Learning-Enabled
Components (LECs) in Cyber-Physical Systems. LECs are being evaluated and used for …

Software systems are complicated, and the scientific and engineering methodologies for
software development are relatively young. Cyber-physical systems are now in every corner …

Executable models can be used to support all engineering activities in Model-Based
Systems Engineering. Testing and simulation of such models can provide early feedback …

This paper introduces Shelley, a novel model checking framework used to verify the order of
function calls, developed in the context of Cyber-Physical Systems (CPS). Shelley infers the …

We present MoDeS3, a complex research demonstrator illustrating the combined use of
model-driven development, formal verification, safety engineering and IoT technologies for …

Abstract Model-based engineering emerged as an approach to tackle the complexity of
current system development. In particular, compositional strategies assume that systems can …