{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T05:23:15Z","timestamp":1742966595987,"version":"3.40.3"},"publisher-location":"Dordrecht","reference-count":7,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789401787970"},{"type":"electronic","value":"9789401787987"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-94-017-8798-7_50","type":"book-chapter","created":{"date-parts":[[2014,4,18]],"date-time":"2014-04-18T05:40:19Z","timestamp":1397799619000},"page":"415-421","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Formal Verification for Inter-Partitions Communication of RTOS Supporting IMA"],"prefix":"10.1007","author":[{"given":"Sachoun","family":"Park","sequence":"first","affiliation":[]},{"given":"Gihwon","family":"Kwon","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,4,19]]},"reference":[{"key":"50_CR1","doi-asserted-by":"crossref","unstructured":"Alena RL, Ossenfort JP, Laws KI, Goforth A, Figueroa F (2007) Communications for integrated modular avionics. In: Proceeding of IEEE aerospace conference 2007, pp 1\u201318","DOI":"10.1109\/AERO.2007.352639"},{"key":"50_CR2","unstructured":"Airlines Electronic Engineering Committee (2006) Avionics application software standard interface\u2014ARINC specification 653 Part 1\u2014required services, Aeronautical Radio Inc."},{"key":"50_CR3","unstructured":"Rushby J (2000) Partitioning in avionics architectures: requirements, mechanisms and assurance. DOT\/FAA\/AR-99\/58"},{"key":"50_CR4","unstructured":"RTCA\/EUROCAE, RTCA DO-178B\/ED-12B Software Considerations in Airborne Systems and Equipment Certification, Dec 1992"},{"key":"50_CR5","doi-asserted-by":"crossref","unstructured":"Holzmann G, Joshi R (2004) Model-driven software verification. In: Proceeding of SPIN 2004, vol 2989, LNCS, pp 76\u201391","DOI":"10.1007\/978-3-540-24732-6_6"},{"key":"50_CR6","doi-asserted-by":"crossref","unstructured":"Lasnier G, Wrage L, Pautet L, Hugues J (2011) An implementation of the behavior annex in the AADL-toolset Osate2. In: UML&AADL\u20146th IEEE international workshop UML and AADL, Las Vegas, USA, April 2011","DOI":"10.1109\/ICECCS.2011.39"},{"key":"50_CR7","unstructured":"Wind River Systems (2010) VxWorks\u00ae653 configuration and build guide 2.3. Wind River Systems, Inc."}],"container-title":["Lecture Notes in Electrical Engineering","Frontier and Innovation in Future Computing and Communications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-017-8798-7_50","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T03:00:41Z","timestamp":1676862041000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-94-017-8798-7_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9789401787970","9789401787987"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-94-017-8798-7_50","relation":{},"ISSN":["1876-1100","1876-1119"],"issn-type":[{"type":"print","value":"1876-1100"},{"type":"electronic","value":"1876-1119"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"19 April 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}