{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,24]],"date-time":"2026-04-24T02:05:48Z","timestamp":1776996348608,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":80,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,9,30]],"date-time":"2021-09-30T00:00:00Z","timestamp":1632960000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,9,30]]},"DOI":"10.1145\/3477244.3477985","type":"proceedings-article","created":{"date-parts":[[2021,9,30]],"date-time":"2021-09-30T17:06:05Z","timestamp":1633021565000},"page":"11-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Model-driven system-performance engineering for cyber-physical systems"],"prefix":"10.1145","author":[{"given":"Bram","family":"van der Sanden","sequence":"first","affiliation":[{"name":"ESI (TNO), Eindhoven, Netherlands"}]},{"given":"Yonghui","family":"Li","sequence":"additional","affiliation":[{"name":"ESI (TNO), Eindhoven, Netherlands"}]},{"given":"Joris","family":"van den Aker","sequence":"additional","affiliation":[{"name":"ESI (TNO), Eindhoven, Netherlands"}]},{"given":"Benny","family":"Akesson","sequence":"additional","affiliation":[{"name":"ESI (TNO), Eindhoven, Netherlands and University of Amsterdam, Amsterdam, Netherlands"}]},{"given":"Tjerk","family":"Bijlsma","sequence":"additional","affiliation":[{"name":"DEMCON, Eindhoven, Netherlands"}]},{"given":"Martijn","family":"Hendriks","sequence":"additional","affiliation":[{"name":"ESI (TNO), Eindhoven, Netherlands"}]},{"given":"Kostas","family":"Triantafyllidis","sequence":"additional","affiliation":[{"name":"ESI (TNO), Eindhoven, Netherlands"}]},{"given":"Jacques","family":"Verriet","sequence":"additional","affiliation":[{"name":"ESI (TNO), Eindhoven, Netherlands"}]},{"given":"Jeroen","family":"Voeten","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, Netherlands"}]},{"given":"Twan","family":"Basten","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, Netherlands and ESI (TNO), Eindhoven, Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2021,9,30]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1108\/02656710810890890"},{"key":"e_1_3_2_1_2_1","volume-title":"Proc. 2020 IEEE Real-Time Systems Symposium, RTSS'20. IEEE, 3--11","author":"Akesson B.","unstructured":"B. Akesson , M. Nasri , G. Nelissen , S. Altmeyer , and R. I. Davis . 2020. An Empirical Survey-based Study into Industry Practice in Real-time Systems . In Proc. 2020 IEEE Real-Time Systems Symposium, RTSS'20. IEEE, 3--11 . B. Akesson, M. Nasri, G. Nelissen, S. Altmeyer, and R. I. Davis. 2020. An Empirical Survey-based Study into Industry Practice in Real-time Systems. In Proc. 2020 IEEE Real-Time Systems Symposium, RTSS'20. IEEE, 3--11."},{"key":"e_1_3_2_1_3_1","volume-title":"Proc. 20th IEEE Real-Time Systems Symposium, RTSS'99. IEEE, 154--163","author":"Altisen K.","unstructured":"K. Altisen , G. Go\u00dfler , A. Pnueli , J. Sifakis , S. Tripakis , and S. Yovine . 1999. A Framework for Scheduler Synthesis . In Proc. 20th IEEE Real-Time Systems Symposium, RTSS'99. IEEE, 154--163 . K. Altisen, G. Go\u00dfler, A. Pnueli, J. Sifakis, S. Tripakis, and S. Yovine. 1999. A Framework for Scheduler Synthesis. In Proc. 20th IEEE Real-Time Systems Symposium, RTSS'99. IEEE, 154--163."},{"key":"e_1_3_2_1_4_1","volume-title":"Proc. 3rd Int. Conf. on the Quantitative Evaluation of Systems, QEST'06","author":"Behrmann G.","unstructured":"G. Behrmann , A. David , K. G. Larsen , H. H\u00e5kansson , P. Pettersson , W. Yi , and M. Hendriks . 2006. Uppaal 4.0 . In Proc. 3rd Int. Conf. on the Quantitative Evaluation of Systems, QEST'06 . IEEE CS Press, 125--126. G. Behrmann, A. David, K. G. Larsen, H. H\u00e5kansson, P. Pettersson, W. Yi, and M. Hendriks. 2006. Uppaal 4.0. In Proc. 3rd Int. Conf. on the Quantitative Evaluation of Systems, QEST'06. IEEE CS Press, 125--126."},{"key":"e_1_3_2_1_5_1","first-page":"679","article-title":"A Markovian Decision Process","volume":"6","author":"Bellman R.","year":"1957","unstructured":"R. Bellman . 1957 . A Markovian Decision Process . Journal of Mathematics and Mechanics 6 , 5 (1957), 679 -- 684 . R. Bellman. 1957. A Markovian Decision Process. Journal of Mathematics and Mechanics 6, 5 (1957), 679--684.","journal-title":"Journal of Mathematics and Mechanics"},{"key":"e_1_3_2_1_6_1","volume-title":"Proc. 2019 Int. Symposium on Systems Engineering, ISSE'19. IEEE.","author":"Bijlsma T.","unstructured":"T. Bijlsma , B. van der Sanden, Y. Li, R. Janssen, and R. Tinsel. 2019. Decision Support Methodology for Evolutionary Embedded System Design . In Proc. 2019 Int. Symposium on Systems Engineering, ISSE'19. IEEE. T. Bijlsma, B. van der Sanden, Y. Li, R. Janssen, and R. Tinsel. 2019. Decision Support Methodology for Evolutionary Embedded System Design. In Proc. 2019 Int. Symposium on Systems Engineering, ISSE'19. IEEE."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99849-7"},{"key":"e_1_3_2_1_8_1","unstructured":"S. Bliudze P. Katsaros S. Bensalem and M. Wirsing. 2021. On Methods and Tools for Rigorous System Design. Software Tools for Technology Transfer (2021) 1--6. S. Bliudze P. Katsaros S. Bensalem and M. Wirsing. 2021. On Methods and Tools for Rigorous System Design. Software Tools for Technology Transfer (2021) 1--6."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"J. Bosch. 2016. Speed Data and Ecosystems - Excelling in a Software-Driven World. J. Bosch. 2016. Speed Data and Ecosystems - Excelling in a Software-Driven World.","DOI":"10.1201\/9781315270685"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"M. Brambilla J. Cabot and M. Wimmer. 2017. Model-Driven Software Engineering in Practice (second ed.). Morgan & Claypool. M. Brambilla J. Cabot and M. Wimmer. 2017. Model-Driven Software Engineering in Practice (second ed.). Morgan & Claypool.","DOI":"10.1007\/978-3-031-02549-5"},{"key":"e_1_3_2_1_11_1","volume-title":"Proc. of the AAAI Conf. on Artificial Intelligence 33","author":"Bunte A.","year":"2019","unstructured":"A. Bunte , B. Stein , and O. Niggemann . 2019. Model-Based Diagnosis for Cyber-Physical Production Systems Based on Machine Learning and Residual-Based Diagnosis Models . Proc. of the AAAI Conf. on Artificial Intelligence 33 , 01 ( 2019 ), 2727--2735. A. Bunte, B. Stein, and O. Niggemann. 2019. Model-Based Diagnosis for Cyber-Physical Production Systems Based on Machine Learning and Residual-Based Diagnosis Models. Proc. of the AAAI Conf. on Artificial Intelligence 33, 01 (2019), 2727--2735."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"P. Carreira V. Amaral and H. Vangheluwe (Eds.). 2020. Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems. Springer. P. Carreira V. Amaral and H. Vangheluwe (Eds.). 2020. Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems. Springer.","DOI":"10.1007\/978-3-030-43946-0"},{"key":"e_1_3_2_1_13_1","volume-title":"Data-Driven Modeling of Cyber-Physical Systems using Side-Channel Analysis","author":"Chhetri S. R.","unstructured":"S. R. Chhetri and M. A. A. Faruque . 2020. Data-Driven Modeling of Cyber-Physical Systems using Side-Channel Analysis ( first ed.). Springer . S. R. Chhetri and M. A. A. Faruque. 2020. Data-Driven Modeling of Cyber-Physical Systems using Side-Channel Analysis (first ed.). Springer."},{"key":"e_1_3_2_1_14_1","unstructured":"E. M. Clarke Jr O. Grumberg D. Kroening D. Peled and H.t Veith. 2018. Model Checking. MIT press. E. M. Clarke Jr O. Grumberg D. Kroening D. Peled and H.t Veith. 2018. Model Checking. MIT press."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1712023.1712025"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2004.02.003"},{"key":"e_1_3_2_1_17_1","unstructured":"J. B Dabney and T. L Harman. 2004. Mastering Simulink. Vol. 230. Pearson\/Prentice Hall Upper Saddle River. J. B Dabney and T. L Harman. 2004. Mastering Simulink. Vol. 230. Pearson\/Prentice Hall Upper Saddle River."},{"key":"e_1_3_2_1_18_1","volume-title":"Proc. 9th Int. Workshop on Discrete Event Systems, WODES'08","author":"de Schutter B.","unstructured":"B. de Schutter and T. van den Boom. 2008. Max-Plus Algebra and Max-Plus Linear Discrete-Event Systems: An Introduction . In Proc. 9th Int. Workshop on Discrete Event Systems, WODES'08 . IEEE CS Press, 36--42. B. de Schutter and T. van den Boom. 2008. Max-Plus Algebra and Max-Plus Linear Discrete-Event Systems: An Introduction. In Proc. 9th Int. Workshop on Discrete Event Systems, WODES'08. IEEE CS Press, 36--42."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2160929"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008370109997"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0547-8"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3358960.3383580"},{"key":"e_1_3_2_1_23_1","volume-title":"Discrete-Event Simulation: Modeling, Programming, and Analysis","author":"Fishman G. S.","unstructured":"G. S. Fishman . 2013. Discrete-Event Simulation: Modeling, Programming, and Analysis . Springer . G. S. Fishman. 2013. Discrete-Event Simulation: Modeling, Programming, and Analysis. Springer."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1080\/10429247.1992.11414684"},{"key":"e_1_3_2_1_25_1","unstructured":"M. Fowler. 2010. Domain-Specific Languages. Addison-Wesley Professional. M. Fowler. 2010. Domain-Specific Languages. Addison-Wesley Professional."},{"key":"e_1_3_2_1_26_1","volume-title":"Proc. 16th INCOSE Int. Symposium. Wiley.","author":"Freriks H. J. M.","unstructured":"H. J. M. Freriks , W. P. M. H. Heemels , G. Muller , and J. H. Sandee . 2006. On the Systematic Use of Budget-Based Design . In Proc. 16th INCOSE Int. Symposium. Wiley. H. J. M. Freriks, W. P. M. H. Heemels, G. Muller, and J. H. Sandee. 2006. On the Systematic Use of Budget-Based Design. In Proc. 16th INCOSE Int. Symposium. Wiley."},{"key":"e_1_3_2_1_27_1","unstructured":"S. Friedenthal A. Moore and R. Steiner. 2014. A Practical Guide to SysML: the Systems Modeling Language. Morgan Kaufmann. S. Friedenthal A. Moore and R. Steiner. 2014. A Practical Guide to SysML: the Systems Modeling Language. Morgan Kaufmann."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1287\/opre.26.1.3"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.vlsi.2004.06.001"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_3_2_1_31_1","volume-title":"Boderc: Model-Based Design of High-Tech Systems","author":"Heemels M.","year":"2007","unstructured":"M. Heemels and G. Muller (Eds.). 2007 . Boderc: Model-Based Design of High-Tech Systems . Embedded Systems Institute . M. Heemels and G. Muller (Eds.). 2007. Boderc: Model-Based Design of High-Tech Systems. Embedded Systems Institute."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1002\/sys.21566"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0340-3"},{"key":"e_1_3_2_1_34_1","volume-title":"Proc. 16th Int. Conf. on Application of Concurrency to System Design, ACSD'16. IEEE, 19--24","author":"Hendriks M.","unstructured":"M. Hendriks , M. Geilen , A. R. B. Behrouzian , T. Basten , H. Ara Alizadeh , and D. Goswami . 2016. Checking Metric Temporal Logic with TRACE . In Proc. 16th Int. Conf. on Application of Concurrency to System Design, ACSD'16. IEEE, 19--24 . M. Hendriks, M. Geilen, A. R. B. Behrouzian, T. Basten, H. Ara Alizadeh, and D. Goswami. 2016. Checking Metric Temporal Logic with TRACE. In Proc. 16th Int. Conf. on Application of Concurrency to System Design, ACSD'16. IEEE, 19--24."},{"key":"e_1_3_2_1_35_1","unstructured":"M. Hendriks M. Geilen K. Goossens R. de Jong and T. Basten. 2021. Interface Modeling for Quality and Resource Management. Logical Methods in Computer Science 17 2 (2021) 19:1--19:34. M. Hendriks M. Geilen K. Goossens R. de Jong and T. Basten. 2021. Interface Modeling for Quality and Resource Management. Logical Methods in Computer Science 17 2 (2021) 19:1--19:34."},{"key":"e_1_3_2_1_36_1","volume-title":"Proc. 16h Int. Conf. Product-Focused Software Process Improvement, PROFES'15. Springer, 399--414","author":"Hendriks M.","unstructured":"M. Hendriks , J. Verriet , T. Basten , M. Brass\u00e9 , R. Dankers , R. Laan , A. Lint , H. Moneva , L. Somers , and M. Willekens . 2015. Performance Engineering for Industrial Embedded Data-Processing Systems . In Proc. 16h Int. Conf. Product-Focused Software Process Improvement, PROFES'15. Springer, 399--414 . M. Hendriks, J. Verriet, T. Basten, M. Brass\u00e9, R. Dankers, R. Laan, A. Lint, H. Moneva, L. Somers, and M. Willekens. 2015. Performance Engineering for Industrial Embedded Data-Processing Systems. In Proc. 16h Int. Conf. Product-Focused Software Process Improvement, PROFES'15. Springer, 399--414."},{"key":"e_1_3_2_1_37_1","volume-title":"Systems Engineering Vision","author":"SE.","year":"2020","unstructured":"INCO SE. 2007. Systems Engineering Vision 2020 . INCOSE Foundation . INCOSE. 2007. Systems Engineering Vision 2020. INCOSE Foundation."},{"key":"e_1_3_2_1_38_1","volume-title":"A World in Motion - Systems Engineering Vision","author":"SE.","year":"2025","unstructured":"INCO SE. 2014. A World in Motion - Systems Engineering Vision 2025 . INCOSE Foundation . INCOSE. 2014. A World in Motion - Systems Engineering Vision 2025. INCOSE Foundation."},{"key":"e_1_3_2_1_39_1","volume-title":"Measurement, Simulation, and Modeling","author":"Jain R.","unstructured":"R. Jain . 1991. The Art of Computer Systems Performance Analysis: Techniques for Experimental Design , Measurement, Simulation, and Modeling . Wiley . R. Jain. 1991. The Art of Computer Systems Performance Analysis: Techniques for Experimental Design, Measurement, Simulation, and Modeling. Wiley."},{"key":"e_1_3_2_1_40_1","volume-title":"Proc. IEEE Int. Conf. on Application-Specific Systems, Architectures and Processors, ASAP'97","author":"Kienhuis B.","unstructured":"B. Kienhuis , E. Deprettere , K. Vissers , and P. van der Wolf. 1997. An Approach for Quantitative Analysis of Application-Specific Dataflow Architectures . In Proc. IEEE Int. Conf. on Application-Specific Systems, Architectures and Processors, ASAP'97 . IEEE, 338--349. B. Kienhuis, E. Deprettere, K. Vissers, and P. van der Wolf. 1997. An Approach for Quantitative Analysis of Application-Specific Dataflow Architectures. In Proc. IEEE Int. Conf. on Application-Specific Systems, Architectures and Processors, ASAP'97. IEEE, 338--349."},{"key":"e_1_3_2_1_41_1","unstructured":"J. Lapalme B. D. Theelen N. Stoimenov J. Voeten L. Thiele and E. M. Aboulhamid. 2009. Y-chart Based System Design: a Discussion on Approaches. In Nouvelles approches pour la conception d'outils CAO pour le domaine des systems embarqu\u00e9s. Universit\u00e9 de Montreal 23--56. J. Lapalme B. D. Theelen N. Stoimenov J. Voeten L. Thiele and E. M. Aboulhamid. 2009. Y-chart Based System Design: a Discussion on Approaches. In Nouvelles approches pour la conception d'outils CAO pour le domaine des systems embarqu\u00e9s. Universit\u00e9 de Montreal 23--56."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0523-3"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3323212"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-016-0241-z"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2019.1636321"},{"key":"e_1_3_2_1_48_1","volume-title":"Proc. Embedded Computer Systems: Architectures, Modeling, and Simulation. SAMOS'19","author":"Odyurt U.","unstructured":"U. Odyurt , H. Meyer , A. D. Pimentel , E. Paradas , and I. Gonzalez Alonso . 2019. Software Passports for Automated Performance Anomaly Detection of Cyber-Physical Systems . In Proc. Embedded Computer Systems: Architectures, Modeling, and Simulation. SAMOS'19 . Springer , 255--268. U. Odyurt, H. Meyer, A. D. Pimentel, E. Paradas, and I. Gonzalez Alonso. 2019. Software Passports for Automated Performance Anomaly Detection of Cyber-Physical Systems. In Proc. Embedded Computer Systems: Architectures, Modeling, and Simulation. SAMOS'19. Springer, 255--268."},{"key":"e_1_3_2_1_49_1","volume-title":"Calibration Error Bound Estimation in Performance Modeling. In 2013 Euromicro Conf. on Digital System Design, DSD'13","author":"Parappurath V. V.","unstructured":"V. V. Parappurath , J. P. M. Voeten , and K. C. Kotterink . 2013 . Calibration Error Bound Estimation in Performance Modeling. In 2013 Euromicro Conf. on Digital System Design, DSD'13 . IEEE, 97--102. V. V. Parappurath, J. P. M. Voeten, and K. C. Kotterink. 2013. Calibration Error Bound Estimation in Performance Modeling. In 2013 Euromicro Conf. on Digital System Design, DSD'13. IEEE, 97--102."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2016.2626445"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11265-007-0085-2"},{"key":"e_1_3_2_1_52_1","volume-title":"Scheduling - Theory, Algorithms, and Systems","author":"Pinedo M. L.","unstructured":"M. L. Pinedo . 2016. Scheduling - Theory, Algorithms, and Systems ( fifth ed.). Springer . M. L. Pinedo. 2016. Scheduling - Theory, Algorithms, and Systems (fifth ed.). Springer."},{"key":"e_1_3_2_1_53_1","unstructured":"K. Pruhs J. Sgall and E. Torng. 2004. Online Scheduling. In Handbook of Scheduling: Algorithms Models and Performance Analysis. CRC Press Chapter 15. K. Pruhs J. Sgall and E. Torng. 2004. Online Scheduling. In Handbook of Scheduling: Algorithms Models and Performance Analysis. CRC Press Chapter 15."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2987324"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"e_1_3_2_1_56_1","volume-title":"Proc. 41st Annual Design Aut. Conf., DAC'04. ACM, 409--414","author":"Sangiovanni-Vincentelli A.","unstructured":"A. Sangiovanni-Vincentelli , L. Carloni , F. De Bernardinis , and M. Sgroi . 2004. Benefits and Challenges for Platform-Based Design . In Proc. 41st Annual Design Aut. Conf., DAC'04. ACM, 409--414 . A. Sangiovanni-Vincentelli, L. Carloni, F. De Bernardinis, and M. Sgroi. 2004. Benefits and Challenges for Platform-Based Design. In Proc. 41st Annual Design Aut. Conf., DAC'04. ACM, 409--414."},{"key":"e_1_3_2_1_57_1","volume-title":"Proc. of the 6th Int. Conf. on Model-Driven Eng. and Software Dev., MODELSWARD'18","author":"Schiffelers R.","unstructured":"R. Schiffelers , Y. Luo , J. Mengerink , and M. van den Brand. 2018. Towards Automated Analysis of Model-Driven Artifacts in Industry . In Proc. of the 6th Int. Conf. on Model-Driven Eng. and Software Dev., MODELSWARD'18 . SciTePress, 743--751. R. Schiffelers, Y. Luo, J. Mengerink, and M. van den Brand. 2018. Towards Automated Analysis of Model-Driven Artifacts in Industry. In Proc. of the 6th Int. Conf. on Model-Driven Eng. and Software Dev., MODELSWARD'18. SciTePress, 743--751."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1002\/sys.21549","article-title":"Set-Based Design: The State-of-Practice and Research Opportunities","volume":"23","author":"Shallcross N.","year":"2020","unstructured":"N. Shallcross , G. S. Parnell , E. Pohl , and E. Specking . 2020 . Set-Based Design: The State-of-Practice and Research Opportunities . Systems Engineering 23 , 5 (2020), 557 -- 578 . N. Shallcross, G. S. Parnell, E. Pohl, and E. Specking. 2020. Set-Based Design: The State-of-Practice and Research Opportunities. Systems Engineering 23, 5 (2020), 557--578.","journal-title":"Systems Engineering"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"crossref","unstructured":"A. K. Singh P. Dziurzanski H. R. Mendis and L. S. Indrusiak. 2017. A Survey and Comparative Study of Hard and Soft Real-Time Dynamic Resource Allocation Strategies for Multi-\/Many-Core Systems. Comput. Surveys 50 2 Article 40 (2017). A. K. Singh P. Dziurzanski H. R. Mendis and L. S. Indrusiak. 2017. A Survey and Comparative Study of Hard and Soft Real-Time Dynamic Resource Allocation Strategies for Multi-\/Many-Core Systems. Comput. Surveys 50 2 Article 40 (2017).","DOI":"10.1145\/3057267"},{"key":"e_1_3_2_1_60_1","volume-title":"Proc. of 1986 ACM Fall Joint Computer Conf., ACM'86. ACM, 778--783","author":"Smith C. U.","year":"1986","unstructured":"C. U. Smith . 1986 . The Evolution of Software Performance Engineering: A Survey . In Proc. of 1986 ACM Fall Joint Computer Conf., ACM'86. ACM, 778--783 . C. U. Smith. 1986. The Evolution of Software Performance Engineering: A Survey. In Proc. of 1986 ACM Fall Joint Computer Conf., ACM'86. ACM, 778--783."},{"key":"e_1_3_2_1_61_1","volume-title":"Performance Engineering of Software Systems","author":"Smith C. U.","unstructured":"C. U. Smith . 1990. Performance Engineering of Software Systems . Addison-Wesley . C. U. Smith. 1990. Performance Engineering of Software Systems. Addison-Wesley."},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3358960.3379138"},{"key":"e_1_3_2_1_63_1","volume-title":"Proc. of the Embedded Systems Conf., ESC SF'02","author":"Stewart D. B.","year":"2002","unstructured":"D. B. Stewart . 2002 . Measuring Execution Time and Real-Time Performance . In Proc. of the Embedded Systems Conf., ESC SF'02 . D. B. Stewart. 2002. Measuring Execution Time and Real-Time Performance. In Proc. of the Embedded Systems Conf., ESC SF'02."},{"key":"e_1_3_2_1_64_1","first-page":"105","article-title":"The Synthesis of Time Optimal Supervisors by using Heaps-of-Pieces","volume":"57","author":"Su R.","year":"2011","unstructured":"R. Su , J. H. van Schuppen , and J. E. Rooda . 2011 . The Synthesis of Time Optimal Supervisors by using Heaps-of-Pieces . IEEE Trans. on Automatic Control 57 , 1 (2011), 105 -- 118 . R. Su, J. H. van Schuppen, and J. E. Rooda. 2011. The Synthesis of Time Optimal Supervisors by using Heaps-of-Pieces. IEEE Trans. on Automatic Control 57, 1 (2011), 105--118.","journal-title":"IEEE Trans. on Automatic Control"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-017-0233-1"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2018.2873186"},{"key":"e_1_3_2_1_67_1","volume-title":"Analytical Performance Modeling for Computer Systems","author":"Tay Y. C.","unstructured":"Y. C. Tay . 2018. Analytical Performance Modeling for Computer Systems ( third ed.). Morgan & Claypool . Y. C. Tay. 2018. Analytical Performance Modeling for Computer Systems (third ed.). Morgan & Claypool."},{"key":"e_1_3_2_1_69_1","volume-title":"Proc. 5th ACM & IEEE Int. Conf. on Formal Methods and Models for Co-Design, MEMOCODE'07","author":"Theelen B. D.","unstructured":"B. D. Theelen , O. Florescu , M. Geilen , J. Huang , P. H. A. van der Putten, and J. Voeten. 2007. Software\/Hardware Engineering with the Parallel Object-Oriented Specification Language . In Proc. 5th ACM & IEEE Int. Conf. on Formal Methods and Models for Co-Design, MEMOCODE'07 . IEEE Computer Society, 139--148. B. D. Theelen, O. Florescu, M. Geilen, J. Huang, P. H. A. van der Putten, and J. Voeten. 2007. Software\/Hardware Engineering with the Parallel Object-Oriented Specification Language. In Proc. 5th ACM & IEEE Int. Conf. on Formal Methods and Models for Co-Design, MEMOCODE'07. IEEE Computer Society, 139--148."},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/2967606"},{"key":"e_1_3_2_1_71_1","volume-title":"Proc. Forum on specification & Design Languages, FDL '16","author":"van der Sanden B.","unstructured":"B. van der Sanden , J. Bastos , J. Voeten , M. Geilen , M. Reniers , T. Basten , J. Jacobs , and R. Schiffelers . 2016. Compositional Specification of Functionality and Timing of Manufacturing Systems . In Proc. Forum on specification & Design Languages, FDL '16 . IEEE. B. van der Sanden, J. Bastos, J. Voeten, M. Geilen, M. Reniers, T. Basten, J. Jacobs, and R. Schiffelers. 2016. Compositional Specification of Functionality and Timing of Manufacturing Systems. In Proc. Forum on specification & Design Languages, FDL '16. IEEE."},{"key":"e_1_3_2_1_72_1","volume-title":"Proc. 2021 IEEE 17th Int. Conf. on Aut. Sc. and Eng., CASE'21. IEEE.","author":"van der Sanden B.","unstructured":"B. van der Sanden , Y. Blankenstein , R. Schiffelers , and J. Voeten . 2021. LSAT: Specification and Analysis of Product Logistics in Flexible Manufacturing Systems . In Proc. 2021 IEEE 17th Int. Conf. on Aut. Sc. and Eng., CASE'21. IEEE. B. van der Sanden, Y. Blankenstein, R. Schiffelers, and J. Voeten. 2021. LSAT: Specification and Analysis of Product Logistics in Flexible Manufacturing Systems. In Proc. 2021 IEEE 17th Int. Conf. on Aut. Sc. and Eng., CASE'21. IEEE."},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"crossref","unstructured":"J. van Pinxten U. Waqas M. C. W. Geilen T. Basten and L. Somers. 2017. Online Scheduling of 2-Re-entrant Flexible Manufacturing Systems. ACM Transactions on Embedded Computing Systems 16 Article 160 (2017). J. van Pinxten U. Waqas M. C. W. Geilen T. Basten and L. Somers. 2017. Online Scheduling of 2-Re-entrant Flexible Manufacturing Systems. ACM Transactions on Embedded Computing Systems 16 Article 160 (2017).","DOI":"10.1145\/3126551"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-NIER52604.2021.00028"},{"key":"e_1_3_2_1_75_1","unstructured":"M. Voelter. 2014. DSL Engineering: Designing Implementing and Using Domain-Specific Languages. dslbook.org. M. Voelter. 2014. DSL Engineering: Designing Implementing and Using Domain-Specific Languages. dslbook.org."},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-5316(02)00105-0"},{"key":"e_1_3_2_1_77_1","volume-title":"High-Performance Embedded Computing: Architectures, Applications, and Methodologies","author":"Wolf W.","unstructured":"W. Wolf . 2010. High-Performance Embedded Computing: Architectures, Applications, and Methodologies . Elsevier . W. Wolf. 2010. High-Performance Embedded Computing: Architectures, Applications, and Methodologies. Elsevier."},{"key":"e_1_3_2_1_78_1","volume-title":"SFM'10","author":"Wolter K.","unstructured":"K. Wolter and P. Reinecke . 2010. Performance and Security Tradeoff. In Formal Methods for Quantitative Aspects of Programming Languages , SFM'10 . Springer, 135--167. K. Wolter and P. Reinecke. 2010. Performance and Security Tradeoff. In Formal Methods for Quantitative Aspects of Programming Languages, SFM'10. Springer, 135--167."},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1080\/17517575.2018.1442934"},{"key":"e_1_3_2_1_80_1","volume-title":"Proc. 2019 IEEE 26th Int. Conf. on Software Analysis, Evolution and Reengineering, SANER'19. IEEE, 253--263","author":"Yang N.","unstructured":"N. Yang , K. Aslam , R. Schiffelers , L. Lensink , D. Hendriks , L. Cleophas , and A. Serebrenik . 2019. Improving Model Inference in Industry by Combining Active and Passive Learning . In Proc. 2019 IEEE 26th Int. Conf. on Software Analysis, Evolution and Reengineering, SANER'19. IEEE, 253--263 . N. Yang, K. Aslam, R. Schiffelers, L. Lensink, D. Hendriks, L. Cleophas, and A. Serebrenik. 2019. Improving Model Inference in Industry by Combining Active and Passive Learning. In Proc. 2019 IEEE 26th Int. Conf. on Software Analysis, Evolution and Reengineering, SANER'19. IEEE, 253--263."},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.2016.7437026"}],"event":{"name":"ESWEEK '21: Seventeenth Embedded Systems Week","location":"Virtual Event","acronym":"ESWEEK '21","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing","IEEE CAS","IEEE Council on Electronic Design Automation (CEDA)"]},"container-title":["Proceedings of the 2021 International Conference on Embedded Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3477244.3477985","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3477244.3477985","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:18:32Z","timestamp":1750191512000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3477244.3477985"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,30]]},"references-count":80,"alternative-id":["10.1145\/3477244.3477985","10.1145\/3477244"],"URL":"https:\/\/doi.org\/10.1145\/3477244.3477985","relation":{},"subject":[],"published":{"date-parts":[[2021,9,30]]},"assertion":[{"value":"2021-09-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}