Avižienis

Broy

Cantot

Defence Committee

Fitzgerald

Holt

Maier

Meyer

Nielsen

Wang

Woodcock

Richard Payne

John Fitzgerald

Jeremy Bryans

Elspeth Winthorpe

Crossref

INCOSE International Symposium

Applying Model-based SE Techniques for Dependable Land Systems

A System of Systems (SoS) is a group of independent constituent systems that by their interactions together deliver an emerging capability on which reliance is placed. In the UK Ministry of Defence Land domain, the appetite for uncertainty caused by SoS dependencies is particularly low. Dependability and assurance are therefore vital, both in the integration and interoperability of individual constituent systems, and at the level of the SoS as a whole. This paper presents the findings from a study, asking whether model-based engineering technologies could potentially deliver a pragmatic method for Land Open Systems Architecture (LOSA) SoS verification and assurance. We conclude that existing model-based SoS and Cyber-Physical Systems engineering techniques could potentially deliver a basis for LOSA SoS requirement engineering, design, verification and assurance. However, the techniques studied are at varying levels of maturity and therefore we identify areas of future work that could inform the ongoing research and experimentation programmes for LOSA and others across defence. This is the peer reviewed version of the following article: Payne, R, Fitzgerald, J, Bryans, J &amp; Winthorpe, E 2016, 'Applying Model-based SE Techniques for Dependable Land Systems' pp. 1783–1798. DOI: 10.1002/j.2334-5837.2016.00261.x, which has been published in final form at https://dx.doi.org/10.1002/j.2334-5837.2016.00261.x. This article may be used for non-commercial purposes in accordance with Wiley Terms and Conditions for Self-Archiving

Applying Model-based SE Techniques for Dependable Land Systems

Abstract

Similar works

Full text

Available Versions

Crossref

Coventry University Pure Portal