Modelling System of Systems Interface Contract Behaviour

Faldík, Oldřich; Payne, Richard J.; Fitzgerald, JS; Bühnová, Barbora

doi:10.4204/eptcs.245.1

Cited by 7 publications

(5 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Our framework composes controllers from modules by specifying module capabilities (e.g., sensing, compression, aggregation, configuration), configurable parameters, and interfaces using a description language. Such specification may be achieved in many ways [62][63][64]. Given space limitations, we defer description of our specific approach.…”

Section: Module Descriptionmentioning

confidence: 99%

Evolutionary Autonomous Networks

Harvey

Tatar

Imai

et al. 2021

JICTS

View full text Add to dashboard Cite

The communication networks of today can greatly benefit from autonomous operation and adaptation, not only due to the implicit cost savings, but also because autonomy will enable functionalities that are infeasible today. Across industry, academia and standardisation bodies there has been an increased interest in achieving the autonomous goal, but a path on how to attain this goal is still unclear. In this paper we present our vision for the future of autonomous networking. We introduce the concepts and technological means to achieve autonomy and propose an architecture which emerges directly through the application of these concepts, highlighting opportunities and challenges for standardisation. We argue that only a holistic architecture based on hierarchies of hybrid learning, functional composition, and online experimental evaluation is expressive and capable enough to realise true autonomy within communication networks.

show abstract

Section: Module Descriptionmentioning

confidence: 99%

Evolutionary Autonomous Networks

Harvey

Tatar

Imai

et al. 2021

JICTS

View full text Add to dashboard Cite

show abstract

“…[27]. Faldik et al apply it for modeling interface contract behavior [28]. The authors use interface automata to analyze the compatibility between different contracts [29,28].…”

Section: Contract-based Designmentioning

confidence: 99%

“…[32]). Faldik et al propose the use of contract patterns in the context of SoS [28]. Different views on contracts allow their specification depending on their purposes [28].…”

Section: A Contract-based Structure For Interface Validationmentioning

confidence: 99%

See 1 more Smart Citation

Contract-based methods and activities in the validation of interfaces for System of Systems

Waschle

Behrendt

Xing

et al. 2021

2021 16th International Conference of System of Systems Engineering (SoSE)

View full text Add to dashboard Cite

One of the key challenges in System of Systems Engineering is the validation of System of Systems (SoS). In a SoS the interfaces between the systems need to be defined as early as possible in the product development process. Contracts may help to define and specify interfaces in an early phase of the product development and support the validation of interfaces. This contribution applies existing methods, analysis and synthesis activities for the contract-based validation of interfaces between vehicle and infrastructure as an exemplary SoS. Hereby, Model-Based Systems Engineering supports the use of contract-based validation with specific methods and activities. Three different virtual and mixed physical-virtual validation environments -each for the Vehicle-to-Everything use case of an intersection scenario -enable the verification of the applied methods and activities. Two of these are virtual containing MATLAB and MATLAB-Network Simulator 3 Co-Simulation, respectively. The third is a mixed physical-virtual validation environment, including a driving robot. It realizes the exchange of information between a BMW i3 on a roller test bench and the vehicle simulation environment in CarMaker.

show abstract

“…UML behavioral modeling with OCL and SysML extensions [24] are used to describe various behaviors especially to improve loose coupling for interfaces of constituents, where contracts of interaction have been defined. However, these are not capable to model reconfigurations or to reason about dynamic architecture as underlying semantics are essentially semiformal.…”

Section: A Sos-adlsmentioning

confidence: 99%

Modeling Approaches for System-of-Systems Dynamic Architecture: Overview, Taxonomy and Future Prospects

Mohsin

Janjua

Islam

et al. 2019

2019 14th Annual Conference System of Systems Engineering (SoSE)

View full text Add to dashboard Cite

Systems-of-Systems(SoS) result from the collaboration of independent Constituent Systems (CSs) to achieve particular missions. CSs are not totally known at design time, and may also leave or join SoS at runtime, which turns the SoS architecture to be inherently dynamic, forming new architectural configurations and impacting the overall system quality attributes (i.e. performance, security, and reliability). Therefore, it is vital to model and evaluate the impact of these stochastic architectural changes on SoS properties at abstract level at the early stage in order to analyze and select appropriate architectural design. Architectural description languages (ADL) have been proposed and used to deal with SoS dynamic architectures. However, we still envision gaps to be bridged and challenges to be addressed in the forthcoming years. This paper presents a broad discussion on the state-of-the-art notations to model and analyze SoS dynamic architectures. The main contribution this paper is threefold: (i) providing results of a literature review on the support of available architecture modeling approaches for SoS and an analysis of their semantic extension to support specification of SoS dynamic architectures, and (ii) a corresponding taxonomy for modeling SoS obtained as a result of the literature review. Besides, we also discuss future directions and challenges to be overcome in the forthcoming years.

show abstract

Modelling System of Systems Interface Contract Behaviour

Cited by 7 publications

References 19 publications

Evolutionary Autonomous Networks

Evolutionary Autonomous Networks

Contract-based methods and activities in the validation of interfaces for System of Systems

Modeling Approaches for System-of-Systems Dynamic Architecture: Overview, Taxonomy and Future Prospects

Contact Info

Product

Resources

About