elib
DLR-Header
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 - Only accessible within DLR
365kB

Abstract

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
Authors:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Malburg, JanUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Riener, HeinzUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Fey, GörschwinUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Date:31 March 2017
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
Status:Published
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 System Technology
DLR - Research area:Raumfahrt
DLR - Program:R SY - Space System Technology
DLR - Research theme (Project):R - Core Avionics (old), R - Systemtechnologien (old)
Location: Bremen
Institutes and Institutions:Institute of Space Systems > Avionics Systems
Deposited By: Malburg, Jan
Deposited On:17 Oct 2017 11:56
Last Modified:20 Jun 2021 15:49

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Website and database design: Copyright © German Aerospace Center (DLR). All rights reserved.