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.ORCID iD: 0000-0003-2670-3022
KTH, School of Information and Communication Technology (ICT), Electronics.ORCID iD: 0000-0003-1666-1316
KTH, School of Information and Communication Technology (ICT), Electronics.ORCID iD: 0000-0003-4859-3100
2017 (English)In: ACM International Conference Proceeding Series, Association for Computing Machinery (ACM), 2017, article id 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. article id 3023977
Keywords [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, id: 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: 2018-11-14Bibliographically approved

Open Access in DiVA

fulltext(522 kB)14 downloads
File information
File name FULLTEXT01.pdfFile size 522 kBChecksum SHA-512
a297f6dd2f90acc8329717ae87bea1ca51496bea722b43a36eec70a1cba443fc21cf54b11d87f390bd160933d14c4329a7fd05b844f28c5e2da272c760fdbeb9
Type fulltextMimetype application/pdf

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
Total: 14 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 393 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