{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:32:20Z","timestamp":1750307540920,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,9,23]],"date-time":"2009-09-23T00:00:00Z","timestamp":1253664000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,9,23]]},"DOI":"10.1145\/1620405.1620429","type":"proceedings-article","created":{"date-parts":[[2009,9,25]],"date-time":"2009-09-25T19:16:31Z","timestamp":1253906191000},"page":"169-178","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["Use of PERC Pico in the AIDA avionics platform"],"prefix":"10.1145","author":[{"given":"Tobias","family":"Schoofs","sequence":"first","affiliation":[{"name":"Skysoft Portugal, Lisboa, Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Jenn","sequence":"additional","affiliation":[{"name":"Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"St\u00e9phane","family":"Leriche","sequence":"additional","affiliation":[{"name":"Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kelvin","family":"Nilsen","sequence":"additional","affiliation":[{"name":"Aonix North America, American Fork, UT"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ludovic","family":"Gauthier","sequence":"additional","affiliation":[{"name":"Aonix France, Issy-les-Moulineaux"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Richard-Foy","sequence":"additional","affiliation":[{"name":"Aonix France, Issy-les-Moulineaux"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,9,23]]},"reference":[{"unstructured":"DIANA IST-FP6 project http:\/\/diana.skysoft.pt.  DIANA IST-FP6 project http:\/\/diana.skysoft.pt.","key":"e_1_3_2_1_1_1"},{"unstructured":"Object Management Group Data Distribution Service for Real-time Systems OMG specification omg\/07-01-01.  Object Management Group Data Distribution Service for Real-time Systems OMG specification omg\/07-01-01.","key":"e_1_3_2_1_2_1"},{"unstructured":"Object Management Group Model Driven Architecture guide omg\/03-06-01.  Object Management Group Model Driven Architecture guide omg\/03-06-01.","key":"e_1_3_2_1_3_1"},{"unstructured":"Airlines Electronic Engineering Committee (AEEC) Avionics Application Software Standard Interface (ARINC Specification 653 Part 1 -- Required Services) ARINC Inc. March 2006.  Airlines Electronic Engineering Committee (AEEC) Avionics Application Software Standard Interface (ARINC Specification 653 Part 1 -- Required Services) ARINC Inc. March 2006.","key":"e_1_3_2_1_4_1"},{"unstructured":"JSR 302 - http:\/\/jcp.org\/en\/jsr\/detail?id=302  JSR 302 - http:\/\/jcp.org\/en\/jsr\/detail?id=302","key":"e_1_3_2_1_5_1"},{"volume-title":"Addison-Wesley Professional","year":"2002","author":"Szyperski C.","key":"e_1_3_2_1_6_1"},{"unstructured":"Federal Aviation Administration Advisory Circular on Reusable Software Components (= AC 20-RSC) June 2003.  Federal Aviation Administration Advisory Circular on Reusable Software Components (= AC 20-RSC) June 2003.","key":"e_1_3_2_1_7_1"},{"volume-title":"7th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2002)","year":"2002","author":"Ventura J.","key":"e_1_3_2_1_8_1"},{"unstructured":"The HIJA consortium: High Integrity Java project home page at: http:\/\/www.hija.info.  The HIJA consortium: High Integrity Java project home page at: http:\/\/www.hija.info.","key":"e_1_3_2_1_9_1"},{"volume-title":"Safety Critical Java Specification Meeting","year":"2004","author":"Minutes","key":"e_1_3_2_1_10_1"},{"unstructured":"Airlines Electronic Engineering Committee (AEEC) Avionics Application Software Standard Interface (ARINC Specification 653 Part 3 -- Conformity Test Specification) ARINC Inc. October 2006.  Airlines Electronic Engineering Committee (AEEC) Avionics Application Software Standard Interface (ARINC Specification 653 Part 3 -- Conformity Test Specification) ARINC Inc. October 2006.","key":"e_1_3_2_1_11_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1145\/1167999.1168021"},{"unstructured":"Federal Aviation Administration Object Oriented Technology in Aviation (OOTiA) Vol. 1--4 http:\/\/www.faa.gov\/aircraft\/air_cert\/design_approvals\/air_software\/oot\/.  Federal Aviation Administration Object Oriented Technology in Aviation (OOTiA) Vol. 1--4 http:\/\/www.faa.gov\/aircraft\/air_cert\/design_approvals\/air_software\/oot\/.","key":"e_1_3_2_1_13_1"}],"event":{"sponsor":["Universidad Complutense de Madrid","aicas GmbH","Sun Sun"],"acronym":"JTRES '09","name":"JTRES '09: JTRES '09 -Proceedings of the 7th International Workshop on Java Technologies for Real-time and Embedded Systems","location":"Madrid Spain"},"container-title":["Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1620405.1620429","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1620405.1620429","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:23:24Z","timestamp":1750249404000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1620405.1620429"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9,23]]},"references-count":13,"alternative-id":["10.1145\/1620405.1620429","10.1145\/1620405"],"URL":"https:\/\/doi.org\/10.1145\/1620405.1620429","relation":{},"subject":[],"published":{"date-parts":[[2009,9,23]]},"assertion":[{"value":"2009-09-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}