{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:21:12Z","timestamp":1750306872315,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,3,24]],"date-time":"2014-03-24T00:00:00Z","timestamp":1395619200000},"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":[[2014,3,24]]},"DOI":"10.1145\/2554850.2554929","type":"proceedings-article","created":{"date-parts":[[2014,7,22]],"date-time":"2014-07-22T15:08:30Z","timestamp":1406041710000},"page":"1080-1085","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Schedulability analysis support for automotive systems"],"prefix":"10.1145","author":[{"given":"Eun-Young","family":"Kang","sequence":"first","affiliation":[{"name":"Namur Univ., Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre-Yves","family":"Schobbens","sequence":"additional","affiliation":[{"name":"Namur Univ., Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,3,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/646874.709849"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_3_1","unstructured":"Automotive open system architecture. www.autosar.org.  Automotive open system architecture. www.autosar.org."},{"key":"e_1_3_2_1_4_1","first-page":"147","volume-title":"LNCS(2034)","author":"Behrmann G.","year":"2001","unstructured":"G. Behrmann , A. Fehnker , T. Hune , K. Larsen , P. Pettersson , J. Romijn , and F. Vaandrager . Minimum-cost reachability for priced timed automata, In Hybrid Systems , LNCS(2034) , pp 147 -- 161 , 2001 . G. Behrmann, A. Fehnker, T. Hune, K. Larsen, P. Pettersson, J. Romijn, and F. Vaandrager. Minimum-cost reachability for priced timed automata, In Hybrid Systems, LNCS(2034), pp 147--161, 2001."},{"key":"e_1_3_2_1_5_1","first-page":"58","article-title":"Developing automotive products using EAST-ADL2 and AUTOSAR compliant architecture description language","volume":"793","author":"Cuenot P.","year":"2008","unstructured":"P. Cuenot , P. Frey , R. Johansson , H. L\u00f6nn , M. Reiser , D. Servat , R. Koligari , and D. Chen . Developing automotive products using EAST-ADL2 and AUTOSAR compliant architecture description language . Ingeniurs de l'Automobile 793 , pp 58 -- 64 , 2008 . P. Cuenot, P. Frey, R. Johansson, H. L\u00f6nn, M. Reiser, D. Servat, R. Koligari, and D. Chen. Developing automotive products using EAST-ADL2 and AUTOSAR compliant architecture description language. Ingeniurs de l'Automobile 793, pp 58--64, 2008.","journal-title":"Ingeniurs de l'Automobile"},{"key":"e_1_3_2_1_6_1","unstructured":"EAST-ADL Specification v2.1.9. MAENAD Project 2011.  EAST-ADL Specification v2.1.9. MAENAD Project 2011."},{"key":"e_1_3_2_1_7_1","unstructured":"EAST-ADL White Paper M2. http:\/\/www.maenad.eu  EAST-ADL White Paper M2. http:\/\/www.maenad.eu"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11663430_9"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2013.06.007"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2012.13"},{"key":"e_1_3_2_1_11_1","volume-title":"EAST-ADL behavioral modeling and its translation into the analyzable formal model. TR","author":"Kang E. Y.","year":"2013","unstructured":"E. Y. Kang , G. Perrouin , and P. Y. Schobbens . EAST-ADL behavioral modeling and its translation into the analyzable formal model. TR , PReCISE Center , Belgium , 2013 . E. Y. Kang, G. Perrouin, and P. Y. Schobbens. EAST-ADL behavioral modeling and its translation into the analyzable formal model. TR, PReCISE Center, Belgium, 2013."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2013.27"},{"key":"e_1_3_2_1_13_1","volume-title":"Advanced XFG language: Extending XFG with energy-aware timed requirement properties. TR","author":"Kang E. Y.","year":"2013","unstructured":"E. Y. Kang and P. Y. Schobbens . Advanced XFG language: Extending XFG with energy-aware timed requirement properties. TR , PReCISE Centre , Belgium , 2013 . E. Y. Kang and P. Y. Schobbens. Advanced XFG language: Extending XFG with energy-aware timed requirement properties. TR, PReCISE Centre, Belgium, 2013."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCA.2013.6564929"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/2041619.2041645"},{"key":"e_1_3_2_1_16_1","unstructured":"MAENAD FP7 Project. http:\/\/www.maenad.eu\/  MAENAD FP7 Project. http:\/\/www.maenad.eu\/"},{"key":"e_1_3_2_1_17_1","first-page":"309","volume-title":"ISSE","author":"Mallet F.","year":"2008","unstructured":"F. Mallet , C. Andre , and R. Simone . CCSL: Specifying clock constraints with UML\/MARTE . In ISSE , pp 309 -- 314 , 2008 . F. Mallet, C. Andre, and R. Simone. CCSL: Specifying clock constraints with UML\/MARTE. In ISSE, pp 309--314, 2008."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2009.18"},{"key":"e_1_3_2_1_19_1","volume-title":"OMG","author":"MARTE","year":"2011","unstructured":"MARTE : Modeling and analysis of real-time embedded systems v 1.1 ., OMG , 2011 . MARTE: Modeling and analysis of real-time embedded systems v 1.1., OMG, 2011."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39031-9_8"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/2355579.2357471"},{"key":"e_1_3_2_1_22_1","unstructured":"Timing Augmented Description Language V2 2010. http:\/\/www.timmo-2-use.org\/timmo\/publications.htm  Timing Augmented Description Language V2 2010. http:\/\/www.timmo-2-use.org\/timmo\/publications.htm"},{"key":"e_1_3_2_1_23_1","unstructured":"TIMing MOdel http:\/\/www.timmo-2-use.org  TIMing MOdel http:\/\/www.timmo-2-use.org"}],"event":{"name":"SAC 2014: Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Gyeongju Republic of Korea","acronym":"SAC 2014"},"container-title":["Proceedings of the 29th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2554850.2554929","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2554850.2554929","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:18:17Z","timestamp":1750234697000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2554850.2554929"}},"subtitle":["from requirement to implementation"],"short-title":[],"issued":{"date-parts":[[2014,3,24]]},"references-count":23,"alternative-id":["10.1145\/2554850.2554929","10.1145\/2554850"],"URL":"https:\/\/doi.org\/10.1145\/2554850.2554929","relation":{},"subject":[],"published":{"date-parts":[[2014,3,24]]},"assertion":[{"value":"2014-03-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}