{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,13]],"date-time":"2025-09-13T16:08:55Z","timestamp":1757779735284},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642162558"},{"type":"electronic","value":"9783642162565"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16256-5_18","type":"book-chapter","created":{"date-parts":[[2010,10,5]],"date-time":"2010-10-05T12:20:54Z","timestamp":1286281254000},"page":"179-190","source":"Crossref","is-referenced-by-count":3,"title":["Building a Time- and Space-Partitioned Architecture for the Next Generation of Space Vehicle Avionics"],"prefix":"10.1007","author":[{"given":"Jos\u00e9","family":"Rufino","sequence":"first","affiliation":[]},{"given":"Jo\u00e3o","family":"Craveiro","sequence":"additional","affiliation":[]},{"given":"Paulo","family":"Verissimo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"AEEC: Design guidance for Integrated Modular Avionics. ARINC Report 651-1 (November 1997)"},{"key":"18_CR2","unstructured":"AEEC: Avionics application software standard interface, part 1 - required services. ARINC Specification 653P1-2 (March 2006)"},{"key":"18_CR3","unstructured":"AEEC: Avionics application software standard interface, part 2 - extended services. ARINC Specification 653P2-1 (December 2008)"},{"key":"18_CR4","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1504\/IJES.2006.014859","volume":"2","author":"J. Alves-Foss","year":"2006","unstructured":"Alves-Foss, J., Harrison, W.S., Oman, P., Taylor, C.: The MILS architecture for high-assurance embedded systems. Int. J. of Embedded Systems\u00a02, 239\u2013247 (2006)","journal-title":"Int. J. of Embedded Systems"},{"key":"18_CR5","unstructured":"Craveiro, J.: Integration of generic operating systems in partitioned architectures. M.Sc. thesis, Faculty of Sciences, University of Lisbon, Lisbon, Portugal (2009)"},{"key":"18_CR6","unstructured":"Craveiro, J., Rufino, J., Schoofs, T., Windsor, J.: Flexible operating system integration in partitioned aerospace systems. In: Actas do INForum - Simp\u00f3sio de Inform\u00e1tica 2009, Lisbon, Portugal, pp. 49\u201360 (September 2009)"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Craveiro, J., Rufino, J.: Schedulability analysis in partitioned systems for aerospace avionics. In: Proc. 15th IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA 2010), Bilbao, Spain (September 2010)","DOI":"10.1109\/ETFA.2010.5641243"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Craveiro, J., Rufino, J., Almeida, C., Covelo, R., Venda, P.: Embedded Linux in a partitioned architecture for aerospace applications. In: Proc. 7th ACS\/IEEE Int. Conf. on Computer Systems and Applications (AICCSA 2009), Rabat, Morocco, pp. 132\u2013138 (May 2009)","DOI":"10.1109\/AICCSA.2009.5069315"},{"key":"18_CR9","unstructured":"Diniz, N., Rufino, J.: ARINC 653 in space. In: Proc. DASIA 2005 \u201cData Systems In Aerospace\u201d Conf., Edinburgh, Scotland (June 2005)"},{"key":"18_CR10","unstructured":"ECSS: Space engineering: Interface and communication protocol for MIL-STD-1553B data bus onboard spacecraft. Standard ECSS-E-50-13 Draft C, ESA Requirements and Standards Division (May 2008)"},{"key":"18_CR11","unstructured":"ECSS: Space engineering: SpaceWire \u2014 links, nodes, routers and networks. Standard ECSS-E-ST-50-12C, ESA Requirements and Standards Division (July 2008)"},{"key":"18_CR12","unstructured":"Fletcher, M.: Progression of an open architecture: from Orion to Altair and LSS. Tech. rep., Honeywell International (May 2009)"},{"key":"18_CR13","volume-title":"Spacecraft Systems Engineering","year":"2003","unstructured":"Fortescue, P.W., Stark, J.P.W., Swinerd, G. (eds.): Spacecraft Systems Engineering, 3rd edn. Wiley, Chichester (2003)","edition":"3"},{"key":"18_CR14","unstructured":"Hodson, R., Ng, T.: Avionics for exploration. In: NASA Technology Exchange Conference, Galveston, TX, USA (November 2007)"},{"key":"18_CR15","unstructured":"Jones, M.: What really happened on Mars Rover Pathfinder. The RISKS Digest - Forum on Risks to the Public in Computers and Related Systems\u00a019(49) (December 1997), \n                    \n                      http:\/\/catless.ncl.ac.uk\/Risks\/19.49.html"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Kinnan, L.: Application migration from Linux prototype to deployable IMA platform using ARINC 653 and Open GL. In: Proc. 26th IEEE\/AIAA Digital Avionics Systems Conference, Dallas, TX, USA, pp. 6.C.2-1\u20136.C.2-5 (October 2007)","DOI":"10.1109\/DASC.2007.4391958"},{"issue":"3","key":"18_CR17","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/MS.2009.64","volume":"26","author":"J.Y. Mignolet","year":"2009","unstructured":"Mignolet, J.Y., Wuyts, R.: Embedded multiprocessor systems-on-chip programming. IEEE Software\u00a026(3), 34\u201341 (2009)","journal-title":"IEEE Software"},{"key":"18_CR18","unstructured":"OAR - On-Line Applications Research Corporation: RTEMS C Users Guide, 4.8 (February 2008)"},{"key":"18_CR19","first-page":"160","volume":"1","author":"P. Pushner","year":"1989","unstructured":"Pushner, P., Koza, C.: Calculating the maximum execution time of real-time programs. Journal of Real-Time Systems\u00a01, 160\u2013176 (1989)","journal-title":"Journal of Real-Time Systems"},{"key":"18_CR20","unstructured":"Rosa, J., Craveiro, J., Rufino, J.: Exploiting AIR composability towards spacecraft onboard software update. In: Actas do INForum - Simp\u00f3sio de Inform\u00e1tica 2010, Braga, Portugal (September 2010)"},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"Rufino, J., Almeida, C., Verissimo, P., Arroz, G.: Enforcing dependability and timeliness in Controller Area Networks. In: Proc. 32nd Ann. Conf. of the IEEE Industrial Electronics Society (IECON\u201906), Paris, France (November 2006)","DOI":"10.1109\/IECON.2006.348102"},{"key":"18_CR22","unstructured":"Rufino, J., Craveiro, J., Schoofs, T., Tatibana, C., Windsor, J.: AIR Technology: a step towards ARINC 653 in space. In: Proc. DASIA 2009 \u201cData System In Aerospace\u201d Conf., Istanbul, Turkey (May 2009)"},{"key":"18_CR23","unstructured":"Rufino, J., Filipe, S., Coutinho, M., Santos, S., Windsor, J.: ARINC 653 interface in RTEMS. In: Proc. DASIA 2007 \u201cDAta Systems In Aerospace\u201d Conf., Naples, Italy (June 2007)"},{"key":"18_CR24","series-title":"Lecture Notes in Computer Science","volume-title":"Architecting Dependable Systems","author":"J. Rufino","year":"2010","unstructured":"Rufino, J., Craveiro, J., Verissimo, P.: Architecting robustness and timeliness in a new generation of aerospace systems. In: Casimiro, A., de Lemos, R., Gacek, C. (eds.) Architecting Dependable Systems. LNCS, vol.\u00a07. Springer, Heidelberg (2010)"},{"key":"18_CR25","unstructured":"Rushby, J.: Partitioning in avionics architectures: Requirements, mechanisms and assurance. NASA Contractor Report CR-1999-209347, SRI International, California, USA (Jun 1999)"},{"key":"18_CR26","doi-asserted-by":"crossref","unstructured":"Santos, S., Rufino, J., Schoofs, T., Tatibana, C., Windsor, J.: A portable ARINC 653 standard interface. In: Proc. IEEE\/AIAA 27th Digital Avionics Systems Conf. (DASC \u201908), St. Paul, MN, USA (October 2008)","DOI":"10.1109\/DASC.2008.4702767"},{"key":"18_CR27","doi-asserted-by":"publisher","first-page":"1700","DOI":"10.1145\/1363686.1364091","volume-title":"Proc. 2008 ACM Symp. on Applied Computing (SAC 2008)","author":"M. Sch\u00f6bel","year":"2008","unstructured":"Sch\u00f6bel, M., Polze, A.: Kernel-mode scheduling server for CPU partitioning: a case study using the Windows Research Kernel. In: Proc. 2008 ACM Symp. on Applied Computing (SAC 2008), pp. 1700\u20131704. ACM, Fortaleza (2008)"},{"key":"18_CR28","doi-asserted-by":"crossref","unstructured":"Seyer, R., Siemers, C., Falsett, R., Ecker, K., Richter, H.: Robust partitioning for reliable real-time systems. In: Proc. 18th Int. Parallel and Distributed Processing Symp., pp. 117\u2013122 (April 2004)","DOI":"10.1109\/IPDPS.2004.1303073"},{"key":"18_CR29","doi-asserted-by":"crossref","unstructured":"Souza, J.L.R., Rufino, J.: Characterization of inaccessibility in wireless networks: a case study on IEEE 802.15.4 standard. In: Proc. IESS International Embedded Systems Symposium \u201909, Langenargen, Germany (September 2009)","DOI":"10.1007\/978-3-642-04284-3_27"},{"key":"18_CR30","unstructured":"Terraillon, J.L., Hjortnaes, K.: Technical note on on-board software. European Space Technology Harmonisation, Technical Dossier on Mapping, TOSE-2-DOS-1, ESA (February 2003)"},{"key":"18_CR31","unstructured":"TTTech.: TTEthernet specification. Document D-INT-S-10-002, TTTech. Computertechnik AG (November 2008)"},{"key":"18_CR32","doi-asserted-by":"crossref","unstructured":"Watkins, C., Walter, R.: Transitioning from federated avionics architectures to Integrated Modular Avionics. In: Proc. 26th IEEE\/AIAA Digital Avionics Systems Conf. (DASC 2007), Dallas, TX, USA (October 2007)","DOI":"10.1109\/DASC.2007.4391842"},{"key":"18_CR33","doi-asserted-by":"crossref","unstructured":"Windsor, J., Hjortnaes, K.: Time and space partitioning in spacecraft avionics. In: Proc. 3rd IEEE Int. Conf. on Space Mission Challenges for Information Technology (SMC-IT 2009), Pasadena, CA, USA, pp. 13\u201320 (July 2009)","DOI":"10.1109\/SMC-IT.2009.11"}],"container-title":["Lecture Notes in Computer Science","Software Technologies for Embedded and Ubiquitous Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16256-5_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:25:21Z","timestamp":1619785521000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16256-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642162558","9783642162565"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16256-5_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}