Premium
Complex Engineered Systems Design Verification Based on Assume‐Guarantee Reasoning
Author(s) -
Mehrpouyan Hoda,
Giannakopoulou Dimitra,
Brat Guillaume,
Tumer Irem Y.,
Hoyle Chris
Publication year - 2016
Publication title -
systems engineering
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.474
H-Index - 50
eISSN - 1520-6858
pISSN - 1098-1241
DOI - 10.1002/sys.21368
Subject(s) - computer science , process (computing) , set (abstract data type) , formal verification , formal methods , runtime verification , model checking , systems design , engineering design process , reliability engineering , software engineering , theoretical computer science , programming language , engineering , mechanical engineering
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.