Combining analytical and simulation-based design space exploration for efficient time-critical and mixed-criticality systems
2015 (English)In: Forum on Specification and Design Languages, FDL 2013, 2015, 167-188 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 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.
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
Electrical Engineering, Electronic Engineering, Information Engineering
IdentifiersURN: urn:nbn:se:kth:diva-167385DOI: 10.1007/978-3-319-06317-1_9ScopusID: 2-s2.0-84906854553ISBN: 9783319063164OAI: oai:DiVA.org:kth-167385DiVA: diva2:815270
1 September 2013 through 1 September 2013, Paris
QC 201505292015-05-292015-05-222015-05-29Bibliographically approved