Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset

  • Twan Basten
  • Emiel van Benthum
  • Marc Geilen
  • Martijn Hendriks
  • Fred Houben
  • Georgeta Igna
  • Frans Reckers
  • Sebastian de Smet
  • Lou Somers
  • Egbert Teeselink
  • Nikola Trčka
  • Frits Vaandrager
  • Jacques Verriet
  • Marc Voorhoeve
  • Yang Yang
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6415)

Abstract

The complexity of today’s embedded systems and their development trajectories requires a systematic, model-driven design approach, supported by tooling wherever possible. Only then, development trajectories become manageable, with high-quality, cost-effective results.

This paper introduces the Octopus Design-Space Exploration (DSE) toolset that aims to leverage existing modeling, analysis, and DSE tools to support model-driven DSE for embedded systems. The current toolset integrates Uppaal and CPN Tools, and is centered around the DSE Intermediate Representation (DSEIR) that is specifically designed to support DSE. The toolset architecture allows: (i) easy reuse of models between different tools, while providing model consistency, and the combined use of these tools in DSE; (ii) domain-specific abstractions to support different application domains and easy reuse of tools across domains.

Keywords

Design-space exploration Modeling Analysis Embedded Systems CPN Tools Uppaal 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Balarin, F., et al.: Hardware-Software Co-design of Embedded Systems: The POLIS Approach. Kluwer, Dordrecht (1997)CrossRefMATHGoogle Scholar
  2. 2.
    Behrmann, G., et al.: Uppaal 4.0. In: Proc. QEST, pp. 125–126. IEEE, Los Alamitos (2006)Google Scholar
  3. 3.
    Bleuler, S., et al.: PISA – A Platform and Programming Language Independent Interface for Search Algorithms. In: Fonseca, C.M., Fleming, P.J., Zitzler, E., Deb, K., Thiele, L. (eds.) EMO 2003. LNCS, vol. 2632, pp. 494–508. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  4. 4.
    Brekling, A.W., et al.: Models and Formal Verification of Multiprocessor System-on-Chips. J. Log. Algebr. Program. 77(1-2), 1–19 (2008)MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    Davare, A., et al.: A Next-Generation Design Framework for Platform-based Design. In: Proc. DVCon 2007 (February 2007)Google Scholar
  6. 6.
    David, A., et al.: Model-based Framework for Schedulability Analysis Using Uppaal 4.1. In: Model-based Design for Embedded Systems, pp. 121–143. Taylor & Francis, Abington (2009)Google Scholar
  7. 7.
    CoFluent Design. CoFluent Studio (2010), http://www.cofluentdesign.com
  8. 8.
  9. 9.
    Gries, M.: Methods for Evaluating and Covering the Design Space during Early Design Development. Integration, the VLSI Journal 38, 131–183 (2004)Google Scholar
  10. 10.
    Hamann, A., et al.: A Framework for Modular Analysis and Exploration of Heterogeneous Embedded Systems. Real-Time Systems 33, 101–137 (2006)Google Scholar
  11. 11.
    Hennessy, M., Milner, R.: On Observing Nondeterminism and Concurrency. In: de Bakker, J.W., van Leeuwen, J. (eds.) ICALP 1980. LNCS, vol. 85, pp. 299–309. Springer, Heidelberg (1980)CrossRefGoogle Scholar
  12. 12.
    Igna, G., et al.: Formal Modeling and Scheduling of Data Paths of Digital Document Printers. In: Cassez, F., Jard, C. (eds.) FORMATS 2008. LNCS, vol. 5215, pp. 170–187. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  13. 13.
    Jensen, K., et al.: Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. STTT 9(3-4) (2007)Google Scholar
  14. 14.
    Jensen, K., Kristensen, L.M.: Coloured Petri Nets. Springer, Heidelberg (2009)CrossRefMATHGoogle Scholar
  15. 15.
    Keinert, J., et al.: SystemCoDesigner – An Automatic ESL Synthesis Approach by Design Space Exploration and Behavioral Synthesis for Streaming Applications. ACM Trans. Design Automation of Electronic Systems 14, Art. No. 1 (2009)Google Scholar
  16. 16.
    Kienhuis, B., et al.: An Approach for Quantitative Analysis of Application-specific Dataflow Architectures. In: Proc. ASAP 1997, pp. 338–34. IEEE, Los Alamitos (1997)Google Scholar
  17. 17.
    Ledeczi, A., et al.: Modeling Methodology for Integrated Simulation of Embedded Systems. ACM Trans. Model. Comput. Simul. 13(1), 82–103 (2003)CrossRefGoogle Scholar
  18. 18.
    Lee, I., et al.: Resources in Process Algebra. J. Log. Algebr. Progr. 72, 98–122 (2007)Google Scholar
  19. 19.
    Lukasiewycz, M., et al.: Opt4J: Meta-heuristic Optimization Framework for Java. opt4j.sourceforge.net (2010)Google Scholar
  20. 20.
    Mousavi, M.R., et al.: PARS: A Process Algebra with Resources and Schedulers. In: Larsen, K.G., Niebert, P. (eds.) FORMATS 2003. LNCS, vol. 2791, pp. 134–150. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  21. 21.
    Palermo, G., et al.: Multi-objective Design Space Exploration of Embedded Systems. J. Embedded Computing 1, 305–316 (2005)Google Scholar
  22. 22.
    Pimentel, A.D.: The Artemis Workbench for System-Level Performance Evaluation of Embedded Systems. Int’l J. Embedded Systems 3(3), 181–196 (2008)CrossRefGoogle Scholar
  23. 23.
    Sander, I., Jantsch, A.: System Modeling and Transformational Design Refinement in ForSyDe. IEEE T. Comput.-Aid. Design 23(1), 17–32 (2004)CrossRefGoogle Scholar
  24. 24.
    MLDesign Technologies. MLDesigner (2010), http://www.mldesigner.com
  25. 25.
    Theelen, B.D., et al.: Software/Hardware Engineering with the Parallel Object-Oriented Specification Language. In: Proc. Memocode 2007, pp. 139–148. IEEE, Los Alamitos (2007)Google Scholar
  26. 26.
    Trcka, N., et al.: Parameterized Timed Partial Orders with Resources: Formal Definition and Semantics. Tech. Rep. ESR-2010-01, Eindhoven Univ. of Tech. (2010)Google Scholar
  27. 27.
    Uppaal Web Site, Web Help (2010), http://www.uppaal.com
  28. 28.
    Viskic, I., et al.: Design Exploration and Automatic Generation of MPSoC Platform TLMs from Kahn Process Network Applications. In: Proc. LCTES, pp. 77–84. ACM, New York (2010)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Twan Basten
    • 1
    • 2
  • Emiel van Benthum
    • 2
  • Marc Geilen
    • 2
  • Martijn Hendriks
    • 3
  • Fred Houben
    • 3
  • Georgeta Igna
    • 3
  • Frans Reckers
    • 1
  • Sebastian de Smet
    • 4
  • Lou Somers
    • 2
    • 4
  • Egbert Teeselink
    • 2
  • Nikola Trčka
    • 2
  • Frits Vaandrager
    • 3
  • Jacques Verriet
    • 1
  • Marc Voorhoeve
    • 2
  • Yang Yang
    • 2
  1. 1.Embedded Systems InstituteNetherlands
  2. 2.Eindhoven University of TechnologyNetherlands
  3. 3.Radboud University NijmegenNetherlands
  4. 4.Océ TechnologiesNetherlands

Personalised recommendations