{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T20:05:39Z","timestamp":1773086739422,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642172250","type":"print"},{"value":"9783642172267","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-17226-7_10","type":"book-chapter","created":{"date-parts":[[2010,11,16]],"date-time":"2010-11-16T10:06:11Z","timestamp":1289901971000},"page":"159-174","source":"Crossref","is-referenced-by-count":5,"title":["SParK: Safety Partition Kernel for Integrated Real-Time Systems"],"prefix":"10.1007","author":[{"given":"S.","family":"Ghaisas","sequence":"first","affiliation":[]},{"given":"G.","family":"Karmakar","sequence":"additional","affiliation":[]},{"given":"D.","family":"Shenai","sequence":"additional","affiliation":[]},{"given":"S.","family":"Tirodkar","sequence":"additional","affiliation":[]},{"given":"K.","family":"Ramamritham","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"10_CR1","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/71021.71024","volume":"23","author":"J.A. Stankovic","year":"1989","unstructured":"Stankovic, J.A., Ramamritham, K.: The Spring Kernel: a new paradigm for real-time operating systems. SIGOPS Oper. Syst. Rev.\u00a023(3), 54\u201371 (1989)","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"10_CR2","unstructured":"IEC-61226: Nuclear Power Plants: Instrumentation and Control Systems Important to Safety classification of instrumentation and control functions. Technical Report, International Electrotechnical Commission (2005)"},{"key":"10_CR3","unstructured":"IEC-61513: Nuclear Power Plants: Instrumentation and Control Systems Important to Safety - general requirements for systems. Technical Report, International Electrotechnical Commission (2001)"},{"key":"10_CR4","unstructured":"IEC-60880: Nuclear Power Plants: Instrumentation and Control Systems Important to Safety software aspects for computer based systems performing category a functions. Technical Report, International Electrotechnical Commission (2001)"},{"key":"10_CR5","first-page":"71","volume":"1","author":"K.A. Daeyoung","year":"2003","unstructured":"Daeyoung, K.A., Yann-Hang, L., Mohamed, Y.: Software architecture supporting integrated real-time systems. J. Syst. Softw.\u00a01, 71\u201386 (2003)","journal-title":"J. Syst. Softw."},{"key":"10_CR6","volume-title":"Proceedings of the 5th International Conference on Real-Time Computing Systems and Applications, RTCSA 1998","author":"Y.H. Lee","year":"1998","unstructured":"Lee, Y.H., Kim, D., Younis, M., Zhou, J.: Partition Scheduling in APEX Runtime Environment for Embedded Avionics Software. In: Proceedings of the 5th International Conference on Real-Time Computing Systems and Applications, RTCSA 1998. IEEE Computer Society103, Los Alamitos (1998)"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Lehoczky, J., Sha, L., Ding, Y.: The rate-monotonic scheduling algorithm: Exact characteristics and average case behavior. In: Proceedings of IEEE Real-Time Systems Symposium, pp. 166\u2013171 (1989)","DOI":"10.1109\/REAL.1989.63567"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Deng, Z., Liu, J.W.S., Sun, J.: A scheme for scheduling hard real-time applications in open system environment. In: Proceedings of the 9th Euromicro Workshop on Real-Time Systems (1997)","DOI":"10.1109\/EMWRTS.1997.613785"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Lipari, G., Bini, E.: Resource partition among real-time applications. In: Proceedings of the 15th Euromicro Workshop on Real-Time Systems, pp. 151\u2013158 (2003)","DOI":"10.1109\/EMRTS.2003.1212738"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C.L. Liu","year":"1973","unstructured":"Liu, C.L., Layland, J.W.: Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment. J. ACM\u00a020, 46\u201361 (1973)","journal-title":"J. ACM"},{"issue":"7","key":"10_CR11","doi-asserted-by":"publisher","first-page":"956","DOI":"10.1109\/TCAD.2009.2014005","volume":"28","author":"R. Obermaisser","year":"2009","unstructured":"Obermaisser, R., Salloum, C.E., Huber, B., Kopetz, H.: From a federated to an integrated automotive architecture. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems\u00a028(7), 956\u2013965 (2009)","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"10_CR12","unstructured":"VMware: White paper: Understanding full virtualization, paravirtualization and hardware assist. (2007)"},{"key":"10_CR13","unstructured":"Schlager, M., Erkinger, E.: FBenifits and implications of the DECOS encapsulation approach. Research report 80, Vienna university of technology, Austria (2005)"},{"key":"10_CR14","unstructured":"saRTL (Stand Alone RTLinux), http:\/\/www.ocera.org"},{"key":"10_CR15","unstructured":"Intel arch: software developers manual, vol.3. http:\/\/www.intel.com\/design\/processor\/manuals\/253668.pdf"},{"key":"10_CR16","unstructured":"Programming environments manual: PowerPC architectur, http:\/\/e-www.motorola.com\/brdata\/PDFDB\/docs\/MPCFPE32B.pdf"},{"key":"10_CR17","unstructured":"VMware: Whitepaper:Safety-Critical Software Development for Integrated Modular Avionics, http:\/\/www.windriver.com"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Rajkumar, R., Juvva, K., Molano, A., Oikawa, S.: Resource kernels: A resource-centric approach to real-time and multimedia systems. In: Proceedings of the SPIE\/ACM Conference on Multimedia Computing and Networking, pp. 150\u2013164 (1998)","DOI":"10.1117\/12.298417"},{"key":"10_CR19","doi-asserted-by":"crossref","DOI":"10.1201\/9781482295603","volume-title":"MicroC\/OS-II: The Real-Time Kernel","author":"J.J. Labrosse","year":"2002","unstructured":"Labrosse, J.J.: MicroC\/OS-II: The Real-Time Kernel. CMP Books, San Fransisco 94107 (2002)"},{"key":"10_CR20","unstructured":"ARINC: Avoincs Application Software Standard Interface, ARINC Specification 653. Aeronautical Radio Inc., Annapolis, Maryland (1997)"}],"container-title":["Lecture Notes in Computer Science","From Active Data Management to Event-Based Systems and More"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17226-7_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T21:34:43Z","timestamp":1740692083000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17226-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642172250","9783642172267"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17226-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}