elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

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

Garro, Alfredo and Tundis, Andrea and Otter, Martin and Schamai, Wladimir and Bouskela, Daniel and Jardin, Audrey and Nguyen, Thuy and Buffoni, Lena and Fritzson, Peter and Sjölund, Martin and 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 - Only accessible within DLR
485kB

Item URL in elib:https://elib.dlr.de/117024/
Document Type:Conference or Workshop Item (Speech)
Title:On formal cyber physical System properties modeling: a new temporal logic language and a Modelica-based solution
Authors:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Garro, AlfredoDIMESUNSPECIFIEDUNSPECIFIED
Tundis, AndreaDIMESUNSPECIFIEDUNSPECIFIED
Otter, MartinUNSPECIFIEDhttps://orcid.org/0000-0001-6348-9569UNSPECIFIED
Schamai, WladimirAirbus Group InnovationsUNSPECIFIEDUNSPECIFIED
Bouskela, DanielEDFUNSPECIFIEDUNSPECIFIED
Jardin, AudreyEDFUNSPECIFIEDUNSPECIFIED
Nguyen, ThuyEDFUNSPECIFIEDUNSPECIFIED
Buffoni, LenaIDAUNSPECIFIEDUNSPECIFIED
Fritzson, PeterIDAUNSPECIFIEDUNSPECIFIED
Sjölund, MartinIDAUNSPECIFIEDUNSPECIFIED
Olsson, HansDassault Systèmes ABUNSPECIFIEDUNSPECIFIED
Date:2016
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
DOI:10.1109/SysEng.2016.7753137
Status:Published
Keywords:Formal Languages, Properties Modeling, Requirements Engineering, Model-Based Systems Engineering, Modeling and Simulation, Modelica, System Verification
Event Title:International Symposium on Systems Engineering
Event Location:Edingburgh, Scotland
Event Type:international Conference
Event Start Date:3 October 2016
Event End Date:5 October 2016
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Transport
HGF - Program Themes:Terrestrial Vehicles (old)
DLR - Research area:Transport
DLR - Program:V BF - Bodengebundene Fahrzeuge
DLR - Research theme (Project):V - Fahrzeugintelligenz (old)
Location: Oberpfaffenhofen
Institutes and Institutions:Institute of System Dynamics and Control > Leitungsbereich SR
Deposited By: Klauer, Monika
Deposited On:18 Dec 2017 10:21
Last Modified:24 Apr 2024 20:21

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Website and database design: Copyright © German Aerospace Center (DLR). All rights reserved.