{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:22:33Z","timestamp":1750306953805,"version":"3.41.0"},"reference-count":14,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2013,2,1]],"date-time":"2013-02-01T00:00:00Z","timestamp":1359676800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004359","name":"Vetenskapsr\u00e4det","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004359","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGBED Rev."],"published-print":{"date-parts":[[2013,2]]},"abstract":"<jats:p>Most embedded systems need to continually function in unpredictable environments. One way to achieve high dependability is to make the system adaptive to changes, if possible, without sacrificing maintainability. To be able to reason about adaptivity, one needs a modeling and analysis framework suitable for adaptive systems. Recently, we have introduced Adaptive Task Automata, to meet this goal. In this paper, we overview the current functionality implemented in the Adaptive Task Automata framework (ATA), as well as some of the challenges encountered during the development. In the end, we enumerate possible future extensions of ATA.<\/jats:p>","DOI":"10.1145\/2492385.2492393","type":"journal-article","created":{"date-parts":[[2013,6,18]],"date-time":"2013-06-18T12:36:08Z","timestamp":1371558968000},"page":"43-47","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Modeling and analysis of adaptive embedded systems using adaptive task automata"],"prefix":"10.1145","volume":"10","author":[{"given":"Leo","family":"Hatvani","sequence":"first","affiliation":[{"name":"M\u00e4lardalen University, V\u00e4ster\u00e5s Sweden"}]},{"given":"Cristina","family":"Seceleanu","sequence":"additional","affiliation":[{"name":"M\u00e4lardalen University, V\u00e4ster\u00e5s Sweden"}]},{"given":"Paul","family":"Pettersson","sequence":"additional","affiliation":[{"name":"M\u00e4lardalen University, V\u00e4ster\u00e5s Sweden"}]}],"member":"320","published-online":{"date-parts":[[2013,2]]},"reference":[{"key":"e_1_2_1_1_1","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. of International Workshop on Formal Modeling and Analysis of Timed Systems","author":"Amnell T.","year":"2003","unstructured":"T. Amnell , E. Fersman , L. Mokrushin , P. Pettersson , and W. Yi . Times: a tool for schedulability analysis and code generation of real-time systems . In Proc. of International Workshop on Formal Modeling and Analysis of Timed Systems , Lecture Notes in Computer Science . Springer-Verlag , 2003 . T. Amnell, E. Fersman, L. Mokrushin, P. Pettersson, and W. Yi. Times: a tool for schedulability analysis and code generation of real-time systems. In Proc. of International Workshop on Formal Modeling and Analysis of Timed Systems, Lecture Notes in Computer Science. Springer-Verlag, 2003."},{"key":"e_1_2_1_2_1","volume-title":"Nov.","author":"B\u00e9rard B.","year":"1998","unstructured":"B. B\u00e9rard , A. Petit , V. Diekert , and P. Gastin . Characterization of the expressive power of silent transitions in timed automata. Fundam. Inf., 36(2--3):145--182 , Nov. 1998 . B. B\u00e9rard, A. Petit, V. Diekert, and P. Gastin. Characterization of the expressive power of silent transitions in timed automata. Fundam. Inf., 36(2--3):145--182, Nov. 1998."},{"doi-asserted-by":"publisher","key":"e_1_2_1_3_1","DOI":"10.5555\/647767.733781"},{"doi-asserted-by":"publisher","key":"e_1_2_1_4_1","DOI":"10.1007\/11867340_10"},{"doi-asserted-by":"publisher","key":"e_1_2_1_5_1","DOI":"10.1201\/9781420067859-c4"},{"doi-asserted-by":"publisher","key":"e_1_2_1_6_1","DOI":"10.1016\/j.ic.2007.01.009"},{"doi-asserted-by":"publisher","key":"e_1_2_1_7_1","DOI":"10.1016\/j.tcs.2005.11.019"},{"doi-asserted-by":"publisher","key":"e_1_2_1_8_1","DOI":"10.5555\/646486.694626"},{"doi-asserted-by":"publisher","key":"e_1_2_1_9_1","DOI":"10.1007\/978-3-642-28872-2_9"},{"doi-asserted-by":"publisher","key":"e_1_2_1_10_1","DOI":"10.1007\/s100090050010"},{"key":"e_1_2_1_11_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/978-3-642-16561-0_21","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"Miku\u010dionis M.","year":"2010","unstructured":"M. Miku\u010dionis , K. Larsen , J. Rasmussen , B. Nielsen , A. Skou , S. Palm , J. Pedersen , and P. Hougaard . Schedulability analysis using uppaal: Herschel-planck case study . In T. Margaria and B. Steffen, editors, Leveraging Applications of Formal Methods, Verification, and Validation , volume 6416 of Lecture Notes in Computer Science , pages 175 -- 190 . Springer Berlin\/Heidelberg , 2010 . M. Miku\u010dionis, K. Larsen, J. Rasmussen, B. Nielsen, A. Skou, S. Palm, J. Pedersen, and P. Hougaard. Schedulability analysis using uppaal: Herschel-planck case study. In T. Margaria and B. Steffen, editors, Leveraging Applications of Formal Methods, Verification, and Validation, volume 6416 of Lecture Notes in Computer Science, pages 175--190. Springer Berlin\/Heidelberg, 2010."},{"doi-asserted-by":"publisher","key":"e_1_2_1_12_1","DOI":"10.5555\/519167.828781"},{"doi-asserted-by":"publisher","key":"e_1_2_1_14_1","DOI":"10.1145\/1137677.1137681"},{"key":"e_1_2_1_15_1","first-page":"1","volume-title":"Information Science and Engineering (ICISE), 2010 2nd International Conference on","author":"Yu F.","year":"2010","unstructured":"F. Yu , G. Li , and N. Xiong . Schedulability analysis of multi-processor real-time systems using uppaal . In Information Science and Engineering (ICISE), 2010 2nd International Conference on , pages 1 -- 6 , dec. 2010 . F. Yu, G. Li, and N. Xiong. Schedulability analysis of multi-processor real-time systems using uppaal. In Information Science and Engineering (ICISE), 2010 2nd International Conference on, pages 1--6, dec. 2010."}],"container-title":["ACM SIGBED Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2492385.2492393","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2492385.2492393","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:03Z","timestamp":1750235943000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2492385.2492393"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,2]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,2]]}},"alternative-id":["10.1145\/2492385.2492393"],"URL":"https:\/\/doi.org\/10.1145\/2492385.2492393","relation":{},"ISSN":["1551-3688"],"issn-type":[{"type":"electronic","value":"1551-3688"}],"subject":[],"published":{"date-parts":[[2013,2]]},"assertion":[{"value":"2013-02-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}