Increasing system complexity requires adapted methodologies to tackle the challenges that
come along with multi-domain systems development. Model-Based Systems Engineering …

Abstract Model checking is an influential method to verify complex interactions, concurrent
and distributed systems. Model checking constructs a behavioral model of the system using …

Model Based Systems Engineering (MBSE) provides a single platform capable of defining
complex, multidisciplinary systems, but commonly-used tools such as Systems Modeling …

The need for high-quality standard interfaces is widely recognized as a mandatory step to
reduce procurement costs and create safely operating complex railway infrastructures. That …

ABSTRACT Model-Based Systems Engineering (MBSE) enables system development and
analysis on a suitable level of abstraction. In the context of railway systems engineering …

Abstract The Shift2Rail Innovation Programme (IP) is focussing on innovative technologies
to enhance the overall railway market segments. Formal methods and standard interfaces …

Vehicular control systems are characterized with numerous complex interactions with a
steady rise of autonomous functions, which makes it more challenging for designers and …

Formal specification approaches have been successfully used to specify and verify complex
systems. Verification engineers so far either directly use formal specification languages …

In this paper we present an automated translation from the systems engineering modeling
language SysML into the input languages of the NuSMV, Prism and Spin model checkers. A …

System architecture could be described clearly and unambiguously by a descriptive system
model during the system-level design of mechatronic products. However, for system …