Toggle Main Menu Toggle Search

ePrints

Interface Contracts for Architectural Specification and Assessment: a SysML Extension

Lookup NU author(s): Dr Richard Payne, Professor John Fitzgerald

Downloads


Abstract

Projects developing, assessing or maintaining systems of sys- tems (SoSs) are hampered by the difficulty of gaining con- fidence that a particular architecture will indeed achieve global SoS-level requirements. Recording explicit techni- cal contracts at the boundaries of constituent systems could help with with the complex task of determining whether a candidate architecture respects global properties and the po- tential of the verification of SoS-level properties, including non-functional characteristics. Support for such contracts in current architectural description frameworks is limited. We propose and demonstrate an extension to SysML that allows contracts to be recorded at the boundaries of con- stituent systems within SoS models. Such contracts may be expressed at various levels of rigour, from informal notes to formal specifications. The extension is intended to support substitution of constituent systems, as well as description of both functional and non-functional properties.


Publication metadata

Author(s): Payne RJ, Fitzgerald JS

Publication type: Conference Proceedings (inc. Abstract)

Conference Name: Workshop on Dependable Systems of Systems

Year of Conference: 2011


Share