Garro, Alfredo ; Tundis, Andrea ; Bouskela, Daniel ; Jardin, Audrey ; Thuy, Nguyen ; Otter, Martin ; Buffoni, Lena ; Fritzson, Peter ; Sjölund, Martin ; Schamai, Wladimir ; Olsson, Hans (2016)
On formal cyber physical system properties modeling: a new temporal logic language and a Modelica-based solution.
doi: 10.1109/SysEng.2016.7753137
Konferenzveröffentlichung, Bibliographie
Kurzbeschreibung (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.
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2016 |
| Autor(en): | Garro, Alfredo ; Tundis, Andrea ; Bouskela, Daniel ; Jardin, Audrey ; Thuy, Nguyen ; Otter, Martin ; Buffoni, Lena ; Fritzson, Peter ; Sjölund, Martin ; Schamai, Wladimir ; Olsson, Hans |
| Art des Eintrags: | Bibliographie |
| Titel: | On formal cyber physical system properties modeling: a new temporal logic language and a Modelica-based solution |
| Sprache: | Englisch |
| Publikationsjahr: | Oktober 2016 |
| Buchtitel: | Systems Engineering (ISSE), 2016 IEEE International Symposium on |
| DOI: | 10.1109/SysEng.2016.7753137 |
| Kurzbeschreibung (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. |
| ID-Nummer: | TUD-CS-2016-14717 |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik 20 Fachbereich Informatik > Telekooperation |
| Hinterlegungsdatum: | 16 Mär 2017 13:15 |
| Letzte Änderung: | 04 Okt 2018 10:29 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum