On formal cyber physical system properties modeling: a new temporal logic language and a Modelica-based solution
2016 (English)In: 2016 IEEE International Symposium on Systems Engineering (ISSE), IEEE , 2016, 112-119 p.Conference paper (Refereed)
Modeling and Simulation methods, tools and techniques aim at supporting the different phases of the lifecycle of modern systems, going from requirements analysis to system design and operation. However, their effective application requires investigating several aspects such as the formal modeling of system requirements and the binding and automated composition between heterogeneous models (e.g. requirements models, architectural models, behavioral models). In this context, the paper presents a new formal requirement modeling language based on temporal logic, called FORM-L, and a software library, based on the Modelica language, that implements the constructs provided by FORM-L so as to enable the visual modeling of system properties as well as their verification through simulation. The effectiveness of the proposal is shown on a real case study concerning an Intermediate Cooling System.
Place, publisher, year, edition, pages
IEEE , 2016. 112-119 p.
Formal Languages; Properties Modeling; Requirements Engineering; Model-Based Systems Engineering; Modeling and Simulation; Modelica; System Verification
IdentifiersURN: urn:nbn:se:liu:diva-134234DOI: 10.1109/SysEng.2016.7753137ISI: 000391238500020ISBN: 9781509007936 (print)ISBN: 9781509007943 (electronic)OAI: oai:DiVA.org:liu-134234DiVA: diva2:1069744
2nd Annual IEEE International Symposium on Systems Engineering (ISSE), October 3-5, Edinburgh, Scotland