TU Darmstadt / ULB / TUbiblio

On formal cyber physical system properties modeling: a new temporal logic language and a Modelica-based solution

Garro, Alfredo and Tundis, Andrea and Bouskela, Daniel and Jardin, Audrey and Thuy, Nguyen and Otter, Martin and Buffoni, Lena and Fritzson, Peter and Sjölund, Martin and Schamai, Wladimir and Olsson, Hans (2016):
On formal cyber physical system properties modeling: a new temporal logic language and a Modelica-based solution.
In: Systems Engineering (ISSE), 2016 IEEE International Symposium on, p. 1, DOI: 10.1109/SysEng.2016.7753137,
[Conference or Workshop Item]

Abstract

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.

Item Type: Conference or Workshop Item
Erschienen: 2016
Creators: Garro, Alfredo and Tundis, Andrea and Bouskela, Daniel and Jardin, Audrey and Thuy, Nguyen and Otter, Martin and Buffoni, Lena and Fritzson, Peter and Sjölund, Martin and Schamai, Wladimir and Olsson, Hans
Title: On formal cyber physical system properties modeling: a new temporal logic language and a Modelica-based solution
Language: English
Abstract:

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.

Title of Book: Systems Engineering (ISSE), 2016 IEEE International Symposium on
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Telecooperation
Date Deposited: 16 Mar 2017 13:15
DOI: 10.1109/SysEng.2016.7753137
Identification Number: TUD-CS-2016-14717
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item