Bouskela, Daniel ; Falcone, Alberto ; Garro, Alfredo ; Jardin, Audrey ; Otter, Martin ; Thuy, Nguyen ; Tundis, Andrea (2021)
Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica.
In: Requirements Engineering
doi: 10.1007/s00766-021-00359-z
Artikel, Bibliographie
Kurzbeschreibung (Abstract)
The increasing complexity of cyber-physical systems (CPSs) makes their design, development and operation extremely challenging. Due to the nature of CPS that involves many heterogeneous components, which are often designed and developed by organizations belonging to different engineering domains, it is difficult to manage, trace and verify their properties, requirements and constraints throughout their lifecycle by using classical techniques. In this context, the paper presents an integrated solution to formally define system requirements and automate their verification through simulation. The solution is based on the FOrmal Requirements Modeling Language and the Modelica language. The solution is exemplified through two case studies concerning a Trailing-Edge High-Lift system and a Heating, Ventilation and Air Conditioning system.
| Typ des Eintrags: | Artikel |
|---|---|
| Erschienen: | 2021 |
| Autor(en): | Bouskela, Daniel ; Falcone, Alberto ; Garro, Alfredo ; Jardin, Audrey ; Otter, Martin ; Thuy, Nguyen ; Tundis, Andrea |
| Art des Eintrags: | Bibliographie |
| Titel: | Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica |
| Sprache: | Englisch |
| Publikationsjahr: | 14 August 2021 |
| Verlag: | Springer |
| Titel der Zeitschrift, Zeitung oder Schriftenreihe: | Requirements Engineering |
| DOI: | 10.1007/s00766-021-00359-z |
| URL / URN: | https://link.springer.com/article/10.1007%2Fs00766-021-00359... |
| Kurzbeschreibung (Abstract): | The increasing complexity of cyber-physical systems (CPSs) makes their design, development and operation extremely challenging. Due to the nature of CPS that involves many heterogeneous components, which are often designed and developed by organizations belonging to different engineering domains, it is difficult to manage, trace and verify their properties, requirements and constraints throughout their lifecycle by using classical techniques. In this context, the paper presents an integrated solution to formally define system requirements and automate their verification through simulation. The solution is based on the FOrmal Requirements Modeling Language and the Modelica language. The solution is exemplified through two case studies concerning a Trailing-Edge High-Lift system and a Heating, Ventilation and Air Conditioning system. |
| Zusätzliche Informationen: | Open Access |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik 20 Fachbereich Informatik > Telekooperation |
| Hinterlegungsdatum: | 01 Feb 2022 07:24 |
| Letzte Änderung: | 15 Mär 2022 16:58 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum