Change search
ReferencesLink to record
Permanent link

Direct link
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 (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.
, 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
URN: urn:nbn:se:kth:diva-136406ScopusID: 2-s2.0-84891322082ISBN: 978-295305048-6OAI: diva2:676012
2013 16th Forum on Specification and Design Languages, FDL 2013; Paris; France; 24 September 2013 through 26 September 2013

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)67 downloads
File information
File name POPULARSUMMARY01.pdfFile size 18570 kBChecksum SHA-512
Type popularsummaryMimetype application/pdf


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

Total: 19 hits
ReferencesLink to record
Permanent link

Direct link