{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T19:22:49Z","timestamp":1648754569879},"reference-count":12,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.268.5","type":"journal-article","created":{"date-parts":[[2018,3,30]],"date-time":"2018-03-30T07:42:15Z","timestamp":1522395735000},"page":"150-168","source":"Crossref","is-referenced-by-count":3,"title":["A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems"],"prefix":"10.4204","volume":"268","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":[]}],"member":"2720","published-online":{"date-parts":[[2018,3,23]]},"reference":[{"key":"amnell2003times","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-40903-8_6","article-title":"TIMES: a tool for schedulability analysis and code generation of real-time systems","volume-title":"FORMATS 2003","author":"Amnell"},{"key":"annighofer2014systems","doi-asserted-by":"publisher","DOI":"10.1007\/s13272-015-0156-1","volume-title":"A Systems Architecting Framework for Distributed Integrated Modular Avionics","author":"Annigh\u00f6fer","year":"2014"},{"key":"boudjadar2014compositional","article-title":"Compositional schedulability analysis of an avionics system using UPPAAL","volume-title":"AASE 2014","author":"Boudjadar"},{"key":"carnevali2011formal","doi-asserted-by":"publisher","DOI":"10.1007\/BF00360340","article-title":"A formal approach to design and verification of two-level Hierarchical Scheduling systems","volume-title":"RST 2011","author":"Carnevali"},{"issue":"5","key":"carnevali2013compositional","doi-asserted-by":"publisher","first-page":"638","DOI":"10.1109\/TSE.2012.54","article-title":"Compositional verification for hierarchical scheduling of real-time systems","volume":"39","author":"Carnevali","year":"2013","journal-title":"IEEE Transactions on Software Engineering"},{"key":"cassez2000impressive","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44618-4_12","article-title":"The impressive power of stopwatches","volume-title":"CONCUR 2000","author":"Cassez"},{"key":"cicirelli2012development","doi-asserted-by":"publisher","DOI":"10.1109\/DS-RT.2012.16","article-title":"Development of a schedulability analysis framework based on pTPN and UPPAAL with stopwatches","volume-title":"DSRA 2012","author":"Cicirelli"},{"issue":"4","key":"david2015uppaal","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/s10009-014-0361-y","article-title":"Uppaal SMC tutorial","volume":"17","author":"David","year":"2015","journal-title":"STTT"},{"key":"easwaran2009compositional","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2009.46","article-title":"A compositional scheduling framework for digital avionics systems","volume-title":"RTCSA 2009","author":"Easwaran"},{"issue":"2","key":"gutierrez2014holistic","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-013-9192-2","article-title":"Holistic schedulability analysis for multipacket messages in AFDX networks","volume":"50","author":"Guti\u00e9rrez","year":"2014","journal-title":"Real-Time Systems"},{"key":"sun2014component","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2014.6910502","article-title":"Component-based analysis of hierarchical scheduling using linear hybrid automata","volume-title":"ERCSA 2014","author":"Sun"},{"key":"wang2013research","doi-asserted-by":"publisher","DOI":"10.1109\/dasc.2013.6712647","article-title":"Research on distributed integrated modular avionics system architecture design and implementation","volume-title":"DASC 2013","author":"Wang"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2018,3,30]],"date-time":"2018-03-30T07:42:24Z","timestamp":1522395744000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1803.11050v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,23]]},"references-count":12,"URL":"https:\/\/doi.org\/10.4204\/eptcs.268.5","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,3,23]]}}}