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
Combining Analytical and Simulation-based Design Space Exploration for Time-Critical Systems
KTH, School of Information and Communication Technology (ICT), Electronic Systems. (Electronic Systems)ORCID iD: 0000-0003-1488-7637
KTH, School of Information and Communication Technology (ICT), Electronic Systems. (Electronic Systems)ORCID iD: 0000-0003-4859-3100
2013 (English)In: Forum on Specification & Design Languages (FDL), 2013, IEEE conference proceedings, 2013, 6646657- p.Conference paper, Published paper (Refereed)
Abstract [en]

In the context of the design on time-critical systems, analytical models with worst case workloads are used to identify safe solutions that guarantee hard timing constraints. However, the focus on the worst case often leads to unnecessarily pessimistic and inefficient solutions, in particular for mixed-critical systems. To overcome the situation, the paper proposes a novel design flow integrating analytical and simulation-based design space exploration (DSE). This combined approach is capable to find more efficient design solutions, without sacrificing timing guarantees. For it, a first analytical DSE phase obtains a set of solutions compliant with the critical time constraints. Search of the optimum solution is done among this set, but it is delegated to a second simulation-based search, for fine tuning and average-case optimisation. The potential of our approach is illustrated by a proof-of-concept implementation of the proposed DSE flow and an accompanying DSE example.

Place, publisher, year, edition, pages
IEEE conference proceedings, 2013. 6646657- p.
Series
Forum on Specification and Design Languages, ISSN 1636-9874
Keyword [en]
Design, design space exploration, mixed-criticality systems, time-critical systems
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:kth:diva-136406Scopus ID: 2-s2.0-84891322082ISBN: 978-295305048-6 (print)OAI: oai:DiVA.org:kth-136406DiVA: diva2:676012
Conference
2013 16th Forum on Specification and Design Languages, FDL 2013; Paris; France; 24 September 2013 through 26 September 2013
Note

QC 20131219

Available from: 2013-12-05 Created: 2013-12-05 Last updated: 2014-02-05Bibliographically approved

Open Access in DiVA

paper presentation(18570 kB)76 downloads
File information
File name POPULARSUMMARY01.pdfFile size 18570 kBChecksum SHA-512
5b0aa6d438f3c9d3e5ed3ba964b4e5a04e7c2542ea779e2218448065bdb64fe17a09fe24169a7556c156eaa6ed3a6bb29435ab10ec68851af46d8c6f28711ab2
Type popularsummaryMimetype application/pdf

Scopus

Authority records BETA

Herrera, FernandoSander, Ingo

Search in DiVA

By author/editor
Herrera, FernandoSander, Ingo
By organisation
Electronic Systems
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
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

isbn
urn-nbn

Altmetric score

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