Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica

• DOI: 10.1007/s00766-021-00359-z
• Publication Date: 2021-08-14T17:02:33Z
• Authors: Daniel Bouskela; Alberto Falcone; Alfredo Garro; Audrey Jardin; Martin Otter; Nguyen Thuy; Andrea Tundis
• Keywords: Modelica; Cyber-physical system; TRACE (psycholinguistics); Lift (data mining); Modeling language; Systems modeling

Abstract The increasing complexity of cyber-physical systems (CPSs) makes their design, development and operation extremely challenging. Due to the nature CPS that involves many heterogeneous components, which are often designed developed by organizations belonging different engineering domains, it is difficult manage, trace verify properties, requirements constraints throughout lifecycle using classical techniques. In this context, paper presents an integrated solution formally define system automate verification through simulation. based on FOrmal Requirements Modeling Language Modelica language. exemplified two case studies concerning a Trailing-Edge High-Lift Heating, Ventilation Air Conditioning system.