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 efficient time-critical and mixed-criticality systems
KTH, School of Information and Communication Technology (ICT), Electronic Systems.
KTH, School of Information and Communication Technology (ICT), Electronic Systems.ORCID iD: 0000-0003-4859-3100
2015 (English)In: Forum on Specification and Design Languages, FDL 2013, 2015, 167-188 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 Pareto optimum solutions is done among this set, but it is delegated to a second simulation-based search. The simulation-based search enables more accurate estimations, and the consideration of a specific (or an average-case) scenario. The chapter shows that this can lead to different Pareto sets which reflect improved design decisions with respect to a pure analytical DSE approach, and which are found faster than through a pure simulation-based DSE approach. This is illustrated through an accompanying example and a proof-of-concept implementation of the proposed DSE flow.

Place, publisher, year, edition, pages
2015. 167-188 p.
Keyword [en]
Constraint-programming, Design Space Exploration (DSE), Embedded system design, Formally-based design, Joint Analytical and Simulation Based DSE, Mixed-Criticality System (MCS), Optimization techniques, Performance estimation, Predictable systems, Real time system design, Time critical systems, Time Division Multiplex (TDM) bus, Criticality (nuclear fission), Embedded software, Embedded systems, Interactive computer systems, Pareto principle, Real time systems, Systems analysis, Design space exploration, Mixed-criticality systems, Time-critical systems, Design
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
URN: urn:nbn:se:kth:diva-167385DOI: 10.1007/978-3-319-06317-1_9Scopus ID: 2-s2.0-84906854553ISBN: 9783319063164 (print)OAI: oai:DiVA.org:kth-167385DiVA: diva2:815270
Conference
1 September 2013 through 1 September 2013, Paris
Note

QC 20150529

Available from: 2015-05-29 Created: 2015-05-22 Last updated: 2015-05-29Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Authority records BETA

Sander, Ingo

Search in DiVA

By author/editor
Herrera, FernandoSander, Ingo
By organisation
Electronic Systems
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

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