{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:18:47Z","timestamp":1725513527676},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,7]]},"DOI":"10.1109\/qsic.2013.28","type":"proceedings-article","created":{"date-parts":[[2013,9,27]],"date-time":"2013-09-27T16:08:02Z","timestamp":1380298082000},"page":"320-325","source":"Crossref","is-referenced-by-count":1,"title":["On Schedulability Analysis for Embedded Systems with AADL Model"],"prefix":"10.1109","author":[{"given":"Yunwei","family":"Dong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yao","family":"Cheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tingting","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hong","family":"Ye","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"International Society of Automotive Engineers","year":"2007","key":"3"},{"key":"2","doi-asserted-by":"crossref","DOI":"10.21236\/ADA455842","author":"peter h feiler","year":"2006","journal-title":"The Architecture Analysis & Design Language (AADL) An Introduction"},{"journal-title":"SAE Aerospace SAE AS5506A Architecture Analysis and Design Language","year":"2009","key":"1"},{"key":"7","article-title":"On the use of real-time maude for architecture description and verification: A case study","author":"jerad","year":"0","journal-title":"Proc of the 2008 International Conference on Visions of Computer Science"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1315580.1315593"},{"key":"5","article-title":"A model-based approach to system-level dependency and real-time analysis of embedded software","author":"gu","year":"2003","journal-title":"Proc of Real-Time and Embedded Technology and Applications Symposium"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.3724\/SP.J.1001.2011.04014"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2009.31"}],"event":{"name":"2013 13th International Conference on Quality Software (QSIC)","start":{"date-parts":[[2013,7,29]]},"location":"Najing, China","end":{"date-parts":[[2013,7,30]]}},"container-title":["2013 13th International Conference on Quality Software"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6605720\/6605889\/06605946.pdf?arnumber=6605946","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,26]],"date-time":"2019-07-26T07:37:05Z","timestamp":1564126625000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6605946\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/qsic.2013.28","relation":{},"subject":[],"published":{"date-parts":[[2013,7]]}}}