SysML contracts for systems of systems

Bryans, Jeremy; Fitzgerald, JS; Payne, Richard J.; Miyazawa, Alvaro; Kristensen, Klaus E.

doi:10.1109/sysose.2014.6892466

Cited by 26 publications

(31 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For example, a mission goal description based approach to the identification of required capabilities for the constituent system, operations, connections, emergent behavior, among other elements of system-ofsystems has been proposed in [23]. A contractual description of constituent systems interfaces, to address the imprecision and uncertainty inherent in the description of constituent systems is given in [24]. For quality assurance and certification, such contractual support needs to be defined and managed seamlessly along with the lifecycles of system development, componentization and maintenance.…”

Section: Related Technologiesmentioning

confidence: 99%

Model-Based Safety and Assessment

Kabir

Papadopoulos

Walker

et al. 2017

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract.Modern automotive vehicles represent one category of CPS (Cyber-Physical Systems) that are inherently time-and safety-critical. To justify the actions for quality-of-service adaptation and safety assurance, it is fundamental to perceive the uncertainties of system components in operation, which are caused by emergent properties, design or operation anomalies. From an industrial point of view, a further challenge is related to the usages of generic purpose COTS (Commercial-Off-The-Shelf) components, which are separately developed and evolved, often not sufficiently verified and validated for specific automotive contexts. While introducing additional uncertainties in regard to the overall system performance and safety, the adoption of COTS components constitutes a necessary means for effective product evolution and innovation. Accordingly, we propose in this paper a novel approach that aims to enable advanced operation monitoring and self-assessment in regard to operational uncertainties and thereby automated performance and safety awareness. The emphasis is on the integration of several modeling technologies, including the domain-specific modeling framework EAST-ADL, the A-G contract theory and Hidden Markov Model (HMM). In particular, we also present some initial concepts in regard to the usage performance and safety awareness for quality-of-service adaptation and dynamic risk mitigation.

show abstract

Section: Related Technologiesmentioning

confidence: 99%

Model-Based Safety and Assessment

Kabir

Papadopoulos

Walker

et al. 2017

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…The Systems Modeling Language (SysML) as a general purpose modeling language and dialect of UML is a potential approach to model systems-of-systems. Interface and I/O classes as well as use cases, object blocks, and context diagrams can be used to represent the involved systems and their interaction [12], [10]. Interoperability is guaranteed by the exact definition of interfaces and associated data attributes.…”

Section: Bigraphsmentioning

confidence: 99%

“…Interoperability is guaranteed by the exact definition of interfaces and associated data attributes. For instance, Bryans et al [10] propose a SysML-based architectural pattern for specifying the interfaces among systems. SysML, however, does not allow changes in system configuration during run time and therefore shows limitations with respect to supporting the evolutionary development and emergent behavior of systems [12].…”

Section: Bigraphsmentioning

confidence: 99%

See 1 more Smart Citation

Enabling emergent behavior in systems-of-systems through bigraph-based modeling

Wachholder

Stary

2015

2015 10th System of Systems Engineering Conference (SoSE)

View full text Add to dashboard Cite

Today, software systems tend to be split into multiple components that can operate, both, autonomously and in a networked way, in order to pursue a common objective. Such a polymorph approach to system architectures requires novel specification techniques. A system-of-systems conceptualization enables addressing emergent behavior, while letting the involved components and systems operate independently of each other. This property requires system interoperability and can be achieved by bigraph-based modeling. A flexible abstraction mechanism as well as a strong typing of system interaction enable system interoperability in evolutionary environments. Consequently, the composition and decomposition of bigraphbased models support the emergence of novel behavior. We evaluate the potential of this approach based on its capability to represent system-of-systems according to the distinguishing characteristics proposed by Boardman and Sauser as well as by orchestrating two independent systems.

show abstract

“…CML may be used to specify preconditions, postconditions and invariants of contracts [6]. SoS decriptions in SysML, with expression definitions in CML, may be completely converted to CML, permitting access to SoS analysis tools, such as simulation, model checking and theorem proving [4].…”

Section: Introductionmentioning

confidence: 99%

Modelling System of Systems Interface Contract Behaviour

Faldík

Payne

Fitzgerald

et al. 2017

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

A key challenge in System of Systems (SoS) engineering is the analysis and maintenance of global properties under SoS evolution, and the integration of new constituent elements. There is a need to model the constituent systems composing a SoS in order to allow the analysis of emergent behaviours at the SoS boundary. The Contract pattern allows the engineer to specify constrained behaviours to which constituent systems are required to conform in order to be a part of the SoS. However, the Contract pattern faces some limitations in terms of its accessibility and suitability for verifying contract compatibility. To address these deficiencies, we propose the enrichment of the Contract pattern, which hitherto has been defined using SysML and the COMPASS Modelling Language (CML), by utilising SysML and Object Constraint Language (OCL). In addition, we examine the potential of interface automata, a notation for improving loose coupling between interfaces of constituent systems defined according to the contract, as a means of enabling the verification of contract compatibility. The approach is demonstrated using a case study in audio/video content streaming.Comment: In Proceedings FESCA 2017, arXiv:1703.0659

show abstract

SysML contracts for systems of systems

Cited by 26 publications

References 5 publications

Model-Based Safety and Assessment

Model-Based Safety and Assessment

Enabling emergent behavior in systems-of-systems through bigraph-based modeling

Modelling System of Systems Interface Contract Behaviour

Contact Info

Product

Resources

About