A major determinant of the quality of software systems is the quality of their requirements,
which should be both understandable and precise. Most requirements are written in natural …

Cyber-physical systems require the construction and management of various models to
assure their correct, safe, and secure operation. These various models are necessary …

Cyber-physical systems are complex systems that require the integration of diverse software,
firmware, and hardware to be practical and useful. This increased complexity is impacting …

Model-based Systems Engineering (MBSE) advocates the use of models in every stage of
development, leading to large number of models that need coordination, collaboration, and …

For years, formal methods have been successfully applied in the railway domain to formally
demonstrate safety of railway systems. Despite that, little has been done in the field of formal …

In the context of complex system development, heterogeneous modeling responds to the
need to integrate several domains. This need requires the use of the most appropriate …

Over the past decade, Systems Engineering has switched from document-centric
approaches to model-based ones. In this context, Model Based System Engineering (MBSE) …

A successful operational software depends on adequacy and degrees of freedom in
requirements definitions. The software developer in conjunction with the customer validates …

In order to deal with the increasing complexity of nowadays systems, model-based system
engineering (MBSE) promotes the use of models all along the engineering phases. In this …

Formal methods play a fundamental role in asserting the correctness of requirements
specifications. However, historically, formal method experts have primarily focused on …