Abstract
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.
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 was partially supported by the Netherlands Ministry of Economic Affairs under the Bsik program. This extended abstract is based on earlier papers describing the Octopus tool set [2] and our philosophy behind model-driven design-space exploration [7]; the full version of this extended abstract will appear as [3]. Nikola Trčka was employed by Eindhoven University of Technology when this work was performed.
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 (1997)
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)
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)
Hendriks, M., et al.: Pareto Analysis with Uncertainty. In: Proc. EUC 2011, pp. 189–196. IEEE CS Press (2011)
Kienhuis, B., et al.: An Approach for Quantitative Analysis of Application-specific Dataflow Architectures. In: Proc. ASAP 1997, pp. 338–349. IEEE (1997)
Teeselink, E., et al.: A Visual Language for Modeling and Analyzing Printer Data Path Architectures. In: Proc. ITSLE 2011, 20 p. (2011), http://planet-sl.org/itsle2011/
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Basten, T., Hendriks, M., Somers, L., Trčka, N. (2012). Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems. In: Jurdziński, M., Ničković, D. (eds) Formal Modeling and Analysis of Timed Systems. FORMATS 2012. Lecture Notes in Computer Science, vol 7595. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33365-1_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-33365-1_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33364-4
Online ISBN: 978-3-642-33365-1
eBook Packages: Computer ScienceComputer Science (R0)