Change search
ReferencesLink to record
Permanent link

Direct link
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 (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
URN: urn:nbn:se:kth:diva-167385DOI: 10.1007/978-3-319-06317-1_9ScopusID: 2-s2.0-84906854553ISBN: 9783319063164OAI: diva2:815270
1 September 2013 through 1 September 2013, Paris

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

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

Altmetric score

Total: 32 hits
ReferencesLink to record
Permanent link

Direct link