Bouskela, Daniel und Falcone, Alberto und Garro, Alfredo und Jardin, Audrey und Otter, Martin und Thuy, Nguyen und Tundis, Andrea (2021) Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica. Requirements Engineering. Springer Nature. doi: 10.1007/s00766-021-00359-z. ISSN 0947-3602.
PDF
- Verlagsversion (veröffentlichte Fassung)
4MB |
Offizielle URL: https://doi.org/10.1007/s00766-021-00359-z
Kurzfassung
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.
elib-URL des Eintrags: | https://elib.dlr.de/148162/ | ||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Dokumentart: | Zeitschriftenbeitrag | ||||||||||||||||||||||||||||||||
Titel: | Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica | ||||||||||||||||||||||||||||||||
Autoren: |
| ||||||||||||||||||||||||||||||||
Datum: | 14 August 2021 | ||||||||||||||||||||||||||||||||
Erschienen in: | Requirements Engineering | ||||||||||||||||||||||||||||||||
Referierte Publikation: | Ja | ||||||||||||||||||||||||||||||||
Open Access: | Ja | ||||||||||||||||||||||||||||||||
Gold Open Access: | Nein | ||||||||||||||||||||||||||||||||
In SCOPUS: | Ja | ||||||||||||||||||||||||||||||||
In ISI Web of Science: | Ja | ||||||||||||||||||||||||||||||||
DOI: | 10.1007/s00766-021-00359-z | ||||||||||||||||||||||||||||||||
Verlag: | Springer Nature | ||||||||||||||||||||||||||||||||
Name der Reihe: | SpringerLink | ||||||||||||||||||||||||||||||||
ISSN: | 0947-3602 | ||||||||||||||||||||||||||||||||
Status: | veröffentlicht | ||||||||||||||||||||||||||||||||
Stichwörter: | Modeling and simulation, formal properties modeling, requirements engineering, modelica, system verification | ||||||||||||||||||||||||||||||||
HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||||||||||||||||||||||
HGF - Programm: | Luftfahrt | ||||||||||||||||||||||||||||||||
HGF - Programmthema: | Komponenten und Systeme | ||||||||||||||||||||||||||||||||
DLR - Schwerpunkt: | Luftfahrt | ||||||||||||||||||||||||||||||||
DLR - Forschungsgebiet: | L CS - Komponenten und Systeme | ||||||||||||||||||||||||||||||||
DLR - Teilgebiet (Projekt, Vorhaben): | L - Flugzeugsysteme | ||||||||||||||||||||||||||||||||
Standort: | Oberpfaffenhofen | ||||||||||||||||||||||||||||||||
Institute & Einrichtungen: | Institut für Systemdynamik und Regelungstechnik > Flugzeug-Systemdynamik | ||||||||||||||||||||||||||||||||
Hinterlegt von: | Klauer, Monika | ||||||||||||||||||||||||||||||||
Hinterlegt am: | 12 Jan 2022 11:54 | ||||||||||||||||||||||||||||||||
Letzte Änderung: | 04 Dez 2023 12:36 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags