Foundations for Model-Based Engineering of Systems of Systems

@inproceedings{Fitzgerald2013FoundationsFM,
  title={Foundations for Model-Based Engineering of Systems of Systems},
  author={John S. Fitzgerald and Peter Gorm Larsen and Jim Woodcock},
  booktitle={CSDM},
  year={2013}
}
The engineering of Systems of Systems presents daunting challenges. In this paper it is argued that rigorous semantic foundations for model-based techniques are potentially beneficial in addressing these. Three priorities for current research are identified: contractual interface definition, the verification of emergent behaviour, and the need to deal with semantic heterogeneity of constituent systems and their models. We describe the foundations of an approach in which architectural models in… 
An approach for managing semantic heterogeneity in Systems of Systems Engineering
TLDR
This paper envision a strategy for managing heterogeneity by decomposing domain specific languages into their “building block” theories which can be independently analysed, and used as a basis for linking with similar notations.
Towards Verification of Constituent Systems through Automated Proof
TLDR
This paper explores verification of constituent systems within the context of the Symphony tool platform for Systems of Systems (SoS) by developing a proof obligation generator and theorem prover plugin for Symphony.
Model‐based Engineering of Emergence in a Collaborative SoS: Exploiting SysML & Formalism
TLDR
This paper illustrates for the first time an integrated collection of model‐based techniques for verifying behaviours and properties, with the aim of assisting the engineering of collaborative systems of systems (SoSs).
Unifying Theories of Reactive Design Contracts
Contracts in CML
TLDR
The COMPASS Modelling Language is described, which is used to model large-scale Systems of Systems and the contracts that bind them together and the semantics of CML directly supports the use of these contracts for all language constructs.
2.2.2 Maintaining Emergence in Systems of Systems Integration: a Contractual Approach using SysML
TLDR
A pilot study in the use of model-based techniques in system of systems (SoS) engineering is described and the application of architectural modeling guidelines to the description of a content-streaming SoS using SysML and the formal COMPASS Modeling Language (CML).
Cyber-Physical Systems Design : Formal Foundations , Methods and Integrated Tool Chains ( Invited Paper )
TLDR
The role of formal methods in addressing three key aspects of this goal: providing reasoning support for semantically heterogeneous models, managing the complexity and scale of design space exploration, and supporting traceability and provenance in the CPS design set are discussed.
Refining Missions to Architectures in Software-Intensive Systems-of-Systems
  • Eduardo Silva, Everton Cavalcante, T. Batista
  • Computer Science
    2017 IEEE/ACM Joint 5th International Workshop on Software Engineering for Systems-of-Systems and 11th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems (JSOS)
  • 2017
TLDR
This work introduces M2Arch, a model-based process to refine mission models into architecture descriptions in SosADL, a formal language to describe SoS software architectures from mission models in mKAOS, a language to model missions.
Refining missions to architectures in software-intensive systems-of-systems
TLDR
This work introduces M2Arch, a model-based process to refine mission models into architecture descriptions in SosADL, a formal language to describe SoS software architectures from mission models in mKAOS, a language to model missions.
...
1
2
3
4
...

References

SHOWING 1-10 OF 33 REFERENCES
Fault modelling for systems of systems
TLDR
Results suggest that this is a promising approach, and that a comprehensive solution to the engineering of dependable SoSs requires that such a profile is linked to methods and tools for requirements elicitation, safety analysis, architectural design and formal verification.
Formal Models of SysML Blocks
TLDR
A formalisation of SysML blocks based on a state-rich process algebra that supports refinement, namely, CML is proposed, which can be mechanised to support automatic generation of the CML models.
Model-based development of fault tolerant systems of systems
TLDR
A new method is put forward for model-based development of fault tolerant systems of systems that combines semi-formal modelling in SysML with formal modelling and verification conducted in CSP.
SysML for Systems Engineering
This book provides a pragmatic introduction to the systems engineering modelling language, the SysML, aimed at systems engineering practitioners at any level of ability, ranging from students to
Features of CML: A formal modelling language for Systems of Systems
TLDR
CML, the first formal language specifically designed for modelling and analysing Systems of Systems (SoSs), is discussed, through the use of an example: an SoS of independent telephone exchanges, whose overall behaviour is specified as a communicating process: a centralised telephone exchange.
A Discrete Event XML based Simulation Framework for System of Systems Architectures
TLDR
A simulation framework to simulate the structure of the systems in an event driven fashion and wraps the data with a common language of extensible markup language (XML) is presented.
Automated Test Case Generation with SMT-Solving and Abstract Interpretation
TLDR
An approach for automated modelbased test case and test data generation based on constraint types well known from bounded model checking and can be considerably accelerated by using abstract interpretation techniques for preliminary explorations of the model state space.
A taxonomy-based perspective for systems of systems design methods
  • D. DeLaurentis
  • Computer Science
    2005 IEEE International Conference on Systems, Man and Cybernetics
  • 2005
TLDR
A three-axis taxonomy that can guide design method development and use for systems of systems is presented and two experimental methods applications are presented for SoS problems.
Directions in Systems of Systems Engineering
Disclaimer: The views expressed here are those of the workshop participants and do not necessarily represent the official view of the European Commission on the subject. Executive Summary As the
MULTI-FORMALISM MODELLING AND MODEL EXECUTION
TLDR
This work proposes an approach to multi-formalism modelling, called ModHel’X, which is based on the concept of Model of Computation and focuses on the simulation of models, and addresses two important issues in this particular field: providing support for the specification of the execution semantics of a modelling formalism, and allowing the specifications of the interactions between parts of a model described using different modelling formalisms.
...
1
2
3
4
...