Proceedings of the 2015 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools 2015
DOI: 10.1145/2693433.2693439
|View full text |Cite
|
Sign up to set email alerts
|

An ILP approach for mapping AUTOSAR runnables on multi-core architectures

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
5
0

Year Published

2016
2016
2023
2023

Publication Types

Select...
4
2
1

Relationship

0
7

Authors

Journals

citations
Cited by 14 publications
(5 citation statements)
references
References 3 publications
0
5
0
Order By: Relevance
“…Monot et al [24] proposed an algorithm for sequencing and scheduling runnables for multicore ECUs. Saidi et al [25] studied the runnable-to-core mapping problem using the integer linear programming (ILP) technique. Kehr et al [26] developed a method for migrating a legacy AUTOSAR application to a multicore processor while minimizing energy consumption.…”
Section: Related Workmentioning
confidence: 99%
“…Monot et al [24] proposed an algorithm for sequencing and scheduling runnables for multicore ECUs. Saidi et al [25] studied the runnable-to-core mapping problem using the integer linear programming (ILP) technique. Kehr et al [26] developed a method for migrating a legacy AUTOSAR application to a multicore processor while minimizing energy consumption.…”
Section: Related Workmentioning
confidence: 99%
“…The following pseudo-code illustrates how the ILP logical assertions are synthesized from the input models. The pseudo-code contains three main parts: i) the first part in Line (2) identifies the different deployment cases of the cause-effect chains over a set of nodes M , ii) the second part in Line (3)(4)(5), checks the schedulability of a deployable cause-effect chain φ against the reaction or age delays [13] and returns its schedulability matrix M Γ , with values true if schedulable and f alse if not schedulable. For a schedulable φ, Line (5) constructs a conjunctive ILP expression that indicates the existence of at least one schedulable φ that satisfies the end-to-end requirement imposed on γ, and iii) the last part in Line (7) asserts the ILP logical OR expressions for each γ. for all φ ∈ Φ do 4: assert(depExp) 8: end for VI.…”
Section: Timing Constraintsmentioning
confidence: 99%
“…It is a type of bin-packing problem, and therefore finding an optimal solution, in the general case, is NP-hard [4]. The methods to solve such problems can be exact [5], which means solutions are guaranteed to be optimal, or heuristic, which deliver near-optimal solutions [6] [7]. Exact methods such as Integer Linear Programming (ILP) [8] have been used widely in several resource optimization problems.…”
Section: Introductionmentioning
confidence: 99%
“…This is apparent in [27], [28], where ILP formulations are proposed for mapping and scheduling runnables on multi-core and distributed automotive architectures, respectively. The approaches are demonstrated for a small automotive applications, although results clearly show that a basic ILP formulation does not scale to complex applications with hundreds or thousands of runnables that are individually mapped and scheduled.…”
Section: Related Workmentioning
confidence: 99%