Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Throughput propagation in constraint-based design space exploration for mixed-criticality systems
KTH, School of Information and Communication Technology (ICT), Electronics.
KTH, School of Information and Communication Technology (ICT), Electronics.
KTH, School of Information and Communication Technology (ICT), Electronics.
KTH, School of Information and Communication Technology (ICT), Electronics.
2017 (English)In: ACM International Conference Proceeding Series, Association for Computing Machinery (ACM), 2017, 3023977Conference paper, Published paper (Refereed)
Abstract [en]

When designing complex mixed-critical systems on multiprocessor platforms, a huge number of design alternatives has to be evaluated. Therefore, there is a need for tools which systematically find and analyze the ample alternatives and identify solutions that satisfy the design constraints. The recently proposed design space exploration (DSE) tool DeSyDe uses constraint programming (CP) to find implementations with performance guarantees for multiple applications with potentially mixed-critical design constraints on a shared platform. A key component of the DeSyDe tool is its throughput analysis component, called a throughput propagator in the context of CP. The throughput propagator guides the exploration by evaluating each design decision and is therefore executed excessively throughout the exploration. This paper presents two throughput propagators based on different analysis methods for DeSyDe. Their performance is evaluated in a range of experiments with six different application graphs, heterogeneous platform models and mixed-critical design constraints. The results suggest that the MCR throughput propagator is more efficient.

Place, publisher, year, edition, pages
Association for Computing Machinery (ACM), 2017. 3023977
Keyword [en]
Constraint programming, Correct-by-construction, Design space exploration, Performance analysis
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:kth:diva-208450DOI: 10.1145/3023973.3023977Scopus ID: 2-s2.0-85015160014ISBN: 9781450348409 (print)OAI: oai:DiVA.org:kth-208450DiVA: diva2:1107180
Conference
9th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, RAPIDO 2017, Stockholm, Sweden, 25 January 2017
Note

QC 20170609

Available from: 2017-06-09 Created: 2017-06-09 Last updated: 2017-06-09Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Rosvall, KathrinKhalilzad, NimaUngureanu, GeorgeSander, Ingo
By organisation
Electronics
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 16 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf