elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Datenschutz | Kontakt | English
Schriftgröße: [-] Text [+]

Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica

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.

[img] 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:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Bouskela, DanielEDFNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Falcone, AlbertoDIMESNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Garro, AlfredoDIMESNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Jardin, AudreyEDFNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Otter, MartinMartin.Otter (at) dlr.dehttps://orcid.org/0000-0001-6348-9569NICHT SPEZIFIZIERT
Thuy, NguyenEDFNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Tundis, AndreaDIMESNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
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

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Gestaltung Webseite und Datenbank: Copyright © Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.