Name
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. |
Year | DOI | Venue |
|---|---|---|
2014 | 10.7873/DATE.2014.230 | Design, Automation and Test in Europe Conference and Exhibition |
Keywords | Field | DocType |
automotive electronics,computability,decision making,integrated circuit design,interference,logic programming,network-on-chip,ASP solving,NoC,SMT solving,answer set programming,automotive system,interference,multihop routing,network-on-chip,satisfiability modulo theory,shared data entity,shared memory communication,spatial binding,system-level decision making,time-triggered many-core architecture,time-triggered scheduling | Automotive electronics,Shared memory,Computer science,Scheduling (computing),Parallel computing,Network on a chip,Theoretical computer science,Real-time computing,Computability,Logic programming,Answer set programming,Satisfiability modulo theories | Conference |
ISSN | Citations | PageRank |
1530-1591 | 2 | 0.38 |
References | Authors | |
8 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Alexander Biewer | 1 | 2 | 0.38 |
| Jens Gladigau | 2 | 2 | 0.38 |
| Christian Haubelt | 3 | 15 | 2.11 |