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

WCET Overapproximation for Software in the Context of a Cyber-Physical System

Krafczyk, Niklas and Riener, Heinz and Fey, Görschwin (2016) WCET Overapproximation for Software in the Context of a Cyber-Physical System. In: 2016 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC). IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC), 26.-28. Sept. 2016, Tellinn, Estland. DOI: 10.1109/VLSI-SoC.2016.7753559 ISBN 978-150903561-8

[img] PDF - Registered users only
253kB

Item URL in elib:https://elib.dlr.de/105921/
Document Type:Conference or Workshop Item (Speech)
Title:WCET Overapproximation for Software in the Context of a Cyber-Physical System
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Krafczyk, NiklasDLRUNSPECIFIED
Riener, HeinzUNSPECIFIEDUNSPECIFIED
Fey, GörschwinUNSPECIFIEDUNSPECIFIED
Date:2016
Journal or Publication Title:2016 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
DOI :10.1109/VLSI-SoC.2016.7753559
ISBN:978-150903561-8
Status:Published
Keywords:Electronic Design Automation, Cyber Physical Systems, Worst-Case-Execution-Time, Formal Methods
Event Title:IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)
Event Location:Tellinn, Estland
Event Type:international Conference
Event Dates:26.-28. Sept. 2016
Organizer:IEEE
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Space
HGF - Program Themes:Space Technology
DLR - Research area:Raumfahrt
DLR - Program:R SY - Technik für Raumfahrtsysteme
DLR - Research theme (Project):R - Small Sat Kleinsatelliten (old), R - Systemtechnologien
Location: Bremen
Institutes and Institutions:Institute of Space Systems > Avionics Systems
Deposited By: Mörz, Martina
Deposited On:08 Sep 2016 09:22
Last Modified:26 Apr 2017 12:53

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.