{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T03:33:18Z","timestamp":1777692798911,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,4,9]],"date-time":"2018-04-09T00:00:00Z","timestamp":1523232000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Natural Science Foundation of China","award":["61550110242"],"award-info":[{"award-number":["61550110242"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,4,9]]},"DOI":"10.1145\/3167132.3167291","type":"proceedings-article","created":{"date-parts":[[2018,7,3]],"date-time":"2018-07-03T13:54:10Z","timestamp":1530626050000},"page":"1492-1499","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Formal verification of energy and timed requirements for a cooperative automotive system"],"prefix":"10.1145","author":[{"given":"Eun-Young","family":"Kang","sequence":"first","affiliation":[{"name":"University of Namur, Belgium and Sun Yat-Sen University, Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Li","family":"Huang","sequence":"additional","affiliation":[{"name":"Sun Yat-Sen University, Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dongrui","family":"Mu","sequence":"additional","affiliation":[{"name":"Sun Yat-Sen University, Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,4,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety Related Systems","author":"IEC","year":"2010","unstructured":"IEC 61508 : Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety Related Systems . International Organization for Standardization , Geneva . ( 2010 ). IEC 61508: Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety Related Systems. International Organization for Standardization, Geneva. (2010)."},{"key":"e_1_3_2_1_2_1","volume-title":"Road Vehicles Functional Safety Part 6. Product Development at the Software Level","author":"ISO","year":"2011","unstructured":"ISO 26262-6 : Road Vehicles Functional Safety Part 6. Product Development at the Software Level . International Organization for Standardization , Geneva . ( 2011 ). ISO 26262-6: Road Vehicles Functional Safety Part 6. Product Development at the Software Level. International Organization for Standardization, Geneva. (2011)."},{"key":"e_1_3_2_1_3_1","unstructured":"UPPAAL-SMC. (2011). http:\/\/people.cs.aau.dk\/~adavid\/smc\/  UPPAAL-SMC. (2011). http:\/\/people.cs.aau.dk\/~adavid\/smc\/"},{"key":"e_1_3_2_1_4_1","unstructured":"Simulink and StateFlow. (2017). http:\/\/www.mathworks.nl\/products\/  Simulink and StateFlow. (2017). http:\/\/www.mathworks.nl\/products\/"},{"key":"e_1_3_2_1_5_1","unstructured":"C. Baier J.-P. Katoen and K. G. Larsen. 2008. Principles of Model Checking. MIT press.   C. Baier J.-P. Katoen and K. G. Larsen. 2008. Principles of Model Checking. MIT press."},{"key":"e_1_3_2_1_6_1","volume-title":"zhan, and O. Honcharova","author":"Blom H.","year":"2012","unstructured":"H. Blom , L. Feng , H. L\u00f6nn , J. Nordlander , S. Kuntz , B. Lisper , S. Quinton , M. Hanke , M.-A. Peraldi-Frati , A. Goknil , J. Deantoni , G. B. Defo , K. Klobedanz , M. zhan, and O. Honcharova . 2012 . Timing Model, Tools , algorithms, languages, methodology, USE cases. Technical Report. TIMMO- 2-USE. H. Blom, L. Feng, H. L\u00f6nn, J. Nordlander, S. Kuntz, B. Lisper, S. Quinton, M. Hanke, M.-A. Peraldi-Frati, A. Goknil, J. Deantoni, G. B. Defo, K. Klobedanz, M. zhan, and O. Honcharova. 2012. Timing Model, Tools, algorithms, languages, methodology, USE cases. Technical Report. TIMMO-2-USE."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"H. Blom H. L\u00f6nn F. Hagl Y. Papadopoulos M.-O. Reiser C. J. Sj\u00f6stedt D. J. Chen F. Tagliab\u00f2 S. Torchiaro and S. Tucci. 2013. EAST-ADL: An Architecture Description Language for Automotive Software-Intensive Systems. Embedded Computing Systems: Applications Optimization and Advanced Design (2013) 456.  H. Blom H. L\u00f6nn F. Hagl Y. Papadopoulos M.-O. Reiser C. J. Sj\u00f6stedt D. J. Chen F. Tagliab\u00f2 S. Torchiaro and S. Tucci. 2013. EAST-ADL: An Architecture Description Language for Automotive Software-Intensive Systems. Embedded Computing Systems: Applications Optimization and Advanced Design (2013) 456.","DOI":"10.4018\/978-1-4666-3922-5.ch023"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"A. David D. Du K. G. Larsen A. Legay M. Miku\u00ebcionis D. B. Poulsen and S. Sedwards. 2012. Statistical Model Checking for Stochastic Hybrid Systems. In HSB (EPTCS 92). 122--136.  A. David D. Du K. G. Larsen A. Legay M. Miku\u00ebcionis D. B. Poulsen and S. Sedwards. 2012. Statistical Model Checking for Stochastic Hybrid Systems. In HSB (EPTCS 92). 122--136.","DOI":"10.4204\/EPTCS.92.9"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0361-y"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39031-9_8"},{"key":"e_1_3_2_1_13_1","volume-title":"Statistical Analysis of Energy-Aware Real-Time Automotive Systems in EAST-ADL\/Stateflow. In 11th International Conference on Industrial Electronics and Applications. IEEE, 1328--1333","author":"Kang E.-Y.","year":"2016","unstructured":"E.-Y. Kang , J.-D. Chen , L. Ke , and S.-Y. Chen . 2016 . Statistical Analysis of Energy-Aware Real-Time Automotive Systems in EAST-ADL\/Stateflow. In 11th International Conference on Industrial Electronics and Applications. IEEE, 1328--1333 . E.-Y. Kang, J.-D. Chen, L. Ke, and S.-Y. Chen. 2016. Statistical Analysis of Energy-Aware Real-Time Automotive Systems in EAST-ADL\/Stateflow. In 11th International Conference on Industrial Electronics and Applications. IEEE, 1328--1333."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"E.-Y. Kang E. P. Enois R. Marinescu C. Seceleanu P.-Y. Schobbens and P. Pettersson. 2013. A Methodology for Formal Analysis and Verification of EAST-ADL Models. Reliability Engineering and System Safety Journal (2013) 127 -- 138.  E.-Y. Kang E. P. Enois R. Marinescu C. Seceleanu P.-Y. Schobbens and P. Pettersson. 2013. A Methodology for Formal Analysis and Verification of EAST-ADL Models. Reliability Engineering and System Safety Journal (2013) 127 -- 138.","DOI":"10.1016\/j.ress.2013.06.007"},{"key":"e_1_3_2_1_15_1","unstructured":"E.-Y. Kang L. Huang and D. Mu. 2017. Formal Analysis of Non-functional Properties for a Cooperative Automotive System. Technical Report. https:\/\/sites.google.com\/site\/kangeu\/home\/publications  E.-Y. Kang L. Huang and D. Mu. 2017. Formal Analysis of Non-functional Properties for a Cooperative Automotive System. Technical Report. https:\/\/sites.google.com\/site\/kangeu\/home\/publications"},{"key":"e_1_3_2_1_16_1","volume-title":"Verifying Automotive Systems in EAST-ADL\/Stateflow Using UPPAAL. In 2015 22nd Asia-Pacific Software Engineering Conference. IEEE, 143--150","author":"Kang E.-Y.","year":"2015","unstructured":"E.-Y. Kang , L. Ke , M.-Z. Hua , and Y.-X. Wang . 2015 . Verifying Automotive Systems in EAST-ADL\/Stateflow Using UPPAAL. In 2015 22nd Asia-Pacific Software Engineering Conference. IEEE, 143--150 . E.-Y. Kang, L. Ke, M.-Z. Hua, and Y.-X. Wang. 2015. Verifying Automotive Systems in EAST-ADL\/Stateflow Using UPPAAL. In 2015 22nd Asia-Pacific Software Engineering Conference. IEEE, 143--150."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/QRS-C.2017.90"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2554850.2554929"},{"key":"e_1_3_2_1_19_1","first-page":"243","article-title":"Verifying Functional Behaviors of Automotive Products in EAST-ADL2 using UPPAAL-PORT. In 30th International Conference on Computer Safety, Reliability, and Security","volume":"6894","author":"Kang E.-Y.","year":"2011","unstructured":"E.-Y. Kang , P.-Y. Schobbens , and P. Pettersson . 2011 . Verifying Functional Behaviors of Automotive Products in EAST-ADL2 using UPPAAL-PORT. In 30th International Conference on Computer Safety, Reliability, and Security . Springer LNCS , vol 6894 , 243 -- 256 . E.-Y. Kang, P.-Y. Schobbens, and P. Pettersson. 2011. Verifying Functional Behaviors of Automotive Products in EAST-ADL2 using UPPAAL-PORT. In 30th International Conference on Computer Safety, Reliability, and Security. Springer LNCS, vol 6894, 243--256.","journal-title":"Springer LNCS"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-015-0384-z"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2009.18"},{"key":"e_1_3_2_1_22_1","volume-title":"3rd International Workshop on Formal Techniques for Safety-Critical Systems,. Springer, 189 -- 205","author":"Marinescu R.","unstructured":"R. Marinescu , H. Kaijser , M. Miku\u00e8ionis , C. Seceleanu , H. L\u00f6nn , and A. David . 2014. Analyzing Industrial Architectural Models by Simulation and Model-Checking . In 3rd International Workshop on Formal Techniques for Safety-Critical Systems,. Springer, 189 -- 205 . R. Marinescu, H. Kaijser, M. Miku\u00e8ionis, C. Seceleanu, H. L\u00f6nn, and A. David. 2014. Analyzing Industrial Architectural Models by Simulation and Model-Checking. In 3rd International Workshop on Formal Techniques for Safety-Critical Systems,. Springer, 189 -- 205."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"T. N. Qureshi D. J. Chen and M. T\u00f6rngren. 2012. A Timed Automata-Based Method to Analyze EAST-ADL Timing Constraint Specifications. Springer.  T. N. Qureshi D. J. Chen and M. T\u00f6rngren. 2012. A Timed Automata-Based Method to Analyze EAST-ADL Timing Constraint Specifications. Springer.","DOI":"10.1007\/978-3-642-31491-9_23"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2016.09.007"}],"event":{"name":"SAC 2018: Symposium on Applied Computing","location":"Pau France","acronym":"SAC 2018","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 33rd Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167132.3167291","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3167132.3167291","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:27:00Z","timestamp":1750213620000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167132.3167291"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,9]]},"references-count":22,"alternative-id":["10.1145\/3167132.3167291","10.1145\/3167132"],"URL":"https:\/\/doi.org\/10.1145\/3167132.3167291","relation":{},"subject":[],"published":{"date-parts":[[2018,4,9]]},"assertion":[{"value":"2018-04-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}