Towards the Automation of Model‐Based Design Verification. Issue 1 (13th September 2016)

• Record Type: Journal Article
• Authors: Schamai, Wladimir; Helle, Philipp; Albarello, Nicolas; Buffoni, Lena; Fritzson, Peter
• Is Part Of: INCOSE International Symposium. Volume 26:Issue 1(2016)
• Page Start: 585
• Page End: 599
• Publication Date: 2016-09-13
• Subjects: Systems engineering -- Congresses; Systems engineering -- Periodicals; 620.0011
• DOI: 10.1002/j.2334-5837.2016.00180.x
• Languages: English
• ISSNs: 2334-5837

Abstract

Abstract: 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.