Complex Engineered Systems Design Verification Based on Assume‐Guarantee Reasoning
Complex Engineered Systems Design Verification Based on Assume‐Guarantee Reasoning
复制标题
基于假设保证推理的复杂工程系统设计验证
作者：
Hoda Mehrpouyan;D. Giannakopoulou;G. Brat;I. Tumer;C. Hoyle
系统验证是工程系统设计过程中最关键的任务之一。当评估一组有限的场景以保证系统的正确功能时，此过程非常耗时且容易出错。因此，非常需要基于严格的分析、验证和测试框架的新颖的设计方法和工具。本文提供了这样一个框架，根据环境假设对系统属性进行验证和建模，在这些假设下保证组件和（子）系统的性能。为了验证所提出的方法，本文提供了一个案例研究来证明所提出的方法如何降低设计复杂性，并提出了评估设计质量的正式论据。
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.