{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T15:15:38Z","timestamp":1725981338006},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319936581"},{"type":"electronic","value":"9783319936598"}],"license":[{"start":{"date-parts":[[2018,6,19]],"date-time":"2018-06-19T00:00:00Z","timestamp":1529366400000},"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":[[2019]]},"DOI":"10.1007\/978-3-319-93659-8_65","type":"book-chapter","created":{"date-parts":[[2018,6,18]],"date-time":"2018-06-18T10:00:55Z","timestamp":1529316055000},"page":"713-725","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Research on Security Critical Task Scheduling Algorithm Based on ARINC 653 Standard"],"prefix":"10.1007","author":[{"given":"Yi\u2019an","family":"Zhu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shuyan","family":"Luo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"He","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Linlin","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,6,19]]},"reference":[{"issue":"2","key":"65_CR1","doi-asserted-by":"publisher","first-page":"223","DOI":"10.14429\/dsj.63.4268","volume":"63","author":"M Ghoshhajra","year":"2013","unstructured":"Ghoshhajra, M., Nair, S., Ananda, C.M.: ARINC 653 API and its application\u2014an insight into avionics system case study. Def. Sci. J. 63(2), 223\u2013229 (2013)","journal-title":"Def. Sci. J."},{"issue":"5","key":"65_CR2","doi-asserted-by":"publisher","first-page":"1646","DOI":"10.1109\/TC.2015.2449857","volume":"65","author":"Yu Li","year":"2016","unstructured":"Li, Yu., Cheng, A.: Transparent real-time task scheduling on temporal resource partitions. IEEE Trans. Comput. 65(5), 1646\u20131655 (2016)","journal-title":"IEEE Trans. Comput."},{"issue":"12","key":"65_CR3","doi-asserted-by":"publisher","first-page":"1441","DOI":"10.1002\/spe.2210","volume":"44","author":"S Han","year":"2014","unstructured":"Han, S., Jin, H.W.: Resource partitioning for integrated modular avionics: comparative study of implementation alternatives. Softw. Pract. Exp. 44(12), 1441\u20131466 (2014)","journal-title":"Softw. Pract. Exp."},{"issue":"4","key":"65_CR4","first-page":"145","volume":"39","author":"M Zhang","year":"2014","unstructured":"Zhang, M., Zhou, L.: Design and implementation of IMA based on VxWorks653 partition operation system. Fire Control Command Control 39(4), 145\u2013148 (2014)","journal-title":"Fire Control Command Control"},{"key":"65_CR5","doi-asserted-by":"crossref","unstructured":"Zuepke, A., Bommert, M., Lohmann, D.: AUTOBEST: a united AUTOSAR-OS and ARINC 653 kernel. In: Real-Time and Embedded Technology and Applications Symposium, pp. 133\u2013144. IEEE (2015)","DOI":"10.1109\/RTAS.2015.7108435"},{"key":"65_CR6","doi-asserted-by":"crossref","unstructured":"Wan, M., Tian, S.: Research on schedulability of partition scheduling for IMA. In: 2011 Fourth International Symposium on Computational Intelligence and Design (ISCID), vol. 2, pp. 322\u2013325. IEEE (2011)","DOI":"10.1109\/ISCID.2011.183"},{"issue":"4","key":"65_CR7","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/s10951-011-0254-9","volume":"16","author":"K Kurowski","year":"2013","unstructured":"Kurowski, K., Oleksiak, A., Pi\u0105tek, W., et al.: Hierarchical scheduling strategies for parallel tasks and advance reservations in grids. J. Sched. 16(4), 349\u2013368 (2013)","journal-title":"J. Sched."},{"issue":"5","key":"65_CR8","first-page":"638","volume":"39","author":"L Carnevali","year":"2013","unstructured":"Carnevali, L., Pinzuti, A., Vicario, E.: Compositional verification for hierarchical scheduling of real-time systems. Publication 39(5), 638\u2013657 (2013)","journal-title":"Publication"},{"key":"65_CR9","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/978-3-319-07602-7_6","volume-title":"Formal Aspects of Component Software","author":"Abdeldjalil Boudjadar","year":"2014","unstructured":"Boudjadar, A., David, A., Kim, J.H., et al.: Hierarchical scheduling framework based on compositional analysis using uppaal. In: Formal Aspects of Component Software, pp. 61\u201378. Springer International Publishing (2014)"},{"issue":"3","key":"65_CR10","doi-asserted-by":"publisher","first-page":"858","DOI":"10.1109\/TPDS.2014.2312924","volume":"26","author":"CC Kao","year":"2015","unstructured":"Kao, C.C.: Performance-oriented partitioning for task scheduling of parallel reconfigurable architectures. IEEE Trans. Parallel Distrib. Syst. 26(3), 858\u2013867 (2015)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"issue":"12","key":"65_CR11","first-page":"290","volume":"39","author":"Li Da-Ming","year":"2012","unstructured":"Da-Ming, Li, Wang-Hua, Cao, Huan, Zhang: New label alterable access control policy. Comput. Sci. 39(12), 290\u2013294 (2012)","journal-title":"Comput. Sci."},{"key":"65_CR12","doi-asserted-by":"crossref","unstructured":"Huang, W.H., Yang, M., Chen, J.J.: Resource-oriented partitioned scheduling in multiprocessor systems: how to partition and how to share? In: Real-Time Systems Symposium, pp. 111\u2013122. IEEE (2017)","DOI":"10.1109\/RTSS.2016.020"}],"container-title":["Advances in Intelligent Systems and Computing","Complex, Intelligent, and Software Intensive Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-93659-8_65","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,19]],"date-time":"2019-10-19T12:02:03Z","timestamp":1571486523000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-93659-8_65"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,19]]},"ISBN":["9783319936581","9783319936598"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-93659-8_65","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2018,6,19]]}}}