{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:03:47Z","timestamp":1748664227757,"version":"3.41.0"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319222639"},{"type":"electronic","value":"9783319222646"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-22264-6_1","type":"book-chapter","created":{"date-parts":[[2015,8,21]],"date-time":"2015-08-21T10:33:29Z","timestamp":1440153209000},"page":"3-18","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Uniting Academic Achievements on Performance Analysis with Industrial Needs"],"prefix":"10.1007","author":[{"given":"Bart","family":"Theelen","sequence":"first","affiliation":[]},{"given":"Jozef","family":"Hooman","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,8,22]]},"reference":[{"key":"1_CR1","unstructured":"Acceleo (2015). http:\/\/www.eclipse.org\/acceleo\/"},{"key":"1_CR2","unstructured":"Xtext (2015). http:\/\/www.eclipse.org\/Xtext\/"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Adyanthaya, S., Geilen, M., Basten, T., Schiffelers, R., Theelen, B., Voeten, J.: Fast multiprocessor scheduling with fixed task binding of large scale industrial cyber physical systems. In: 2013 Euromicro Conference on Digital System Design, DSD 2013, Los Alamitos, CA, USA, September 4\u20136, 2013, pp. 979\u2013988 (2013)","DOI":"10.1109\/DSD.2013.111"},{"issue":"5","key":"1_CR4","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1109\/TSE.2004.9","volume":"30","author":"S Balsamo","year":"2004","unstructured":"Balsamo, S., di Marco, A., Inverardi, P., Simeoni, M.: Model-based performance prediction in software development: a survey. IEEE Trans. Softw. Eng. 30(5), 295\u2013310 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200\u2013236. Springer, Heidelberg (2004)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Edwards, G., Brun, Y., Medvidovic, N.: Automated analysis and code generation for domain-specific models. In: 2012 Joint Working IEEE\/IFIP Conference on Software Architecture (WICSA) and European Conference on Software Architecture (ECSA), pp. 161\u2013170 (2012)","DOI":"10.1109\/WICSA-ECSA.212.24"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Esteve, M.-A., Katoen, J.-P., Nguyen, V.Y., Postma, B., Yushtein, Y.: Formal correctness, safety, dependability, and performance analysis of a satellite. In: Proceedings of the 34th International Conference on Software Engineering, ICSE 2012, pp. 1022\u20131031. IEEE Press (2012)","DOI":"10.1109\/ICSE.2012.6227118"},{"issue":"1","key":"1_CR8","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1002\/j.2334-5837.1991.tb01484.x","volume":"1","author":"K Forsberg","year":"1991","unstructured":"Forsberg, K., Mooz, H.: The relationship of system engineering to the project cycle. INCOSE Int. Symp. 1(1), 57\u201365 (1991)","journal-title":"INCOSE Int. Symp."},{"key":"1_CR9","unstructured":"Hamann, A., Henia, R., Racu, R., Jersak, M., Richter, K., Ernst, R.: SymTA\/S - symbolic timing analysis for systems. In: Work In Progress session - Euromicro Workshop on Real-time Systems (2004)"},{"key":"1_CR10","unstructured":"Hartmanns, A.: Modest - a unified language for quantitative models. In: The 2012 Forum on Specification and Design Languages (FDL), pp. 44\u201351. IEEE (2012)"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1007\/978-3-642-54862-8_51","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Hartmanns","year":"2014","unstructured":"Hartmanns, A., Hermanns, H.: The modest toolset: an integrated environment for quantitative modelling and verification. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014 (ETAPS). LNCS, vol. 8413, pp. 593\u2013598. Springer, Heidelberg (2014)"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Hendriks, M., Basten, T., Verriet, J., Brass\u00e9, M., Somers, L.: A blueprint for system-level performance modeling of software-intensive embedded systems. Int. J. Softw. Tools Technol. Transf. 1\u201320 (2014)","DOI":"10.1007\/s10009-014-0340-3"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Hendriks, M., Verriet, J., Basten, T., Theelen, B., Brass\u00e9, M., Somers, L.: Analyzing execution traces - critical path analysis and distance analysis. Submitted to: Software Tools for Technology Transfer (2015)","DOI":"10.1007\/s10009-016-0436-z"},{"key":"1_CR14","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: ASAP 1997: Proceedings of the IEEE International Conference on Application-Specific Systems, Architectures and Processors, p. 338. IEEE Computer Society (1997)","DOI":"10.1109\/ASAP.1997.606839"},{"key":"1_CR15","unstructured":"Lapalme, J., Theelen, B., Stoimenov, N., Voeten, J., Thiele, L., Aboulhamid, E.M.: Y-chart based system design: a discussion on approaches. In: Nouvelles approches pour la conception d\u2019outils CAO pour le domaine des systems embarqu\u2019es, pp. 23\u201356. Universite de Montreal (2009)"},{"issue":"4","key":"1_CR16","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1145\/1118890.1118892","volume":"37","author":"M Mernik","year":"2005","unstructured":"Mernik, M., Heering, J., Sloane, A.M.: When and how to develop domain-specific languages. ACM Comput. Surv. 37(4), 316\u2013344 (2005)","journal-title":"ACM Comput. Surv."},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-642-53956-5_12","volume-title":"Foundations of Health Information Engineering and Systems","author":"AJ Mooij","year":"2014","unstructured":"Mooij, A.J., Hooman, J., Albers, R.: Early fault detection using design models for collision prevention in medical equipment. In: Gibbons, J., MacCaull, W. (eds.) FHIES 2013. LNCS, vol. 8315, pp. 170\u2013187. Springer, Heidelberg (2014)"},{"key":"1_CR18","unstructured":"Perathoner, S., Wandeler, E., Thiele, L.: Evaluation and comparison of performance analysis methods for distributed embedded systems. Technical report, ETH Zurich, Switzerland (2006)"},{"issue":"5","key":"1_CR19","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/52.232392","volume":"10","author":"C Potts","year":"1993","unstructured":"Potts, C.: Software-engineering research revisited. IEEE Softw. 10(5), 19\u201328 (1993)","journal-title":"IEEE Softw."},{"issue":"6","key":"1_CR20","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1109\/54.970421","volume":"18","author":"A Sangiovanni-Vincentelli","year":"2001","unstructured":"Sangiovanni-Vincentelli, A., Martin, G.: Platform-based design and software design methodology for embedded systems. IEEE Des. Test 18(6), 23\u201333 (2001)","journal-title":"IEEE Des. Test"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Schiffelers, R., Alberts, W., Voeten, J.: Model-based specification, analysis and synthesis of servo controllers for lithoscanners. In: Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, MPM 2012, pp. 55\u201360. ACM, New York (2012)","DOI":"10.1145\/2508443.2508453"},{"key":"1_CR22","unstructured":"Software Technology Group, TU Dresden. EMFText (2015). http:\/\/www.emftext.org\/"},{"key":"1_CR23","volume-title":"Eclipse Modeling Framework","author":"D Steinberg","year":"2008","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: Eclipse Modeling Framework. Pearson Education, London (2008)"},{"key":"1_CR24","unstructured":"Teeselink, E., Somers, L., Basten, T., Trcka, N., Hendriks, M.: A visual language for modeling and analyzing printer data path architectures. In: Proceedings of the ITSLE, p. 20 (2011)"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Theelen, B., Florescu, O., Geilen, M., Huang, J., van der Putten, P., Voeten, J.: Software\/hardware engineering with the parallel object-oriented specification language. In: Proceedings of the 5th IEEE\/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2007, pp. 139\u2013148. IEEE Computer Society. Washington, DC (2007)","DOI":"10.1109\/MEMCOD.2007.371231"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Thiele, L., Chakraborty, S., Naedele, M.: Real-time calculus for scheduling hard real-time systems. In: Proceedings of the IEEE International Symposium on Circuits and Systems, vol. 4, pp. 101\u2013104 (2000)","DOI":"10.1109\/ISCAS.2000.858698"},{"key":"1_CR27","unstructured":"van den Berg, F., Remke, A., Haverkort, B.: A domain specific language for performance evaluation of medical imaging systems. In: Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, MCPS 2014, Berlin, Germany. OpenAccess Series in Informatics (OASIcs), vol. 36, pp. 80\u201393, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl (2014)"},{"key":"1_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1007\/978-3-642-40725-3_21","volume-title":"Computer Performance Engineering","author":"F van den Berg","year":"2013","unstructured":"van den Berg, F., Remke, A., Mooij, A., Haverkort, B.: Performance evaluation for collision prevention based on a domain specific language. In: Balsamo, M.S., Knottenbelt, W.J., Marin, A. (eds.) EPEW 2013. LNCS, vol. 8168, pp. 276\u2013287. Springer, Heidelberg (2013)"},{"issue":"6","key":"1_CR29","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/352029.352035","volume":"35","author":"A van Deursen","year":"2000","unstructured":"van Deursen, A., Klint, P., Visser, J.: Domain-specific languages: an annotated bibliography. SIGPLAN Not. 35(6), 26\u201336 (2000)","journal-title":"SIGPLAN Not."},{"key":"1_CR30","doi-asserted-by":"crossref","unstructured":"Voeten, J., Hendriks, T., Theelen, B., Schuddemat, J., Suermondt, W.T., Gemei, J., Kotterink, K., van Hu\u00ebt, C.: Predicting timing performance of advanced mechatronics control systems. In: 2011 IEEE 35th Annual Computer Software and Applications Conference Workshops (COMPSACW), pp. 206\u2013210 (2011)","DOI":"10.1109\/COMPSACW.2011.44"},{"issue":"6","key":"1_CR31","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1007\/s10009-006-0019-5","volume":"8","author":"E Wandeler","year":"2006","unstructured":"Wandeler, E., Thiele, L., Verhoef, M., Lieverse, P.: System architecture evaluation using modular performance analysis: a case study. Int. J. Softw. Tools Technol. Transf. (STTT) 8(6), 649\u2013667 (2006)","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-22264-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T03:26:53Z","timestamp":1748575613000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-22264-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319222639","9783319222646"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22264-6_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"22 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}