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.
This work was carried out as part of the Octopus project with Océ Technologies B.V. under the responsibility of the Embedded Systems Institute. This project is partially supported by the Netherlands Ministry of Economic Affairs under the Bsik program.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Balarin, F., et al.: Hardware-Software Co-design of Embedded Systems: The POLIS Approach. Kluwer, Dordrecht (1997)
Behrmann, G., et al.: Uppaal 4.0. In: Proc. QEST, pp. 125–126. IEEE, Los Alamitos (2006)
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)
Brekling, A.W., et al.: Models and Formal Verification of Multiprocessor System-on-Chips. J. Log. Algebr. Program. 77(1-2), 1–19 (2008)
Davare, A., et al.: A Next-Generation Design Framework for Platform-based Design. In: Proc. DVCon 2007 (February 2007)
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)
CoFluent Design. CoFluent Studio (2010), http://www.cofluentdesign.com
Esterel, Scade (2010), http://www.esterel-technologies.com/products/scade-suite
Gries, M.: Methods for Evaluating and Covering the Design Space during Early Design Development. Integration, the VLSI Journal 38, 131–183 (2004)
Hamann, A., et al.: A Framework for Modular Analysis and Exploration of Heterogeneous Embedded Systems. Real-Time Systems 33, 101–137 (2006)
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)
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)
Jensen, K., et al.: Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. STTT 9(3-4) (2007)
Jensen, K., Kristensen, L.M.: Coloured Petri Nets. Springer, Heidelberg (2009)
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)
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)
Ledeczi, A., et al.: Modeling Methodology for Integrated Simulation of Embedded Systems. ACM Trans. Model. Comput. Simul. 13(1), 82–103 (2003)
Lee, I., et al.: Resources in Process Algebra. J. Log. Algebr. Progr. 72, 98–122 (2007)
Lukasiewycz, M., et al.: Opt4J: Meta-heuristic Optimization Framework for Java. opt4j.sourceforge.net (2010)
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)
Palermo, G., et al.: Multi-objective Design Space Exploration of Embedded Systems. J. Embedded Computing 1, 305–316 (2005)
Pimentel, A.D.: The Artemis Workbench for System-Level Performance Evaluation of Embedded Systems. Int’l J. Embedded Systems 3(3), 181–196 (2008)
Sander, I., Jantsch, A.: System Modeling and Transformational Design Refinement in ForSyDe. IEEE T. Comput.-Aid. Design 23(1), 17–32 (2004)
MLDesign Technologies. MLDesigner (2010), http://www.mldesigner.com
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)
Trcka, N., et al.: Parameterized Timed Partial Orders with Resources: Formal Definition and Semantics. Tech. Rep. ESR-2010-01, Eindhoven Univ. of Tech. (2010)
Uppaal Web Site, Web Help (2010), http://www.uppaal.com
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Basten, T. et al. (2010). Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification, and Validation. ISoLA 2010. Lecture Notes in Computer Science, vol 6415. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16558-0_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-16558-0_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16557-3
Online ISBN: 978-3-642-16558-0
eBook Packages: Computer ScienceComputer Science (R0)