{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:47:08Z","timestamp":1729651628090,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,5]]},"DOI":"10.1109\/sies.2016.7509431","type":"proceedings-article","created":{"date-parts":[[2016,7,14]],"date-time":"2016-07-14T21:41:34Z","timestamp":1468532494000},"page":"1-6","source":"Crossref","is-referenced-by-count":2,"title":["Availability analysis for synchronous data-flow graphs in mixed-criticality systems"],"prefix":"10.1109","author":[{"given":"Roberto","family":"Medina","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Etienne","family":"Borde","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Pautet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2014.20"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2015.0817"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2039370.2039396"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2006.1695924"},{"key":"ref14","article-title":"Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony","author":"besnard","year":"2014","journal-title":"Science of Computing"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","article-title":"Synchronous data flow","volume":"75","author":"lee","year":"1987","journal-title":"Proceedings of the IEEE"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.47"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2014.6925993"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2392987.2392989"},{"key":"ref8","article-title":"De-terministic Implementation of Periodic-Delayed Communications and Experimentation in AADL","author":"cadoret","year":"2013","journal-title":"ISORC"},{"article-title":"Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs","year":"2014","author":"dario","key":"ref7"},{"key":"ref2","article-title":"Mixed Criticality Systems - A Review","author":"burns","year":"2013","journal-title":"University of York - Department of Computer Science Report YCS"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2012.31"},{"year":"0","key":"ref9","article-title":"PRISM - Probabilistic Symbolic Model Checker"}],"event":{"name":"2016 11th IEEE Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2016,5,23]]},"location":"Krakow, Poland","end":{"date-parts":[[2016,5,25]]}},"container-title":["2016 11th IEEE Symposium on Industrial Embedded Systems (SIES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7504669\/7509398\/07509431.pdf?arnumber=7509431","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T14:19:09Z","timestamp":1602685149000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7509431"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/sies.2016.7509431","relation":{},"subject":[],"published":{"date-parts":[[2016,5]]}}}