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), 2016-09-26 - 2016-09-28, Tellinn, Estland. doi: 10.1109/VLSI-SoC.2016.7753559. ISBN 978-150903561-8.

PDF - Only accessible within DLR
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:

Authors	Institution or Email of Authors	Author's ORCID iD	ORCID Put Code
Krafczyk, Niklas	DLR	UNSPECIFIED	UNSPECIFIED
Riener, Heinz	UNSPECIFIED	UNSPECIFIED	UNSPECIFIED
Fey, Görschwin	UNSPECIFIED	UNSPECIFIED	UNSPECIFIED

Date:

2016

Journal or Publication Title:

2016 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)

Refereed publication:

Yes

Open Access:

Gold Open Access:

In SCOPUS:

In ISI Web of Science:

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 Start Date:

26 September 2016

Event End Date:

28 September 2016

Organizer:

IEEE

HGF - Research field:

Aeronautics, Space and Transport

HGF - Program:

Space

HGF - Program Themes:

Space System Technology

DLR - Research area:

Raumfahrt

DLR - Program:

R SY - Space System Technology

DLR - Research theme (Project):

R - Small Sat Kleinsatelliten (old), R - Systemtechnologien (old)

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:

24 Apr 2024 20:11

Repository Staff Only: item control page