{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:03:06Z","timestamp":1725562986353},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642146534"},{"type":"electronic","value":"9783642146541"}],"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-14654-1_34","type":"book-chapter","created":{"date-parts":[[2010,8,19]],"date-time":"2010-08-19T04:02:22Z","timestamp":1282190542000},"page":"274-281","source":"Crossref","is-referenced-by-count":1,"title":["A Strongly Partitioned Operating System Model for Data Link Networks"],"prefix":"10.1007","author":[{"given":"Xiaoming","family":"Tang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuting","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yinjuan","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yujun","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"34_CR1","unstructured":"Aeronautical Radio, Inc. Avionics application software standard interface, required services (December 2005)"},{"key":"34_CR2","unstructured":"RTCA, Inc. Integrated modular avionics (IMA) development guidance and certification considerations (November 2005)"},{"key":"34_CR3","unstructured":"RTCA. Software considerations in airborne systems and equipment certification (December 1992)"},{"key":"34_CR4","unstructured":"Aeronautical Radio, Avionics Application Software Standard Interface (January 2007)"},{"key":"34_CR5","unstructured":"Feiler, P.H., Gluch, D.P., Hudak, J.J., Lewis, B.A.: Embedded System Architecture Analysis Using SAE AADL. Technical Note,CMU\/SEI (June 2004)"},{"key":"34_CR6","unstructured":"Kim, D., Lee, Y.-H.: DC2 Scheduling of Aperiodic Tasks for Strongly Partitioned Real Time Systems. IEEE Real Time Computing Systems and Applications (December 2000)"},{"key":"34_CR7","unstructured":"Kar, R.: Rhealstone\u2014a Real-time Benchmarking Proposal. Dr. Dobbs Journal (February 1989)"},{"key":"34_CR8","unstructured":"SAE International. Achitecture analysis & design language(AADL) (August 2004)"},{"key":"34_CR9","unstructured":"JPEO, Software Communications Architecture Specification V3.0 (August 2004)"}],"container-title":["Lecture Notes in Computer Science","Wireless Algorithms, Systems, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14654-1_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,18]],"date-time":"2019-03-18T16:24:25Z","timestamp":1552926265000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14654-1_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642146534","9783642146541"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14654-1_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}