{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T13:58:42Z","timestamp":1773323922589,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642165573","type":"print"},{"value":"9783642165580","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16558-0_10","type":"book-chapter","created":{"date-parts":[[2010,11,2]],"date-time":"2010-11-02T13:36:49Z","timestamp":1288705009000},"page":"90-105","source":"Crossref","is-referenced-by-count":23,"title":["Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset"],"prefix":"10.1007","author":[{"given":"Twan","family":"Basten","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emiel","family":"van Benthum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Geilen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martijn","family":"Hendriks","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fred","family":"Houben","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georgeta","family":"Igna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frans","family":"Reckers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"de Smet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lou","family":"Somers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Egbert","family":"Teeselink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikola","family":"Tr\u010dka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frits","family":"Vaandrager","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacques","family":"Verriet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Voorhoeve","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-6127-9","volume-title":"Hardware-Software Co-design of Embedded Systems: The POLIS Approach","author":"F. Balarin","year":"1997","unstructured":"Balarin, F., et al.: Hardware-Software Co-design of Embedded Systems: The POLIS Approach. Kluwer, Dordrecht (1997)"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Behrmann, G., et al.: Uppaal 4.0. In: Proc. QEST, pp. 125\u2013126. IEEE, Los Alamitos (2006)","DOI":"10.1109\/QEST.2006.59"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1007\/3-540-36970-8_35","volume-title":"Evolutionary Multi-Criterion Optimization","author":"S. Bleuler","year":"2003","unstructured":"Bleuler, S., et al.: PISA \u2013 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.\u00a02632, pp. 494\u2013508. Springer, Heidelberg (2003)"},{"issue":"1-2","key":"10_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jlap.2008.05.002","volume":"77","author":"A.W. Brekling","year":"2008","unstructured":"Brekling, A.W., et al.: Models and Formal Verification of Multiprocessor System-on-Chips. J. Log. Algebr. Program.\u00a077(1-2), 1\u201319 (2008)","journal-title":"J. Log. Algebr. Program."},{"key":"10_CR5","unstructured":"Davare, A., et al.: A Next-Generation Design Framework for Platform-based Design. In: Proc. DVCon 2007 (February 2007)"},{"key":"10_CR6","first-page":"121","volume-title":"Model-based Design for Embedded Systems","author":"A. David","year":"2009","unstructured":"David, A., et al.: Model-based Framework for Schedulability Analysis Using Uppaal 4.1. In: Model-based Design for Embedded Systems, pp. 121\u2013143. Taylor & Francis, Abington (2009)"},{"key":"10_CR7","unstructured":"CoFluent Design. CoFluent Studio (2010), http:\/\/www.cofluentdesign.com"},{"key":"10_CR8","unstructured":"Esterel, Scade (2010), http:\/\/www.esterel-technologies.com\/products\/scade-suite"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Gries, M.: Methods for Evaluating and Covering the Design Space during Early Design Development. Integration, the VLSI Journal\u00a038, 131\u2013183 (2004)","DOI":"10.1016\/S0167-9260(04)00032-X"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Hamann, A., et al.: A Framework for Modular Analysis and Exploration of Heterogeneous Embedded Systems. Real-Time Systems\u00a033, 101\u2013137 (2006)","DOI":"10.1007\/s11241-006-6884-x"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/3-540-10003-2_79","volume-title":"Automata, Languages and Programming","author":"M. Hennessy","year":"1980","unstructured":"Hennessy, M., Milner, R.: On Observing Nondeterminism and Concurrency. In: de Bakker, J.W., van Leeuwen, J. (eds.) ICALP 1980. LNCS, vol.\u00a085, pp. 299\u2013309. Springer, Heidelberg (1980)"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-540-85778-5_13","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"G. Igna","year":"2008","unstructured":"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.\u00a05215, pp. 170\u2013187. Springer, Heidelberg (2008)"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Jensen, K., et al.: Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. STTT 9(3-4) (2007)","DOI":"10.1007\/s10009-007-0038-x"},{"key":"10_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/b95112","volume-title":"Coloured Petri Nets","author":"K. Jensen","year":"2009","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets. Springer, Heidelberg (2009)"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Keinert, J., et al.: SystemCoDesigner \u2013 An Automatic ESL Synthesis Approach by Design Space Exploration and Behavioral Synthesis for Streaming Applications. ACM Trans. Design Automation of Electronic Systems\u00a014, Art. No. 1 (2009)","DOI":"10.1145\/1455229.1455230"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Kienhuis, B., et al.: An Approach for Quantitative Analysis of Application-specific Dataflow Architectures. In: Proc. ASAP 1997, pp. 338\u201334. IEEE, Los Alamitos (1997)","DOI":"10.1109\/ASAP.1997.606839"},{"issue":"1","key":"10_CR17","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1145\/778553.778557","volume":"13","author":"A. Ledeczi","year":"2003","unstructured":"Ledeczi, A., et al.: Modeling Methodology for Integrated Simulation of Embedded Systems. ACM Trans. Model. Comput. Simul.\u00a013(1), 82\u2013103 (2003)","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Lee, I., et al.: Resources in Process Algebra. J. Log. Algebr. Progr.\u00a072, 98\u2013122 (2007)","DOI":"10.1016\/j.jlap.2007.02.005"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Lukasiewycz, M., et al.: Opt4J: Meta-heuristic Optimization Framework for Java. opt4j.sourceforge.net (2010)","DOI":"10.1145\/2001576.2001808"},{"key":"10_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-40903-8_11","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"M.R. Mousavi","year":"2004","unstructured":"Mousavi, M.R., et al.: PARS: A Process Algebra with Resources and Schedulers. In: Larsen, K.G., Niebert, P. (eds.) FORMATS 2003. LNCS, vol.\u00a02791, pp. 134\u2013150. Springer, Heidelberg (2004)"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Palermo, G., et al.: Multi-objective Design Space Exploration of Embedded Systems. J. Embedded Computing\u00a01, 305\u2013316 (2005)","DOI":"10.3233\/EMC-2005-00034"},{"issue":"3","key":"10_CR22","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1504\/IJES.2008.020299","volume":"3","author":"A.D. Pimentel","year":"2008","unstructured":"Pimentel, A.D.: The Artemis Workbench for System-Level Performance Evaluation of Embedded Systems. Int\u2019l J. Embedded Systems\u00a03(3), 181\u2013196 (2008)","journal-title":"Int\u2019l J. Embedded Systems"},{"issue":"1","key":"10_CR23","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1109\/TCAD.2003.819898","volume":"23","author":"I. Sander","year":"2004","unstructured":"Sander, I., Jantsch, A.: System Modeling and Transformational Design Refinement in ForSyDe. IEEE T. Comput.-Aid. Design\u00a023(1), 17\u201332 (2004)","journal-title":"IEEE T. Comput.-Aid. Design"},{"key":"10_CR24","unstructured":"MLDesign Technologies. MLDesigner (2010), http:\/\/www.mldesigner.com"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"Theelen, B.D., et al.: Software\/Hardware Engineering with the Parallel Object-Oriented Specification Language. In: Proc. Memocode 2007, pp. 139\u2013148. IEEE, Los Alamitos (2007)","DOI":"10.1109\/MEMCOD.2007.371231"},{"key":"10_CR26","unstructured":"Trcka, N., et al.: Parameterized Timed Partial Orders with Resources: Formal Definition and Semantics. Tech. Rep. ESR-2010-01, Eindhoven Univ. of Tech. (2010)"},{"key":"10_CR27","unstructured":"Uppaal Web Site, Web Help (2010), http:\/\/www.uppaal.com"},{"key":"10_CR28","first-page":"77","volume-title":"Proc. LCTES","author":"I. Viskic","year":"2010","unstructured":"Viskic, I., et al.: Design Exploration and Automatic Generation of MPSoC Platform TLMs from Kahn Process Network Applications. In: Proc. LCTES, pp. 77\u201384. ACM, New York (2010)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification, and Validation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16558-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T13:40:35Z","timestamp":1740663635000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16558-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642165573","9783642165580"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16558-0_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}