METHOD AND DEVICE FOR AUTOMATICALLY VERIFYING A DESIGN OF A TECHNICAL SYSTEM

摘要

The engineering and verifying process for a design of a technical system shall be improved. Therefore, there is provided a method for automatically bottom-up engineering and verifying including the steps of providing a specific first contract (C1) for a first component (^C1) of the design and a specific second contract (C2) for a second component (^C2) of the design, each specific contract characterizing all possible input and output values of the corresponding component, verifying the first contract (C1) and the second contract (C2), combining the first contract (C1) and the second contract (C2) to a common contract (C12) and verifying that the common contract (C12) is satisifable by a combination of the first contract (C1) and the second contract (C2), wherein verifying is performed by solving a mixed integer optimization problem. A similar method for automatically top-down engineering and verifying is also provided.