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

Krafczyk, Niklas und Riener, Heinz und 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 - Nur DLR-intern zugänglich
253kB

elib-URL des Eintrags:

https://elib.dlr.de/105921/

Dokumentart:

Konferenzbeitrag (Vortrag)

Titel:

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

Autoren:

Autoren	Institution oder E-Mail-Adresse	Autoren-ORCID-iD	ORCID Put Code
Krafczyk, Niklas	DLR	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Riener, Heinz	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Fey, Görschwin	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT

Datum:

2016

Erschienen in:

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

Referierte Publikation:

Open Access:

Nein

Gold Open Access:

Nein

In SCOPUS:

Nein

In ISI Web of Science:

Nein

DOI:

10.1109/VLSI-SoC.2016.7753559

ISBN:

978-150903561-8

Status:

veröffentlicht

Stichwörter:

Electronic Design Automation, Cyber Physical Systems, Worst-Case-Execution-Time, Formal Methods

Veranstaltungstitel:

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

Veranstaltungsort:

Tellinn, Estland

Veranstaltungsart:

internationale Konferenz

Veranstaltungsbeginn:

26 September 2016

Veranstaltungsende:

28 September 2016

Veranstalter :

IEEE

HGF - Forschungsbereich:

Luftfahrt, Raumfahrt und Verkehr

HGF - Programm:

Raumfahrt

HGF - Programmthema:

Technik für Raumfahrtsysteme

DLR - Schwerpunkt:

Raumfahrt

DLR - Forschungsgebiet:

R SY - Technik für Raumfahrtsysteme

DLR - Teilgebiet (Projekt, Vorhaben):

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

Standort:

Bremen

Institute & Einrichtungen:

Institut für Raumfahrtsysteme > Avioniksysteme

Hinterlegt von:

Mörz, Martina

Hinterlegt am:

08 Sep 2016 09:22

Letzte Änderung:

24 Apr 2024 20:11

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags