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

Mining Latency Guarantees for RT-level Designs

Malburg, Jan and Riener, Heinz and Fey, Görschwin (2017) Mining Latency Guarantees for RT-level Designs. 4th Workshop on Design Automation for Understanding Hardware Designs, 31. März 2017, Lausanne, Schweiz.

[img] PDF - Registered users only


Modern integrated circuits are often multi-core designs connected via communication elements like buses, bridges, and routers. Each of these communication elements requires a certain amount of time, called latency, for transferring data. When a system interacts cyber-physically with the real world via sensors and actuators guaranteeing that the communication meets certain latency requirements and thus ensuring sufficient throughput is crucial. In this paper, we present a pragmatic approach to mine temporal properties that capture the symbolic conditions under which transferring data between two communication end-points within a given restriction for the latency can be guaranteed. In a first case-study, temporal properties of an RTlevel bus bridge design were mined considering different latency requirements.

Item URL in elib:https://elib.dlr.de/114655/
Document Type:Conference or Workshop Item (Speech)
Title:Mining Latency Guarantees for RT-level Designs
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Malburg, JanJan.Malburg (at) dlr.deUNSPECIFIED
Riener, HeinzHeinz.Riener (at) dlr.deUNSPECIFIED
Fey, GörschwinGoerschwin.Fey (at) dlr.deUNSPECIFIED
Date:31 March 2017
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In ISI Web of Science:No
Keywords:Latency-analysis, semi-formal, HDL
Event Title:4th Workshop on Design Automation for Understanding Hardware Designs
Event Location:Lausanne, Schweiz
Event Type:Workshop
Event Dates:31. März 2017
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 - Core Avionics, R - Systemtechnologien
Location: Bremen
Institutes and Institutions:Institute of Space Systems > Avionics Systems
Deposited By: Malburg, Jan
Deposited On:17 Oct 2017 11:56
Last Modified:17 Oct 2017 11:56

Repository Staff Only: item control page

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