{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:51:36Z","timestamp":1740099096585,"version":"3.37.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319955810"},{"type":"electronic","value":"9783319955827"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-95582-7_17","type":"book-chapter","created":{"date-parts":[[2018,7,11]],"date-time":"2018-07-11T10:31:17Z","timestamp":1531305077000},"page":"294-311","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Resource-Aware Design for Reliable Autonomous Applications with Multiple Periods"],"prefix":"10.1007","author":[{"given":"Rongjie","family":"Yan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Di","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fan","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yiqi","family":"Lv","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Junjie","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kai","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,7,12]]},"reference":[{"issue":"2","key":"17_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Axer, P., Sebastian, M., Ernst, R.: Reliability analysis for MPSoCs with mixed-critical, hard real-time constraints. In: CODES+ISSS, pp. 149\u2013158. IEEE\/ACM\/IFIP (2011)","DOI":"10.1145\/2039370.2039396"},{"key":"17_CR3","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.-P., Larsen, K.G.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"17_CR4","first-page":"200","volume-title":"Lecture Notes in Computer Science","author":"Gerd Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: Formal Methodsfor the Design of Real-Time Systems, pp. 33\u201335 (2004)"},{"key":"17_CR5","unstructured":"Burns, A., Davis, R.: Mixed criticality systems-a review. Department of Computer Science, University of York, Technical report (2013)"},{"key":"17_CR6","unstructured":"Chang, W., Chakraborty, S., et al.: Resource-aware automotive control systems design: a cyber-physical systems approach. Found. Trends\u00ae Electr. Des. Autom. 10(4), 249\u2013369 (2016)"},{"key":"17_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"737","DOI":"10.1007\/978-3-319-08867-9_49","volume-title":"Computer Aided Verification","author":"B Dutertre","year":"2014","unstructured":"Dutertre, B.: Yices\u00a02.2. In: Biere, A., Bloem, R. (eds.) CAV 2014. LNCS, vol. 8559, pp. 737\u2013744. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08867-9_49"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Gla\u00df, M., Lukasiewycz, M., Streichert, T., Haubelt, C., Teich, J.: Reliability-aware system synthesis. In: DATE, pp. 1\u20136 (2007)","DOI":"10.1109\/DATE.2007.364626"},{"issue":"6","key":"17_CR9","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1016\/j.micpro.2014.02.007","volume":"38","author":"J Huang","year":"2014","unstructured":"Huang, J., Barner, S., Raabe, A., Buckl, C., Knoll, A.: A framework for reliability-aware embedded system design on multiprocessor platforms. Microprocess. Microsyst. 38(6), 539\u2013551 (2014)","journal-title":"Microprocess. Microsyst."},{"issue":"1","key":"17_CR10","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1016\/j.arcontrol.2012.03.005","volume":"36","author":"J Jiang","year":"2012","unstructured":"Jiang, J., Yu, X.: Fault-tolerant control systems: a comparative study between active and passive approaches. Ann. Rev. Control 36(1), 60\u201372 (2012)","journal-title":"Ann. Rev. Control"},{"issue":"3","key":"17_CR11","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/s10626-011-0107-x","volume":"21","author":"C Pagetti","year":"2011","unstructured":"Pagetti, C., Forget, J., Boniol, F., Cordovilla, M., Lesens, D.: Multi-task implementation of multi-periodic synchronous programs. Discrete Event Dyn. Syst. 21(3), 307\u2013338 (2011)","journal-title":"Discrete Event Dyn. Syst."},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Pandey, S., Vermeulen, B.: Transient errors resiliency analysis technique for automotive safety critical applications. In: DATE, p. 9 (2014)","DOI":"10.7873\/DATE.2014.022"},{"issue":"10","key":"17_CR13","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/MC.2007.344","volume":"40","author":"A Sangiovanni-Vincentelli","year":"2007","unstructured":"Sangiovanni-Vincentelli, A., Di Natale, M.: Embedded system design for automotive applications. Computer 40(10), 42\u201351 (2007)","journal-title":"Computer"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Yip, E., Kuo, M.M., Roop, P.S., Broman, D.: Relaxing the synchronous approach for mixed-criticality systems. In: RTAS, pp. 89\u2013100. IEEE (2014)","DOI":"10.1109\/RTAS.2014.6925993"},{"key":"17_CR15","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.sysarc.2016.08.003","volume":"72","author":"Q Zhao","year":"2017","unstructured":"Zhao, Q., Gu, Z., Zeng, H.: Design optimization for AUTOSAR models with preemption thresholds and mixed-criticality scheduling. J. Syst. Architect. 72, 61\u201368 (2017)","journal-title":"J. Syst. Architect."},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Zheng, B., Liang, H., Zhu, Q., Yu, H., Lin, C.-W.: Next generation automotive architecture modeling and exploration for autonomous driving. In: VLSI (ISVLSI), pp. 53\u201358. IEEE (2016)","DOI":"10.1109\/ISVLSI.2016.126"}],"container-title":["Lecture Notes in Computer Science","Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-95582-7_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,20]],"date-time":"2019-10-20T12:29:47Z","timestamp":1571574587000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-95582-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319955810","9783319955827"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-95582-7_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}