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, 3.-5. Oct. 2016, Edingburgh, Scotland.

[img] PDF - Registered users only
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 AuthorsAuthors ORCID iD
Garro, AlfredoDIMESUNSPECIFIED
Tundis, AndreaDIMESUNSPECIFIED
Otter, MartinMartin.Otter (at) dlr.deUNSPECIFIED
Schamai, WladimirAirbus Group InnovationsUNSPECIFIED
Bouskela, DanielEDFUNSPECIFIED
Jardin, AudreyEDFUNSPECIFIED
Nguyen, ThuyEDFUNSPECIFIED
Buffoni, LenaIDAUNSPECIFIED
Fritzson, PeterIDAUNSPECIFIED
Sjölund, MartinIDAUNSPECIFIED
Olsson, HansDassault Systèmes ABUNSPECIFIED
Date:2016
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
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 Dates:3.-5. Oct. 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:16 Jul 2019 16:38

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.