Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems

(Extended Abstract)
  • Twan Basten
  • Martijn Hendriks
  • Lou Somers
  • Nikola Trčka
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7595)


Software plays an increasingly important role in modern embedded systems, leading to a rapid increase in design complexity. Model-driven exploration of design alternatives leads to shorter, more predictable development times and better controlled product quality.


Model Check Design Alternative Abstraction Level Page Cache Control Product Quality 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Balarin, F., et al.: Hardware-Software Co-design of Embedded Systems: The POLIS Approach. Kluwer (1997)Google Scholar
  2. 2.
    Basten, T., van Benthum, E., Geilen, M., Hendriks, M., Houben, F., Igna, G., Reckers, F., de Smet, S., Somers, L., Teeselink, E., Trčka, N., Vaandrager, F., Verriet, J., Voorhoeve, M., Yang, Y.: Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part I. LNCS, vol. 6415, pp. 90–105. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  3. 3.
    Basten, T., et al.: Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems. In: Basten, T., et al. (eds.) Model-based Design of Adaptive Embedded Systems. Springer (to appear, 2013)Google Scholar
  4. 4.
    Hendriks, M., et al.: Pareto Analysis with Uncertainty. In: Proc. EUC 2011, pp. 189–196. IEEE CS Press (2011)Google Scholar
  5. 5.
    Kienhuis, B., et al.: An Approach for Quantitative Analysis of Application-specific Dataflow Architectures. In: Proc. ASAP 1997, pp. 338–349. IEEE (1997)Google Scholar
  6. 6.
    Teeselink, E., et al.: A Visual Language for Modeling and Analyzing Printer Data Path Architectures. In: Proc. ITSLE 2011, 20 p. (2011),
  7. 7.
    Trcka, N., et al.: Integrated Model-Driven Design-Space Exploration for Embedded Systems. In: Proc. IC-SAMOS 2011, pp. 339–346. IEEE CS Press (2011)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Twan Basten
    • 1
    • 2
  • Martijn Hendriks
    • 1
  • Lou Somers
    • 2
    • 3
  • Nikola Trčka
    • 4
  1. 1.Embedded Systems InstituteEindhovenThe Netherlands
  2. 2.Eindhoven University of TechnologyEindhovenThe Netherlands
  3. 3.Océ Technologies B.V.VenloThe Netherlands
  4. 4.United Technologies Research CenterEast HartfordUSA

Personalised recommendations