{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:29:12Z","timestamp":1750220952345,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":85,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,15]],"date-time":"2019-04-15T00:00:00Z","timestamp":1555286400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,4,15]]},"DOI":"10.1145\/3313151.3313168","type":"proceedings-article","created":{"date-parts":[[2019,3,25]],"date-time":"2019-03-25T12:18:36Z","timestamp":1553516316000},"page":"41-50","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Optimization techniques for time-critical cyber-physical systems"],"prefix":"10.1145","author":[{"given":"Yecheng","family":"Zhao","sequence":"first","affiliation":[{"name":"Virginia Tech"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haibo","family":"Zeng","sequence":"additional","affiliation":[{"name":"Virginia Tech"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,4,15]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Karl J. \u00c5str\u00f6m and Bj\u00f6rn Wittenmark. 1997. Computer-controlled Systems (3rd Ed.). Prentice-Hall Inc. Upper Saddle River NJ USA.   Karl J. \u00c5str\u00f6m and Bj\u00f6rn Wittenmark. 1997. Computer-controlled Systems (3rd Ed.). Prentice-Hall Inc. Upper Saddle River NJ USA."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1993.0034"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2560033"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2808231"},{"volume-title":"Optimal Implementation of Simulink Models on Multicore Architectures with Partitioned Fixed Priority Scheduling. In 39th IEEE Real-Time Systems Symposium (RTSS).","year":"2018","author":"Bansal Shamit","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2006.47"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2011.12"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.3390\/electronics2010001"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2013.209"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2003.1214341"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.103"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-006-9010-1"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2008.167"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2015.9"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2014.38"},{"volume-title":"Performance-Driven Design of Engine Control Tasks. In 7th ACM\/IEEE International Conference on Cyber-Physical Systems (ICCPS). 1--10","author":"Biondi A.","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"Giorgio C Buttazzo. 2011. Hard real-time computing systems: predictable scheduling algorithms and applications. Vol. 24. Springer Science & Business Media.   Giorgio C Buttazzo. 2011. Hard real-time computing systems: predictable scheduling algorithms and applications. Vol. 24. Springer Science & Business Media.","DOI":"10.1007\/978-1-4614-0676-1_3"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2012.27"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2435227.2435245"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1278480.1278553"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2016.04.002"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2008.66"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2072511"},{"volume-title":"Conference on Design, Automation and Test in Europe (DATE).","year":"2014","author":"Dong Chuansheng","key":"e_1_3_2_1_25_1"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2161237"},{"volume-title":"Time and Memory Tradeoffs in the Implementation of AUTOSAR Components. In Conference on Design, Automation and Test in Europe.","year":"2009","author":"Ferrari Alberto","key":"e_1_3_2_1_27_1"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/MVT.2014.2360640"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2014.55"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950057"},{"volume-title":"Methods and Tools for Calculating the Flexibility of Automotive HW\/SW Architectures. In Society of Automotive Engineers World Congress (SAE).","year":"2012","author":"Guo Liangpeng","key":"e_1_3_2_1_31_1"},{"volume-title":"Proc. 15th IFAC World Congress on Automatic Control. 34--43","year":"2011","author":"Henriksson D.","key":"e_1_3_2_1_32_1"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805825"},{"key":"e_1_3_2_1_34_1","unstructured":"Infineon {n. d.}. Microcontroller. Infineon. {Online} http:\/\/www.infineon.com\/microcontrollers. Retrieved in January 2019.  Infineon {n. d.}. Microcontroller. Infineon. {Online} http:\/\/www.infineon.com\/microcontrollers. Retrieved in January 2019."},{"key":"e_1_3_2_1_35_1","unstructured":"International Standardization Organization {n. d.}. ISO 26262-1:2011(en) Road vehicles - Functional safety - Part 1: Vocabulary. International Standardization Organization.  International Standardization Organization {n. d.}. ISO 26262-1:2011(en) Road vehicles - Functional safety - Part 1: Vocabulary. International Standardization Organization."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2012.14"},{"volume-title":"Proc. IEEE 100 (May","year":"2012","author":"Kim K. D.","key":"e_1_3_2_1_37_1"},{"key":"e_1_3_2_1_38_1","unstructured":"John Koon. {n. d.}. Overview of the Medical Semiconductor Market and Applications. Infineon. {Online} http:\/\/medsmagazine.com\/2012\/04\/overview-of-the-medical-semiconductor-market-and-applications\/. Retrieved in January 2019.  John Koon. {n. d.}. Overview of the Medical Semiconductor Market and Applications. Infineon. {Online} http:\/\/medsmagazine.com\/2012\/04\/overview-of-the-medical-semiconductor-market-and-applications\/. Retrieved in January 2019."},{"volume-title":"Workshop on Analysis Tools and Methodologies for Embedded and Real-Time Systems (WATERS).","year":"2015","author":"Kramer S","key":"e_1_3_2_1_39_1"},{"volume-title":"Real World Automotive Benchmarks For Free. In International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS).","year":"2015","author":"Kramer Simon","key":"e_1_3_2_1_40_1"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1506409.1506426"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837462"},{"volume-title":"The Rate Monotonic Scheduling Algorithm: Exact Characterization and Average Case Behavior. In 10th IEEE Real-Time Systems Symposium (RTSS).","author":"Lehoczky J.P.","key":"e_1_3_2_1_44_1"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480893"},{"key":"e_1_3_2_1_47_1","unstructured":"MathWorks {n. d.}. Simulink Documentation. MathWorks. {Online} http:\/\/www.mathworks.com\/help\/simulink\/.  MathWorks {n. d.}. Simulink Documentation. MathWorks. {Online} http:\/\/www.mathworks.com\/help\/simulink\/."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2858023"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.5555\/2492708.2492760"},{"key":"e_1_3_2_1_50_1","unstructured":"National Institute of Standards and Technology (NIST) 2016. Cyber Physical Systems Program. National Institute of Standards and Technology (NIST). {Online} www.nist.gov\/programs-projects\/cyber-physical-systems-program. Retrieved in January 2019.  National Institute of Standards and Technology (NIST) 2016. Cyber Physical Systems Program. National Institute of Standards and Technology (NIST). {Online} www.nist.gov\/programs-projects\/cyber-physical-systems-program. Retrieved in January 2019."},{"key":"e_1_3_2_1_51_1","unstructured":"NXP Semiconductor {n. d.}. NXP Automotive MCUs and MPUs. NXP Semiconductor. {Online} www.nxp.com\/docs\/en\/product-selector-guide\/BRAUTOPRDCTMAP.pdf. Retrieved in January 2019.  NXP Semiconductor {n. d.}. NXP Automotive MCUs and MPUs. NXP Semiconductor. {Online} www.nxp.com\/docs\/en\/product-selector-guide\/BRAUTOPRDCTMAP.pdf. Retrieved in January 2019."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2656075.2656096"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-017-9290-7"},{"volume-title":"Schedulability Analysis of Adaptive Variable-Rate Tasks with Dynamic Switching Speeds. In 39th IEEE Real-Time Systems Symposium (RTSS).","year":"2018","author":"Peng Chao","key":"e_1_3_2_1_54_1"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837461"},{"volume-title":"2015 ACM\/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS). 3.","year":"2015","author":"Ramesh S.","key":"e_1_3_2_1_56_1"},{"key":"e_1_3_2_1_57_1","unstructured":"RTCA {n. d.}. DO-178C Software Considerations in Airborne Systems and Equipment Certification. RTCA.  RTCA {n. d.}. DO-178C Software Considerations in Airborne Systems and Equipment Certification. RTCA."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.18.217-238"},{"key":"e_1_3_2_1_59_1","first-page":"1","article-title":"Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities","volume":"99","author":"Seshia S. A.","year":"2017","journal-title":"IEEE Transactions on Computer-Aided Design of Integratd Circuits and Systems (TCAD) PP"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/SAMOS.2012.6404193"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.5555\/827270.829035"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2161529"},{"key":"e_1_3_2_1_63_1","unstructured":"The AUTOSAR Adaptive Platform. {n. d}. {Online:} https:\/\/www.autosar.org\/standards\/adaptive-platform\/.  The AUTOSAR Adaptive Platform. {n. d}. {Online:} https:\/\/www.autosar.org\/standards\/adaptive-platform\/."},{"key":"e_1_3_2_1_64_1","unstructured":"The Networking and Information Technology Research and Development (NITRD) Program 2015. Cyber Physical Systems Vision Statement. The Networking and Information Technology Research and Development (NITRD) Program.  The Networking and Information Technology Research and Development (NITRD) Program 2015. Cyber Physical Systems Vision Statement. The Networking and Information Technology Research and Development (NITRD) Program."},{"key":"e_1_3_2_1_65_1","unstructured":"Transistor count. {n. d.}. {Online:} https:\/\/en.wikipedia.org\/wiki\/Transistor_count.  Transistor count. {n. d.}. {Online:} https:\/\/en.wikipedia.org\/wiki\/Transistor_count."},{"key":"e_1_3_2_1_66_1","unstructured":"Stavros Tripakis and Roberto Lublinerman. 2014. Modular Code Generation from Synchronous Models: Abstraction and Compositionality. In Invited Talk Dagstuhl Seminar Design and Synthesis from Components.  Stavros Tripakis and Roberto Lublinerman. 2014. Modular Code Generation from Synchronous Models: Abstraction and Compositionality. In Invited Talk Dagstuhl Seminar Design and Synthesis from Components."},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.35"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/2846096"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2015.14"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2016.2528978"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-014-9209-5"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/2632160"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2010.13"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2012.6356578"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2012.30"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2012.21"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2013.30"},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2012.6489571"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2857380"},{"volume-title":"Optimization of Real-Time Software Implementing Multi-Rate Synchronous Finite State Machines. In 17th International Conference on Embedded Software (EMSOFT).","year":"2017","author":"Zhao Yecheng","key":"e_1_3_2_1_80_1"},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.5555\/3130379.3130432"},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-017-9267-6"},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2017.00018"},{"volume-title":"The Concept of Response Time Estimation Range for Optimizing Systems Scheduled with Fixed Priority. In IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). 283--294","author":"Zhao Y.","key":"e_1_3_2_1_84_1"},{"key":"e_1_3_2_1_85_1","unstructured":"Yecheng Zhao and Haibo Zeng. to appear. The Concept of Unschedulability Core for Optimizing Real-Time Systems with Fixed-Priority Scheduling. IEEE Trans. Computers (TC) (to appear).  Yecheng Zhao and Haibo Zeng. to appear. The Concept of Unschedulability Core for Optimizing Real-Time Systems with Fixed-Priority Scheduling. IEEE Trans. Computers (TC) (to appear)."},{"key":"e_1_3_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.5555\/2485288.2485604"}],"event":{"name":"CPS-IoT Week '19: Cyber-Physical Systems and Internet of Things Week 2019","acronym":"CPS-IoT Week '19","location":"Montreal Quebec Canada"},"container-title":["Proceedings of the Workshop on Design Automation for CPS and IoT"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3313151.3313168","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3313151.3313168","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:54:00Z","timestamp":1750204440000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3313151.3313168"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,15]]},"references-count":85,"alternative-id":["10.1145\/3313151.3313168","10.1145\/3313151"],"URL":"https:\/\/doi.org\/10.1145\/3313151.3313168","relation":{},"subject":[],"published":{"date-parts":[[2019,4,15]]},"assertion":[{"value":"2019-04-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}