Combining Analytical and Simulation-based Design Space Exploration for Time-Critical Systems
2013 (English)In: Forum on Specification & Design Languages (FDL), 2013, IEEE conference proceedings, 2013, 6646657- p.Conference paper (Refereed)
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
Design, design space exploration, mixed-criticality systems, time-critical systems
Engineering and Technology
IdentifiersURN: urn:nbn:se:kth:diva-136406ScopusID: 2-s2.0-84891322082ISBN: 978-295305048-6OAI: oai:DiVA.org:kth-136406DiVA: diva2:676012
2013 16th Forum on Specification and Design Languages, FDL 2013; Paris; France; 24 September 2013 through 26 September 2013
QC 201312192013-12-052013-12-052014-02-05Bibliographically approved