Premium
Towards the Automation of Model‐Based Design Verification
Author(s) -
Schamai Wladimir,
Helle Philipp,
Albarello Nicolas,
Buffoni Lena,
Fritzson Peter
Publication year - 2016
Publication title -
incose international symposium
Language(s) - English
Resource type - Journals
ISSN - 2334-5837
DOI - 10.1002/j.2334-5837.2016.00180.x
Subject(s) - modelica , computer science , systems engineering , automation , software engineering , simulation , engineering , mechanical engineering
Modeling and simulation of complex systems is at the heart of any modern engineering activity. Engineers strive to predict the behavior of the system under development in order to get answers to particular questions long before physical prototypes or the actual system are built and can be tested in real life. One of the critical questions is whether a particular system design fulfills or violates requirements imposed on the system under development. In this paper, we discuss an approach to model‐based design verification by simulating system dynamic behavior including formalized requirements. We illustrate the approach on a case study – the verification of a new design for flight control surfaces activation against requirements. The contributions of this paper are the evaluation of a new requirements formalization approach using the recently developed Modelica Requirements Library, and the discussion of solutions for automating the simulation model composition.