Complex Engineered Systems Design Verification Based on Assume‐Guarantee Reasoning

Hoda Mehrpouyan, Dimitra Giannakopoulou, Guillaume Brat, Irem Y. Tumer and Chris Hoyle

Systems Engineering, 2016, vol. 19, issue 6, 461-476

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.

Date: 2016
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://doi.org/10.1002/sys.21368

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:wly:syseng:v:19:y:2016:i:6:p:461-476

Access Statistics for this article

More articles in Systems Engineering from John Wiley & Sons
Bibliographic data for series maintained by Wiley Content Delivery ().