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

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

Garro, Alfredo und Tundis, Andrea und Otter, Martin und Schamai, Wladimir und Bouskela, Daniel und Jardin, Audrey und Nguyen, Thuy und Buffoni, Lena und Fritzson, Peter und Sjölund, Martin und Olsson, Hans (2016) On formal cyber physical System properties modeling: a new temporal logic language and a Modelica-based solution. International Symposium on Systems Engineering, 2016-10-03 - 2016-10-05, Edingburgh, Scotland. doi: 10.1109/SysEng.2016.7753137.

[img] PDF - Nur DLR-intern zugänglich
485kB

elib-URL des Eintrags:https://elib.dlr.de/117024/
Dokumentart:Konferenzbeitrag (Vortrag)
Titel:On formal cyber physical System properties modeling: a new temporal logic language and a Modelica-based solution
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Garro, AlfredoDIMESNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Tundis, AndreaDIMESNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Otter, MartinMartin.Otter (at) dlr.dehttps://orcid.org/0000-0001-6348-9569NICHT SPEZIFIZIERT
Schamai, WladimirAirbus Group InnovationsNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Bouskela, DanielEDFNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Jardin, AudreyEDFNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Nguyen, ThuyEDFNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Buffoni, LenaIDANICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Fritzson, PeterIDANICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Sjölund, MartinIDANICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Olsson, HansDassault Systèmes ABNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Datum:2016
Referierte Publikation:Ja
Open Access:Nein
Gold Open Access:Nein
In SCOPUS:Nein
In ISI Web of Science:Nein
DOI:10.1109/SysEng.2016.7753137
Status:veröffentlicht
Stichwörter:Formal Languages, Properties Modeling, Requirements Engineering, Model-Based Systems Engineering, Modeling and Simulation, Modelica, System Verification
Veranstaltungstitel:International Symposium on Systems Engineering
Veranstaltungsort:Edingburgh, Scotland
Veranstaltungsart:internationale Konferenz
Veranstaltungsbeginn:3 Oktober 2016
Veranstaltungsende:5 Oktober 2016
HGF - Forschungsbereich:Luftfahrt, Raumfahrt und Verkehr
HGF - Programm:Verkehr
HGF - Programmthema:Bodengebundener Verkehr (alt)
DLR - Schwerpunkt:Verkehr
DLR - Forschungsgebiet:V BF - Bodengebundene Fahrzeuge
DLR - Teilgebiet (Projekt, Vorhaben):V - Fahrzeugintelligenz (alt)
Standort: Oberpfaffenhofen
Institute & Einrichtungen:Institut für Systemdynamik und Regelungstechnik > Leitungsbereich SR
Hinterlegt von: Klauer, Monika
Hinterlegt am:18 Dez 2017 10:21
Letzte Änderung:24 Apr 2024 20:21

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.