{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T20:47:18Z","timestamp":1743108438977,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642176036"},{"type":"electronic","value":"9783642176043"}],"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-17604-3_28","type":"book-chapter","created":{"date-parts":[[2010,11,27]],"date-time":"2010-11-27T06:55:30Z","timestamp":1290840930000},"page":"238-246","source":"Crossref","is-referenced-by-count":1,"title":["A Race Healing Framework in Simulated ARINC-653"],"prefix":"10.1007","author":[{"given":"Guy Martin","family":"Tchamgoue","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"In-Bon","family":"Kuh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ok-Kyoon","family":"Ha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kyong-Hoon","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yong-Kee","family":"Jun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","unstructured":"Airlines Electronic Engineering Committee (AEEC): Avionics Application Software Standard Interface - ARINC Specification 653 - Part 1 (Supplement 2 - Required Services), ARINC (2006)"},{"key":"28_CR2","unstructured":"Airlines Electronic Engineering Committee (AEEC): Avionics Application Software Standard Interface - ARINC Specification 653 - Part 2. Extended Services, ARINC (2008)"},{"key":"28_CR3","unstructured":"Baldoni, R., Raynal, M.: Fundamentals of Distributed Computing: A Practical Tour of Vector Clock Systems. IEEE Distributed Systems Online 3(2) (2002)"},{"key":"28_CR4","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1145\/122759.122767","volume-title":"The ACM\/ONR workshop on Parallel and Distributed Debugging","author":"A. Dinning","year":"1991","unstructured":"Dinning, A., Schonberg, E.: Detecting Access Anomalies in Programs with Critical Sections. In: The ACM\/ONR workshop on Parallel and Distributed Debugging, pp. 85\u201396. ACM Press, New York (1991)"},{"key":"28_CR5","unstructured":"Engel, C., Jenn, E., Schmitt, P.H., Coutinho, R., Schoofs, T.: Enhanced Dispatchability of Aircraft using Multi-static Configurations. In: Embedded Real Time Software and Systems, Toulouse (2010)"},{"key":"28_CR6","doi-asserted-by":"crossref","unstructured":"Fidge, C.J.: Logical Time in Distributed Computing Systems. Computer, 28\u201333 (1991)","DOI":"10.1109\/2.84874"},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"Ha, O.-K., Tchamgoue, G.M., Suh, J.-B., Jun, Y.-K.: On-the-fly Healing of Race Conditions in ARINC-653 Flight Software. Accepted in the 29th Digital Avionics Conference. IEEE, Salt Lake City (2010)","DOI":"10.1109\/DASC.2010.5655315"},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"Jannesari, A., Tichy, W.F.: On-the-fly Race Detection in Multi-threaded Programs. In: The Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, pp. 1\u201310. ACM, Seattle (July 2008)","DOI":"10.1145\/1390841.1390847"},{"key":"28_CR9","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1145\/174266.174278","volume-title":"The 1993 ACM\/ONR Workshop on Parallel and Distributed Debugging","author":"Y. Jun","year":"1993","unstructured":"Jun, Y., Koh, K.: On-The-Fly Detection of Access Anomalies in Nested Parallel Loops. In: The 1993 ACM\/ONR Workshop on Parallel and Distributed Debugging, pp. 107\u2013117. ACM, California (1993)"},{"issue":"1","key":"28_CR10","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/130616.130623","volume":"1","author":"R.H.B. Netzer","year":"1992","unstructured":"Netzer, R.H.B., Miller, B.P.: What Are Race Conditions? Some Issues and Formalizations. ACM Letters on Programming Languages and Systems\u00a01(1), 74\u201388 (1992)","journal-title":"ACM Letters on Programming Languages and Systems"},{"key":"28_CR11","doi-asserted-by":"crossref","unstructured":"Prisaznuk, P.J.: ARINC-653 Role in Integrated Modular Avionics (IMA). In: The 27th Digital Avionics Conference, pp. 1E2.1\u20137. IEEE, Minnesota (2008)","DOI":"10.1109\/DASC.2008.4702770"},{"key":"28_CR12","first-page":"173","volume-title":"Principles and Practices of Parallel Programming","author":"P. Ratanaworabhan","year":"2009","unstructured":"Ratanaworabhan, P., Burstscher, M., Kirovski, D., Zorn, B., Nagpal, R., Pattabiraman, K.: Detecting and Tolerating Asymmetric Races. In: Principles and Practices of Parallel Programming, pp. 173\u2013184. ACM, New York (2009)"},{"key":"28_CR13","doi-asserted-by":"crossref","unstructured":"Santos, S., Rufino, J., Schoofs, T., Tatibana, C., Windsor, J.: A Portable ARINC-653 Standard Interface. In: The 27th Digital Avionics Conference, pp. 1E2.1\u20137. IEEE, Minnesota (2008)","DOI":"10.1109\/DASC.2008.4702767"}],"container-title":["Communications in Computer and Information Science","Communication and Networking"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17604-3_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,4]],"date-time":"2023-06-04T09:00:19Z","timestamp":1685869219000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17604-3_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642176036","9783642176043"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17604-3_28","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2010]]}}}