{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T16:18:05Z","timestamp":1761581885636,"version":"3.37.3"},"reference-count":18,"publisher":"American Institute of Aeronautics and Astronautics (AIAA)","issue":"11","funder":[{"DOI":"10.13039\/501100004836","name":"Det Frie Forskningsr\u00e5d","doi-asserted-by":"publisher","award":["DFF-7017-00348"],"award-info":[{"award-number":["DFF-7017-00348"]}],"id":[{"id":"10.13039\/501100004836","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["arc.aiaa.org"],"crossmark-restriction":true},"short-container-title":["Journal of Aerospace Information Systems"],"published-print":{"date-parts":[[2019,11]]},"DOI":"10.2514\/1.i010715","type":"journal-article","created":{"date-parts":[[2019,10,22]],"date-time":"2019-10-22T14:32:26Z","timestamp":1571754746000},"page":"473-499","update-policy":"https:\/\/doi.org\/10.2514\/aiaa_crossmarkpolicy","source":"Crossref","is-referenced-by-count":6,"title":["Schedulability Analysis of Distributed Multicore Avionics Systems with UPPAAL"],"prefix":"10.2514","volume":"16","author":[{"given":"Pujie","family":"Han","sequence":"first","affiliation":[]},{"given":"Zhengjun","family":"Zhai","sequence":"additional","affiliation":[]},{"given":"Brian","family":"Nielsen","sequence":"additional","affiliation":[]},{"given":"Ulrik","family":"Nyman","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Kristjansen","sequence":"additional","affiliation":[]}],"member":"1387","reference":[{"key":"r3","doi-asserted-by":"publisher","DOI":"10.1007\/s13272-015-0156-1"},{"key":"r6","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.54"},{"key":"r9","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0361-y"},{"key":"r12","doi-asserted-by":"publisher","DOI":"10.1109\/MAES.2010.5631720"},{"key":"r19","unstructured":"DoddR. \u201cColoured Petri Net Modelling of a Generic Avionics Mission Computer,\u201d Tech. Rept. DTIC Document, 2006."},{"key":"r21","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57318-6_30"},{"key":"r22","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"r23","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44618-4_12"},{"key":"r25","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-015-9245-9"},{"key":"r34","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-013-9192-2"},{"key":"r35","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45318-0"},{"key":"r36","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2009.2016085"},{"key":"r37","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2055877"},{"key":"r41","doi-asserted-by":"publisher","DOI":"10.5772\/10404"},{"key":"r43","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177725"},{"key":"r45","unstructured":"JeanX.GattiM.BerthonG.FumeyM. \u201cMULCORS\u2014Use of Multicore Processors in Airborne Systems,\u201d Tech. Rept. EASA, Germany, 2012."},{"key":"r50","doi-asserted-by":"publisher","DOI":"10.1109\/12.57058"},{"key":"r54","unstructured":"JensenH. \u201cAbstraction-Based Verification of Distributed Systems,\u201d Ph.D. Thesis, Aalborg Univ., Denmark, 1999."}],"container-title":["Journal of Aerospace Information Systems"],"original-title":[],"language":"en","deposited":{"date-parts":[[2021,3,1]],"date-time":"2021-03-01T07:35:40Z","timestamp":1614584140000},"score":1,"resource":{"primary":{"URL":"https:\/\/arc.aiaa.org\/doi\/10.2514\/1.I010715"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11]]},"references-count":18,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2019,11]]}},"alternative-id":["10.2514\/1.I010715"],"URL":"https:\/\/doi.org\/10.2514\/1.i010715","relation":{},"ISSN":["2327-3097"],"issn-type":[{"type":"electronic","value":"2327-3097"}],"subject":[],"published":{"date-parts":[[2019,11]]},"assertion":[{"value":"2018-12-20","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-07-29","order":1,"name":"revised","label":"Revised","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-08-14","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-10-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}