Thumbnail
Access Restriction
Subscribed

Author Biewer, A. ♦ Gladigau, J. ♦ Haubelt, C.
Source IEEE Xplore Digital Library
Content type Text
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
File Format PDF
Copyright Year ©2014
Language English
Subject Domain (in DDC) Technology ♦ Engineering & allied operations ♦ Applied physics
Subject Keyword Computational modeling ♦ Tiles ♦ Decision making ♦ Schedules ♦ Routing ♦ Automotive engineering ♦ Runtime
Abstract In this paper, we present a novel model enabling system-level decision making for time-triggered many-core architectures in automotive systems. The proposed application model includes shared data entities that need to be bound to memories during decision making. As a key enabler to our approach, we explicitly separate computation and shared memory communication over a network-on-chip (NoC). To deal with contention on a NoC, we model the necessary basis to implement a time-triggered schedule that guarantees freedom of interference. We compute fundamental design decisions, namely (a) spatial binding, (b) multi-hop routing, and (c) time-triggered scheduling, by a novel coupling of answer set programming (ASP) with satisfiability modulo theories (SMT) solvers. First results of an automotive case study demonstrate the applicability of our method for complex real-world applications.
Description Author affiliation: Corp. Sector Res., Robert Bosch GmbH, Reutlingen, Germany (Biewer, A.; Gladigau, J.) || Appl. Microelectron. & Comput. Eng., Univ. of Rostock, Rostock, Germany (Haubelt, C.)
ISBN 9783981537024
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research ♦ Reading
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2014-03-24
Publisher Place Germany
Rights Holder European Design Automation Association (EDAA)
Size (in Bytes) 297.82 kB
Page Count 4
Starting Page 1
Ending Page 4


Source: IEEE Xplore Digital Library