2.2.2 Maintaining Emergence in Systems of Systems Integration: a Contractual Approach using SysML

A Formal Model-Based Approach to Engineering Systems-of-Systems

article

A metadata-based architectural model for dynamically resilient systems

scholarly article published 2007

A rigorous approach to the design of resilient cyber-physical systems through co-simulation

article published in 2012

An approach for managing semantic heterogeneity in Systems of Systems Engineering

Applying Model-based SE Techniques for Dependable Land Systems

Applying formal specification in industry

Architectural Modelling Patterns for Systems of Systems

article by Claire Ingram et al published October 2015 in Incose International Symposium

Co-model Structuring and Design Patterns

Co-modelling and Co-simulation in Embedded Systems Design

Co-modelling and co-simulation in the engineering of systems of cyber-physical systems

Co-modelling of Faults and Fault Tolerance Mechanisms

Collaborative Development of Dependable Cyber-Physical Systems by Co-Modeling and Co-Simulation

article

Collaborative Model-based Systems Engineering for Cyber-Physical Systems, with a Building Automation Case Study

Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems

article

Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains

Discrete-Event Modelling in VDM

Features of CML: A formal modelling language for Systems of Systems

Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware

Formal methods

From Embedded to Cyber-Physical Systems: Challenges and Future Directions

Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM

article

Industrial Deployment of Formal Methods: Trends and Challenges

Insider Threats

Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project

Integrating an Upgraded Constituent System in a System of Systems: A SysML Case Study

Interface specification for system-of-systems architectures

MetaSelf

Model-based Engineering of Emergence in a Collaborative SoS: Exploiting SysML & Formalism

Modelling Systems

Modelling the impacts of crowds on occupants in the built environment—A static, rule-based approach to human perception and movement

scientific article published in 2022

SysML contracts for systems of systems

Systems of Systems Engineering

Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design