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 …

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 …

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

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 …

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 …

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 …

Programmable controllers are gaining prevalence even in distributed safety-critical
infrastructures, eg, in the railway and aerospace industries. Such systems are generally …

Control systems are typically tightly embedded into their environment to enable adaptation
to environmental effects. As the complexity of such adaptive systems is rapidly increasing …

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

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 …