{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T08:00:08Z","timestamp":1730275208123,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/isorc.2003.1199242","type":"proceedings-article","created":{"date-parts":[[2004,6,22]],"date-time":"2004-06-22T20:27:43Z","timestamp":1087936063000},"page":"105-112","source":"Crossref","is-referenced-by-count":1,"title":["A systems engineering approach for constructing certifiable real-time distributed systems"],"prefix":"10.1109","author":[{"given":"B.","family":"Ravindran","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Le Lann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Jinggang Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Peng Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Lann. Asynchrony and real-time dependable computing","author":"le","year":"2003","journal-title":"Proceedings of IEEE WORDS"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"journal-title":"Distributed Algorithms","year":"1996","author":"lynch","key":"ref12"},{"key":"ref13","article-title":"Challenge problem: System certification for real-time systems that employ dynamic resource management","author":"masters","year":"2003","journal-title":"WPDRTS"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2002.1173108"},{"year":"0","key":"ref15","article-title":"SIXNET. The sixnet industrial ethernet switch"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.1998.723721"},{"article-title":"Soft real-time switched ethernet: Best-effort packet scheduling algorithm, implementation, and feasibility analysis","year":"2002","author":"wang","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1998.739732"},{"key":"ref4","first-page":"353","article-title":"An adaptive, distributed airborne tracking system","volume":"1586","author":"clark","year":"1999","journal-title":"Proc IEEE WPDRTS"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/BF00383389"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2002.1024740"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3149.214121"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2002.1024736"},{"key":"ref7","article-title":"Asynchronous decentralized realtime computer systems","author":"jensen","year":"1992","journal-title":"Real-Time Computing Proceedings of the NATO Advanced Study Institute"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/226643.226647"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2000.896415"},{"key":"ref9","first-page":"208","volume":"1494","author":"le lann","year":"1998","journal-title":"Proof-based system engineering and embedded systems"}],"event":{"name":"Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.","location":"Hakodate, Hokkaido, Japan"},"container-title":["Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8540\/26999\/01199242.pdf?arnumber=1199242","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T01:28:37Z","timestamp":1489454917000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1199242\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/isorc.2003.1199242","relation":{},"subject":[]}}