{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,25]],"date-time":"2023-05-25T21:55:27Z","timestamp":1685051727780},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2014,8,29]],"date-time":"2014-08-29T00:00:00Z","timestamp":1409270400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2016,2]]},"DOI":"10.1007\/s10009-014-0340-3","type":"journal-article","created":{"date-parts":[[2014,8,28]],"date-time":"2014-08-28T19:25:43Z","timestamp":1409253943000},"page":"21-40","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["A blueprint for system-level performance modeling of software-intensive embedded systems"],"prefix":"10.1007","volume":"18","author":[{"given":"Martijn","family":"Hendriks","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Twan","family":"Basten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacques","family":"Verriet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Brass\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lou","family":"Somers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,8,29]]},"reference":[{"issue":"2","key":"340_CR1","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"340_CR2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R Alur","year":"1995","unstructured":"Alur, R., et al.: The algorithmic analysis of hybrid systems. Theor. Comput. Sci. 138(1), 3\u201334 (1995)","journal-title":"Theor. Comput. Sci."},{"key":"340_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-6127-9","volume-title":"Hardware\u2013Software Co-design of Embedded Systems: The POLIS Approach","author":"F Balarin","year":"1997","unstructured":"Balarin, F., et al.: Hardware\u2013Software Co-design of Embedded Systems: The POLIS Approach. Kluwer, Dordrecht (1997)"},{"key":"340_CR4","doi-asserted-by":"crossref","unstructured":"Basten, T., et al.: Model-driven design-space exploration for embedded systems: the Octopus toolset. In: ISoLA 2010, volume 6415 of LNCS. Springer (2010)","DOI":"10.1007\/978-3-642-16558-0_10"},{"key":"340_CR5","doi-asserted-by":"crossref","unstructured":"Basten, T., et al.: Model-driven design-space exploration for software-intensive embedded systems. In: Model-Based Design of Adaptive Embedded Systems, volume 22 of Embedded Systems, pp. 189\u2013244. Springer, New York (2013)","DOI":"10.1007\/978-1-4614-4821-1_7"},{"key":"340_CR6","doi-asserted-by":"crossref","unstructured":"Becker, S., Koziolek, H., Reussner, R.: Model-based performance prediction with the palladio component model. In: Proceedings of the 6th International Workshop on Software and Performance, WOSP \u201907, New York, NY, USA. ACM (2007)","DOI":"10.1145\/1216993.1217006"},{"key":"340_CR7","doi-asserted-by":"crossref","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: SFM, volume 3185 of Lecture Notes in Computer Science. Springer (2004)","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"340_CR8","unstructured":"Behrmann, G., et al.: Uppaal 4.0. In: Proceedings of the 3rd International Conference on the Quantitative Evaluation of Systems, QEST \u201906. IEEE Computer Society (2006)"},{"issue":"3","key":"340_CR9","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B Berthomieu","year":"1991","unstructured":"Berthomieu, B., Diaz, M.: Modeling and verification of time dependent systems using time petri nets. IEEE Trans. Softw. Eng. 17(3), 259\u2013273 (1991)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"340_CR10","volume-title":"Effective Java","author":"J Bloch","year":"2008","unstructured":"Bloch, J.: Effective Java, 2nd edn. Addison-Wesley, Boston (2008)","edition":"2"},{"key":"340_CR11","doi-asserted-by":"crossref","unstructured":"Brekling, A., Hansen, M.R., Madsen, J.: Models and formal verification of multiprocessor system-on-chips. J. Logic Algebr. Progr. 77(1\u20132), 1\u201319 (2008)","DOI":"10.1016\/j.jlap.2008.05.002"},{"key":"340_CR12","doi-asserted-by":"crossref","unstructured":"Brekling, A., Hansen, M.R., Madsen, J.: Moves: a framework for modelling and verifying embedded systems. In: Microelectronics (ICM), 2009 International Conference (2009)","DOI":"10.1109\/ICM.2009.5418667"},{"key":"340_CR13","doi-asserted-by":"crossref","unstructured":"Cassez, F., Larsen, K.G.: The impressive power of stopwatches. In: Proceedings of the 11th International Conference on Concurrency Theory, CONCUR \u201900. Springer (2000)","DOI":"10.1007\/3-540-44618-4_12"},{"key":"340_CR14","doi-asserted-by":"crossref","unstructured":"Cassidy, A.S., Paul, J.M., Thomas, D.E.: Layered, multi-threaded, high-level performance design. In: Design, Automation and Test in Europe Conference and Exhibition (2003)","DOI":"10.1109\/DATE.2003.1253728"},{"key":"340_CR15","doi-asserted-by":"crossref","unstructured":"David, A., Illum, J., Larsen, K.G., Skou, A.: Model-based framework for schedulability analysis using Uppaal 4.1. In: Model-Based Design for Embedded Systems (2009)","DOI":"10.1201\/9781420067859-c4"},{"key":"340_CR16","doi-asserted-by":"crossref","unstructured":"David, A., Larsen, K.G., Legay, A., Miku\u010dionis, M.: Schedulability of Herschel\u2013Planck revisited using statistical model checking. In: Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, volume 7610 of Lecture Notes in Computer Science. Springer, Berlin, Heidelberg (2012)","DOI":"10.1007\/978-3-642-34032-1_28"},{"key":"340_CR17","doi-asserted-by":"crossref","unstructured":"David, A., et al.: Statistical model checking for networks of priced timed automata. In: Proceedings of the 9th international conference on formal modeling and analysis of timed systems, FORMATS\u201911. Springer, Berlin, Heidelberg (2011)","DOI":"10.1007\/978-3-642-24310-3_7"},{"issue":"4","key":"340_CR18","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/MC.2009.118","volume":"42","author":"C Ebert","year":"2009","unstructured":"Ebert, C., Jones, C.: Embedded software: facts, figures, and future. Computer 42(4), 42\u201352 (2009)","journal-title":"Computer"},{"key":"340_CR19","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E Gamma","year":"1994","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software, 1st edn. Addison-Wesley Professional, Boston (1994)","edition":"1"},{"key":"340_CR20","doi-asserted-by":"crossref","unstructured":"Gerstlauer, A., Chakravarty, S., Kathuria, M., Razaghi, P.: Abstract system-level models for early performance and power exploration. In: 17th Asia and South Pacific Design Automation Conference (ASP-DAC). IEEE (2012)","DOI":"10.1109\/ASPDAC.2012.6164947"},{"key":"340_CR21","unstructured":"Gerstlauer, A., Yu, Haobo, Gajski, D.D.: Rtos modeling for system level design. In: Design, Automation and Test in Europe Conference and Exhibition (2003)"},{"key":"340_CR22","volume-title":"Java Concurrency in Practice","author":"B Goetz","year":"2006","unstructured":"Goetz, B., et al.: Java Concurrency in Practice, 1st edn. Addison-Wesley, Boston (2006)","edition":"1"},{"key":"340_CR23","doi-asserted-by":"crossref","unstructured":"Grassi, V., Mirandola, R., Sabetta, A.: From design to analysis models: a kernel language for performance and reliability analysis of component-based systems. In: Proceedings of the 5th International Workshop on Software and Performance (WOSP \u201905), New York, NY, USA. ACM (2005)","DOI":"10.1145\/1071021.1071024"},{"key":"340_CR24","doi-asserted-by":"crossref","unstructured":"Hendriks, M., Geilen, M., Basten, T.: Pareto analysis with uncertainty. In: Proceedings of the 2011 IFIP 9th International Conference on Embedded and Ubiquitous Computing, EUC \u201911. IEEE Computer Society (2011)","DOI":"10.1109\/EUC.2011.54"},{"key":"340_CR25","doi-asserted-by":"crossref","unstructured":"Hendriks, M., Vaandrager, F.W.: Reconstructing critical paths from execution traces. In: IEEE 15th International Conference on Computational Science and Engineering (CSE). IEEE Computer Society (2012)","DOI":"10.1109\/ICCSE.2012.78"},{"key":"340_CR26","unstructured":"IBM tells story behind Chevy Volt design. http:\/\/www.eetimes.com\/document.asp?doc_id=1259444 (2011). Accessed 26 Aug 2014"},{"key":"340_CR27","unstructured":"Igna, G.: Performance analysis of real-time task systems using timed automata. Ph.D. thesis, Radboud University Nijmegen (2013)"},{"key":"340_CR28","doi-asserted-by":"crossref","unstructured":"Jensen, K., Kristensen, L.M., Wells, L.: Coloured petri nets and cpn tools for modelling and validation of concurrent systems. STTT 9(3\u20134), 213\u2013254 (2007)","DOI":"10.1007\/s10009-007-0038-x"},{"key":"340_CR29","doi-asserted-by":"crossref","unstructured":"Kienhuis, B., Deprettere, E., Vissers, K., van der Wolf, P.: An approach for quantitative analysis of application-specific dataflow architectures. In: Proceedings of the IEEE International Conference on Application-Specific Systems, Architectures and Processors, ASAP \u201997. IEEE Computer Society (1997)","DOI":"10.1109\/ASAP.1997.606839"},{"key":"340_CR30","unstructured":"Lapalme, J., et al.: Y-chart based system design: a discussion on approaches. In: Nouvelles approches pour la conception d\u2019outils CAO pour le domaine des systems embarqu\u00e9s (2009)"},{"key":"340_CR31","doi-asserted-by":"crossref","unstructured":"Le Moigne, R., Pasquier, O., Calvez, J. P.: A generic rtos model for real-time systems simulation with SystemC. In: Design, Automation and Test in Europe, vol. 3 (2004)","DOI":"10.1109\/DATE.2004.1269211"},{"key":"340_CR32","doi-asserted-by":"crossref","unstructured":"Madsen, J., Virk, K., Gonzales, M.: Abstract rtos modeling for multiprocessor system-on-chip. In: System-on-Chip, 2003. Proceedings. International Symposium (2003)","DOI":"10.1109\/ISSOC.2003.1267741"},{"issue":"4","key":"340_CR33","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/s10617-007-9007-6","volume":"11","author":"S Mahadevan","year":"2007","unstructured":"Mahadevan, S., Virk, K., Madsen, J.: A SystemC-based framework for multiprocessor systems-on-chip modelling. Des. Autom. Embed. Syst. 11(4), 285\u2013311 (2007)","journal-title":"Des. Autom. Embed. Syst."},{"key":"340_CR34","doi-asserted-by":"crossref","unstructured":"Martens, A., Koziolek, H., Becker, S., Reussner, R.: Automatically improve software architecture models for performance, reliability, and cost using evolutionary algorithms. In: Proceedings of the First Joint WOSP\/SIPEW International Conference on Performance Engineering, WOSP\/SIPEW 2010. ACM (2010)","DOI":"10.1145\/1712605.1712624"},{"key":"340_CR35","unstructured":"Meffert, K., et al.: JGAP\u2014Java genetic algorithms and genetic programming package. http:\/\/jgap.sourceforge.net\/ . Accessed 26 Aug 2014"},{"key":"340_CR36","doi-asserted-by":"crossref","unstructured":"Panerati, J., Beltrame, G.: A comparative evaluation of multi-objective exploration algorithms for high-level design. ACM Trans. Des. Autom. Electron. Syst. 19(2), 1\u201322 (2014)","DOI":"10.1145\/2566669"},{"issue":"3","key":"340_CR37","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1145\/1080334.1080335","volume":"10","author":"JM Paul","year":"2005","unstructured":"Paul, J.M., Thomas, D.E., Cassidy, A.S.: High-level modeling and simulation of single-chip programmable heterogeneous multiprocessors. ACM Trans. Des. Autom. Electron. Syst. 10(3), 431\u2013461 (2005)","journal-title":"ACM Trans. Des. Autom. Electron. Syst."},{"key":"340_CR38","doi-asserted-by":"crossref","unstructured":"Paul, J.M., et al.: Schedulers as model-based design elements in programmable heterogeneous multiprocessors. In: Design Automation Conference, 2003. Proceedings (2003)","DOI":"10.1109\/DAC.2003.1219034"},{"issue":"2","key":"340_CR39","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1109\/TC.2006.16","volume":"55","author":"AD Pimentel","year":"2006","unstructured":"Pimentel, A.D., Erbas, C., Polstra, S.: A systematic approach to exploring embedded system architectures at multiple abstraction levels. Comput. IEEE Trans. 55(2), 99\u2013112 (2006)","journal-title":"Comput. IEEE Trans."},{"key":"340_CR40","unstructured":"Smith, C.U.: Introduction to software performance engineering: origins and outstanding problems. In: Formal Methods for Performance Evaluation, volume 4486 of Lecture Notes in Computer Science. Springer, Berlin, Heidelberg (2007)"},{"key":"340_CR41","unstructured":"SPE Economics. http:\/\/www.perfeng.com\/econ.htm . Accessed 26 Aug 2014"},{"key":"340_CR42","unstructured":"SpecC. http:\/\/www.cecs.uci.edu\/~specc\/ . Accessed 26 Aug 2014"},{"key":"340_CR43","unstructured":"Enhanced Intel SpeedStep Technology for the Intel Pentium M Processor. http:\/\/download.intel.com\/design\/network\/papers\/30117401.pdf . Accessed 26 Aug 2014"},{"key":"340_CR44","unstructured":"System-C. http:\/\/www.systemc.org\/home\/ . Accessed 26 Aug 2014"},{"key":"340_CR45","unstructured":"Theelen, B.D.: Performance modelling for system-level design. Ph.D. thesis, Eindhoven University of Technology (2004)"},{"key":"340_CR46","unstructured":"Trcka, N., Voorhoeve, M., Basten, T.: Parameterized timed partial orders with resources: formal definition and semantics. Technical Report ESR-2010-01, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, The Netherlands (2010)"},{"key":"340_CR47","doi-asserted-by":"crossref","unstructured":"Trcka, N. et al.: Integrated model-driven design-space exploration for embedded systems. In: International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation. IEEE Computer Society (2011)","DOI":"10.1109\/SAMOS.2011.6045482"},{"key":"340_CR48","unstructured":"van der Putten, P.H.A., Voeten, J.P.M.: Specification of reactive hardware\/software systems. Ph.D. thesis, Eindhoven University of Technology (1997)"},{"key":"340_CR49","unstructured":"Zitzler, E., Laumanns, M., Thiele, L.: SPEA2: improving the strength Pareto evolutionary algorithm for multiobjective optimization. In: Evolutionary Methods for Design, Optimisation and Control with Application to Industrial Problems (EUROGEN 2001). International Center for Numerical Methods in Engineering (CIMNE) (2002)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-014-0340-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-014-0340-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-014-0340-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,14]],"date-time":"2019-08-14T12:03:34Z","timestamp":1565784214000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-014-0340-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8,29]]},"references-count":49,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,2]]}},"alternative-id":["340"],"URL":"https:\/\/doi.org\/10.1007\/s10009-014-0340-3","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,8,29]]}}}