Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation

Golra, Fahad Rafique; Dagnat, Fabien; Souquières, Jeanine; Sayar, Imen; Guérin, Sylvain

doi:10.1007/978-3-319-92970-5_4

Cited by 14 publications

(5 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Douglass describes a set of independent yet connected models as a federation and the process of creating the models and their linkages a model federation 33 . This approach shifts the focus from a development model to a set of loosely but intentionally coupled models, 34 able to be developed in parallel. A key aspect of this concept is that each piece of data has a well‐defined location known as it's authoritative source of truth (ASOT) 33 .…”

Section: Methodsmentioning

confidence: 99%

A methodology for developing SoS architectures using SysML model federation

Swickline,

Mazzuchi,

Sarkani

2023

Systems Engineering

View full text Add to dashboard Cite

An essential role of systems engineering is to aid in overcoming complexity during development. As system complexity increases, a greater number of organizations are being asked to contribute architecture/design content for systems development. An essential challenge to overcome is how to ensure digital continuity in connecting system models to form systems of systems (SoS) models. Leveraging recent developments in digital engineering (DE) and model‐based systems engineering (MBSE) this paper presents a SysML model federation methodology enabling multiple collaborating organizations to contribute system models and form a descriptive SoS architecture model. Systems engineers applying this methodology are able to reuse constituent system model content to describe the larger SoS behavior and structure while promoting reusability and commonality and are therefore better able to ensure correctness and consistency across development. First, a background through the review of SoS engineering (SoSE) and DE/MBSE literature is provided. Then an MBSE process along with specific methods tailoring the use of SysML within the Cameo Enterprise Architecture tool is presented. This work builds upon a previously published Systems Architecture Model (SAM) development method and is designed to permit style diversity across peer constituent models and ensure that every piece of data has an authoritative source of truth (ASOT) within the federation. This paper then presents the application of this methodology to the Ranger Lunar Rover system by making use of its openly published SysML model. Finally, the benefits and challenges of this methodology are discussed prior to drawing closing conclusions and identifying future areas of research.

show abstract

Section: Methodsmentioning

confidence: 99%

A methodology for developing SoS architectures using SysML model federation

Swickline,

Mazzuchi,

Sarkani

2023

Systems Engineering

View full text Add to dashboard Cite

show abstract

“…This framework provides us the infrastructure required to connect multiple models while keeping each model in its technology space. Openflexo [14], [15] offers a Federation Model Language (FML) engine with an integrated model design environment which permits the design of models and their behaviour. Also, offers some mature technology adapters to connect external models to Openflexo.…”

Section: Case Studymentioning

confidence: 99%

Towards Evolving Secured Multi-Model Systems with Model Federation

Boudjemila,

Dagnat,

Martínez

2023

2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)

Self Cite

View full text Add to dashboard Cite

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 scenario, systems are often represented by a set of models, conforming to different modeling languages and built with different tools. This multiplicity and heterogeneity are challenging when models evolve as they may easily become inconsistent. This is even more crucial when we deal with security requirements. Indeed, being a critical property of systems, security has been integrated in MBSE so that it can be dealt with since the early phases of the project (in what is called "security-by-design"). Consequently, it needs to be taken into account as well when the system evolves in order to avoid potential security issues.In order to tackle this problem, we propose here to leverage on the model federation paradigm, which promotes the reification of the dependencies between heterogeneous models. Concretely, we propose the creation of a security model federation. In this federation, security related dependencies between the models representing a system are reified and equipped with security rules that can be (re)evaluated upon evolution scenarios in order to determine whether a given change impacts security. We provide an initial methodology for building such a federation and demonstrate the feasibility of the approach with a prototype implementation.

show abstract

“…Compositional theory can assist with model conformance [58] and model federation at large [31]. Complementary works using category theory have shown small but useful examples of categorical modeling of systems and how they can facilitate model conformance in [8,13,14,50].…”

Section: Related Workmentioning

confidence: 99%

Categorical Semantics of Cyber-Physical Systems Theory

Bakirtzis,

Fleming,

Vasilakopoulou

2020

Preprint

View full text Add to dashboard Cite

Cyber-physical systems require the construction and management of various models to assure their correct, safe, and secure operation. These various models are necessary because of the coupled physical and computational dynamics present in cyberphysical systems. However, to date the different model views of cyber-physical systems are largely related informally, which raises issues with the degree of formal consistency between those various models of requirements, system behavior, and system architecture. We present a category-theoretic framework to make different types of composition explicit in the modeling and analysis of cyber-physical systems, which could assist in verifying the system as a whole. This compositional framework for cyber-physical systems gives rise to unified system models, where system behavior is hierarchically decomposed and related to a system architecture using the systems-as-algebras paradigm. As part of this paradigm, we show that an algebra of (safety) contracts generalizes over the state of the art, providing more uniform mathematical tools for constraining the behavior over a richer set of composite cyber-physical system models, which has the potential of minimizing or eliminating hazardous behavior.

show abstract

Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation

Cited by 14 publications

References 23 publications

A methodology for developing SoS architectures using SysML model federation

A methodology for developing SoS architectures using SysML model federation

Towards Evolving Secured Multi-Model Systems with Model Federation

Categorical Semantics of Cyber-Physical Systems Theory

Contact Info

Product

Resources

About