{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:56:01Z","timestamp":1725569761956},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642172441"},{"type":"electronic","value":"9783642172458"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-17245-8_7","type":"book-chapter","created":{"date-parts":[[2010,11,12]],"date-time":"2010-11-12T21:48:20Z","timestamp":1289598500000},"page":"146-170","source":"Crossref","is-referenced-by-count":8,"title":["Architecting Robustness and Timeliness in a New Generation of Aerospace Systems"],"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":"7_CR1","unstructured":"AEEC: Design guidance for Integrated Modular Avionics. ARINC Report 651-1 (November 1997)"},{"key":"7_CR2","unstructured":"AEEC: Avionics application software standard interface, part 1 - required services. ARINC Specification 653P1-2 (March 2006)"},{"key":"7_CR3","unstructured":"AEEC: Avionics application software standard interface, part 2 - extended services. ARINC Specification 653P2-1 (December 2008)"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Audsley, N., Wellings, A.: Analysing APEX applications. In: Proc. 17th IEEE Real-Time Systems Symp., Washington, DC, USA, pp. 39\u201344 (December 1996)","DOI":"10.1109\/REAL.1996.563698"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Bate, I., Burns, A.: A dependable distributed architecture for a safety critical hard real-time system. In: IEE Half-Day Colloquium on Hardware Systems for Dependable Applications (Digest No: 1997\/335), pp. 1\/1\u20131\/6 (1997)","DOI":"10.1049\/ic:19971136"},{"key":"7_CR6","first-page":"13","volume-title":"Proc. 6th Australian Workshop on Safety critical systems and software","author":"P. Conmy","year":"2001","unstructured":"Conmy, P., McDermid, J.: High level failure analysis for Integrated Modular Avionics. In: Proc. 6th Australian Workshop on Safety critical systems and software, vol.\u00a03, pp. 13\u201321. Australian Computer Society, Inc., Brisbane (2001)"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Coutinho, M., Almeida, C., Rufino, J.: VITRAL - a text mode window manager for real-time embedded kernels. In: Proc. 11th IEEE Int. Conf. on Emerging Technologies and Factory Automation. Prague, Czech Republic (September 2006)","DOI":"10.1109\/ETFA.2006.355212"},{"key":"7_CR8","unstructured":"Craveiro, J.: Integration of generic operating systems in partitioned architectures. MSc thesis, Faculty of Sciences, University of Lisbon (July 2009)"},{"key":"7_CR9","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, Rabat, Morocco, pp. 132\u2013138 (May 2009)","DOI":"10.1109\/AICCSA.2009.5069315"},{"key":"7_CR10","unstructured":"Davis, R., Burns, A.: A survey of hard real-time scheduling algorithms and schedulability analysis techniques for multiprocessor systems. Tech. Rep. YCS-2009-443, University of York, Department of Computer Science (2009)"},{"key":"7_CR11","unstructured":"Diniz, N., Rufino, J.: ARINC 653 in space. In: Proc. DASIA 2005 \u201cDAta System. Aerospace\u201d Conf. Edinburgh, Scotland (June 2005)"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Easwaran, A., Lee, I., Sokolsky, O., Vestal, S.: A compositional scheduling framework for digital avionics systems. In: Proc. 15th IEEE Int. Conf. on Embedded and Real-Time Computing Systems and Applications. Beijing, China (August 2009)","DOI":"10.1109\/RTCSA.2009.46"},{"key":"7_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"},{"issue":"8","key":"7_CR14","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1016\/S0141-9331(98)00101-X","volume":"22","author":"A. Grigg","year":"1999","unstructured":"Grigg, A., Audsley, N.: Towards a scheduling and timing analysis solution for integrated modular avionic systems. Microprocessors and Microsystems Journal\u00a022(8), 423\u2013431 (1999)","journal-title":"Microprocessors and Microsystems Journal"},{"key":"7_CR15","unstructured":"IEEE: 1996 (ISO IEC) [IEEE ANSI Std 1003.1, 1996 Edition] Information Technology \u2014 Portable Operating System Interface (POSIX) \u2014 Part 1: System Application: Program Interface (API) [C Language]. IEEE, New York, USA (1996)"},{"key":"7_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\u20131\u20136.C.2\u20135 (October 2007)","DOI":"10.1109\/DASC.2007.4391958"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Kopetz, H., Gr\u00fcnsteidl, G.: TTP \u2014 a time-triggered protocol for fault-tolerant real-time systems. In: Proc. 23rd Int. Symp. on Fault-Tolerant Computing (1993)","DOI":"10.1109\/FTCS.1993.627355"},{"key":"7_CR18","unstructured":"Lee, Y., Kim, D., Younis, M., Zhou, J.: Partition scheduling in APEX runtime environment for embedded avionics software. In: Proc. 5th Int. Conf. on Real-Time Computing Systems and Applications, Hiroshima, Japan, pp. 103\u2013109 (1998)"},{"key":"7_CR19","unstructured":"Masmano, M., Ripoll, I., Crespo, A.: XtratuM Hypervisor for LEON2: design and implementation overview. Tech. rep., I. U. de Autom\u00e1tica e Inform\u00e1tica Industrial, Universidad Polit\u00e9cnica de Valencia (January 2009)"},{"key":"7_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/3-540-45828-X_14","volume-title":"Embedded Software","author":"A.K. Mok","year":"2002","unstructured":"Mok, A.K., Feng, A.X.: Real-time virtual resource: A timely abstraction for embedded systems. In: Sangiovanni-Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol.\u00a02491, pp. 182\u2013196. Springer, Heidelberg (2002)"},{"key":"7_CR21","unstructured":"OAR \u2014 On-Line Applications Research Corporation: RTEMS C Users Guide, 4.8 edn. (February 2008)"},{"key":"7_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. Aerospace\u201d Conf. Istanbul, Turkey (May 2009)"},{"key":"7_CR23","unstructured":"Rufino, J., Filipe, S., Coutinho, M., Santos, S., Windsor, J.: ARINC 653 interface in RTEMS. In: Proc. DASIA 2007 \u201cDAta System, Aerospace\u201d Conf. Naples, Italy (June 2007)"},{"key":"7_CR24","unstructured":"Rushby, J.: Partitioning in avionics architectures: Requirements, mechanisms and assurance. NASA Contractor Report CR-1999-209347, SRI International, California, USA (June 1999)"},{"key":"7_CR25","unstructured":"S\u00e1nchez-Puebla, M.A., Carretero, J.: A new approach for distributed computing in avionics systems. In: Proc. 1st Int. Symp. on Information and Communication Technologies, pp. 579\u2013584 Trinity College Dublin, Dublin (2003)"},{"key":"7_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. St. Paul, MN, USA (October 2008)","DOI":"10.1109\/DASC.2008.4702767"},{"key":"7_CR27","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":"7_CR28","unstructured":"The SPARC Architecture Manual, Version 8 SPARC International, Inc., Menlo Park, CA, USA (1992)"},{"key":"7_CR29","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":"7_CR30","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. Dallas, TX, USA (October 2007)","DOI":"10.1109\/DASC.2007.4391842"},{"key":"7_CR31","unstructured":"Wind River: Wind River VxWorks 653 Platform, \n                    \n                      http:\/\/www.windriver.com\/products\/platforms\/safety_critical_arinc_653\/\n                    \n                    \n                   (retrieved on June 17, 2010)"},{"key":"7_CR32","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, Pasadena, CA, USA, pp. 13\u201320 (July 2009)","DOI":"10.1109\/SMC-IT.2009.11"}],"container-title":["Lecture Notes in Computer Science","Architecting Dependable Systems VII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17245-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,22]],"date-time":"2019-03-22T03:08:41Z","timestamp":1553224121000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17245-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642172441","9783642172458"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17245-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}