Complex Engineered Systems Design Verification Based on Assume‐Guarantee Reasoning. Issue 6 (5th December 2016)

• Record Type: Journal Article
• Authors: Mehrpouyan, Hoda; Giannakopoulou, Dimitra; Brat, Guillaume; Tumer, Irem Y.; Hoyle, Chris
• Is Part Of: Systems engineering. Volume 19:Issue 6(2016:Nov.)
• Page Start: 461
• Page End: 476
• Publication Date: 2016-12-05
• Subjects: verification and validation -- model‐based systems engineering (MBSE) -- systems of systems (SoS) -- other application sectors; Systems engineering -- Periodicals; 620.0011
• DOI: 10.1002/sys.21368
• Languages: English
• ISSNs: 1098-1241

Abstract

ABSTRACT: System verification is one of the most critical tasks into the process of engineered system design. This process is time‐consuming and prone with errors when a limited set of scenarios is evaluated to guarantee the correct functionality of the system. Therefore, novel design approaches and tools based on a rigorous framework for analysis, verification, and testing are very much needed. This paper provides such a framework where system properties are verified and modeled with respect to the assumptions on the environment where components and (sub)systems' performances are guaranteed under these assumptions. To validate the proposed approach, this paper provides a case study to demonstrate how the proposed methodology reduces design complexity and presents a formal argument to assess the quality of the design.