Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Combining analytical and simulation-based design space exploration for efficient time-critical and mixed-criticality systems
KTH, Skolan för informations- och kommunikationsteknik (ICT), Elektroniksystem.
KTH, Skolan för informations- och kommunikationsteknik (ICT), Elektroniksystem.ORCID-id: 0000-0003-4859-3100
2015 (engelsk)Inngår i: Forum on Specification and Design Languages, FDL 2013, 2015, s. 167-188Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
2015. s. 167-188
Emneord [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
HSV kategori
Identifikatorer
URN: urn:nbn:se:kth:diva-167385DOI: 10.1007/978-3-319-06317-1_9Scopus ID: 2-s2.0-84906854553ISBN: 9783319063164 (tryckt)OAI: oai:DiVA.org:kth-167385DiVA, id: diva2:815270
Konferanse
1 September 2013 through 1 September 2013, Paris
Merknad

QC 20150529

Tilgjengelig fra: 2015-05-29 Laget: 2015-05-22 Sist oppdatert: 2015-05-29bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Søk i DiVA

Av forfatter/redaktør
Herrera, FernandoSander, Ingo
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 63 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf