Changes between Version 6 and Version 7 of References/2011


Ignore:
Timestamp:
Jan 21, 2016, 11:05:35 PM (4 years ago)
Author:
peguin40
Comment:

Done by Ang Swee Chow for GCI 2015

Legend:

Unmodified
Added
Removed
Modified
  • References/2011

    v6 v7  
    33[[TOC(References/2011 , depth=2)]]
    44
     5*  F. Ahmed. "Communication protocols, queuing and scheduling delay analysis in CANDU SCWR hydrogen co-generation model." The Faculty of Engineering and Applied Science, Electrical and Computer Engineering, University of Ontario Institute of Technology, August 2011. [https://ir.library.dc-uoit.ca/bitstream/10155/163/1/Ahmad_Fayyaz.pdf]
     6
     7*  R. G. Aslan, and C. C. Böke. "DAT095 Project Renewal-Implementation of a MP3 Player on a FPGA." Chalmers University of Technology / University Of Gothenburg, Department of Computer Science and Engineering, Göteborg, Sweden, August 2011 [http://publications.lib.chalmers.se/records/fulltext/148084.pdf]
     8
     9*  R. Bartoldus, R. Claus, A. Haas, G. Haller, R. Herbst, M. Huffer, M. Kocian et al. "High Bandwidth DAQ R&D for ATLAS Upgrade." February 2011 [http://www.slac.stanford.edu/exp/atlas/upgrade/tdaq/RCE-RandD.pdf]
    510
    611 *  P. Benes. "Porting of resource reservation framework to RTEMS executive, Diploma thesis" , Czech Technical University, Prague, May 2011[http://support.dce.felk.cvut.cz/mediawiki/index.php/Dp_435_en], [http://support.dce.felk.cvut.cz/mediawiki/images/e/e5/Dp_2011_benes_petr.pdf]
    712
    8  *  F. Pizlo. "FRAGMENTATION TOLERANT REAL TIME GARBAGE COLLECTION." PhD diss., Purdue University, West Lafayette, Indiana, June 2011 [http://www.filpizlo.com/papers/pizlo-phd.pdf]
     13*  I. C. Bertolotti, and T. T.  Hu. "Real-time performance of an open-source protocol stack for low-cost, embedded systems." In Emerging Technologies & Factory Automation (ETFA), 2011 IEEE 16th Conference on, pp. 1-8. IEIIT, CNR (Nat. Res. Council of Italy), Torino, Italy. IEEE, 2011.
     14
     15*  B. Blackham, Yao S. , S. Chattopadhyay, A. Roychoudhury, and G. Heiser. "Timing analysis of a protected operating system kernel." Published in Real-Time Systems Symposium (RTSS), 2011 IEEE 32nd, pp. 339-348. NICTA and University of New South Wales, Sydney, Australia. National University of Singapore, Singapore. IEEE, 2011. [https://www-old.comp.nus.edu.sg/~abhik/pdf/rtss11-os.pdf]
     16
     17*  B. Blackham, Yao S. , and G. Heiser. "Protected hard real-time: The next frontier." In Proceedings of the Second Asia-Pacific Workshop on Systems, p. 1. ACM, 2011. [https://www.ertos.nicta.com.au/publications/papers/Blackham_SH_11.pdf]
     18
     19*  C. P. Bridges, and T. Vladimirova. "Real-time agent middleware experiments on java-based processors towards distributed satellite systems." Published in Aerospace Conference, 2011 IEEE, pp. 1-10. Surrey Space Centre, Faculty of Electronic Engineering, University of Surrey, Guildford, Surrey, United Kingdom, 2011. [http://epubs.surrey.ac.uk/26830/6/f1639_5.pdf]
     20
     21*  M. Bozzano, A. Cimatti, M. Roveri, and A. Tchaltsev. "A comprehensive approach to on-board autonomy verification and validation." In Proceedings of the Twenty-Second international joint conference on Artificial Intelligence-Volume Volume Three, pp. 2398-2403. AAAI Press, 2011, [http://www.researchgate.net/publication/220815743_A_Comprehensive_Approach_to_On-Board_Autonomy_Verification_and_Validation/file/9fcfd50a39572213a7.pdf]
     22
     23*  C. Caini, and R. Firrincieli. "DTN for LEO Satellite Communications." In Personal Satellite Services, pp. 186-198. University of Bologna, Bologna, Italy. February 2011.
     24
     25*  P. Canizares, M. Chmeissani, A. Conchillo, M. Diaz–Aguiló, E. García-Berro, L. Gesa, F. Gibert et al. "The LISA pathfinder DMU and radiation monitor." Classical and Quantum Gravity 28, no. 9 : 094004, 2011. [http://arxiv.org/pdf/1009.5651]
     26
     27*  H. Cankaya, F. Friederici, A. Crespo, N. Mc Guire, and O. Hartkopp VW. "Deliverable D3. 1: Selection for Reuse of Existing Building Blocks." July 2011 [https://www.oversee-project.com/fileadmin/oversee/deliverables/Oversee_D3_1_Selection_for_reuse_of_existing_building_blocks_v1_2.pdf]
     28
     29*  Cao D. P. , Hu X. H. , Zhao J. S. , and Mao J. S. . "Development of on-board system software on BM3803." Computer Engineering and Design, Issue 2, Page 524-526,530. 2011
     30
     31*  D. Cordes, A. Heinig, P. Marwedel, and A. Mallik. "Automatic extraction of pipeline parallelism for embedded software using linear programming." In Parallel and Distributed Systems (ICPADS), 2011 IEEE 17th International Conference on, pp. 699-706. TU Dortmund University, Dortmund, Germany. IEEE, 2011. [http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/2011-icpads-cordes.pdf]
     32
     33*  D. Cotroneo  , Di Leo D. , Silva N. , and Barbosa R. . "The PreCertification Kit for Operating Systems in Safety Domains." Published in Software Certification (WoSoCER), 2011 First International Workshop, pp. 19-24. IEEE, Dec 2011.
     34
     35*  J. Delange, C.  Honvault, and J. Windsor. "Model-Based Engineering Approach for System Architecture Exploration."  European Space Agency, Keplerlaan 1, 2201AZ Noordwijk, The Netherlands. [http://taste.tuxfamily.org/wiki/images/d/d7/Erts2012-evaluation-ima.pdf]
     36
     37*  J. Delange, and L. Lec. "POK, an ARINC653-compliant operating system released under the BSD license." In 13th Real-Time Linux Workshop, vol. 10. European Space Agency, Keplerlaan 1, 2201AG Noordwijk, The Netherlands & MakeMeReach
     3823 rue de Cl´ery, 75002 Paris, France. 2011. [https://static.lwn.net/images/conf/rtlws-2011/proc/Delange_POK.pdf]
     39
     40*  I. V. Druzhinin, A. A. Mynzhasova, and E. A. Sinelnikov. "Design and implementation of a hardware-software module for testing real-time systems." Published in MIPRO, 2011 Proceedings of the 34th International Convention, pp. 788-791. IEEE, May 2011.
     41
     42*  S. R. G. dos Santos, and J. Waldmann. "Real-Time Implementation of Low-Cost University Satellite 3-Axis Attitude Determination and Control System." In Proceedings of the XXI Brazilian Congress of Mechanical Engineering–COBEM, October 2011.  [ftp://labattmot.ele.ita.br/ele/jacques/Publicacoes/COBEM2011/167201.pdf]
     43
     44*  Duan Q. Y., and Huang S. T. "The research and relization of the reconfigurable copututing system architecture oriented to space application." In Computer Research and Development (ICCRD), 2011 3rd International Conference on, vol. 2, pp. 241-245. Shanghai. IEEE, March 2011.
     45
     46*  C. B. Duncan, D. E. Robison, and C. L. Koelewyn. "Software Defined GPS Receiver for International Space Station." Published in Proceedings of the 2011 International Technical Meeting of The Institute of Navigation, January 2011 [http://ntrs.nasa.gov/search.jsp?R=20110015603]
     47
     48*  Durna M., Atar, O. ; Ceylan, M. ; Cakmakci, Y. ; Demirci, M. ; Kozal, O.A. ; Oturak, M. ; Ozdemir, A. ; Turhan, O. "On board data handling subsystem featuring BiLGE." Published in Recent Advances in Space Technologies (RAST), 2011 5th International Conference, pp. 932-937. IEEE, June 2011.
     49
     50*  T. Enderle, and F. Friederici. "Deliverable D2. 2: Specification of security services incl. virtualization and firewall mechanisms." June 2011 [http://www.transport-research.info/Upload/Documents/201210/20121024_181935_21780_D2-2_Specification_of_SecS_virtualization_and_firewall_mechanisms_v1_4.pdf]
     51
     52*  D. Fairley, S. Allison, S. Chevtsov, P. Chu, F. J. Decker, P. Emma, J. Frisch et al. "Beam Based Feedback For the Linac Coherent Light Source." ICALEPCS, 2011. [http://accelconf.web.cern.ch/AccelConf/icalepcs2011/talks/frbhault03_talk.pdf]
     53
     54*  G. Gaias, J. S. Ardaens, and S. D’Amico. "Formation Flying Testbed at Dlr’s German Space Operations Center (Gsoc)." In 8th International ESA Conference on Guidance, Navigation & Control Systems. June 2011.[http://elib.dlr.de/74556/1/2124425gaias.pdf]
     55
     56*  L. Gantel, A. Khiar, B. Miramond, M. E. A. Benkhelifa, Fa. Lemonnier, et al. "Dataflow Programming Model For Reconfigurable Computing." 6th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), pp. 1-8. Montpellier, France. Jun 2011 [http://hal.archives-ouvertes.fr/docs/00/62/36/74/PDF/ETIS_ReCoSoC2011.pdf]
     57
     58*  H. B. Graf, H. Bohnenkamp, H. Hermanns, J. P. Katoen, J. Tretmans, M. Verhoef, and J. Sheng Xingj. "Deliverable no.: D5. 10 Title of Deliverable: Final report: case studies and tool integration." Month 40 pp: 30. April 2011[http://www.quasimodo.aau.dk/Final/Quasimodo-D5.10.pdf]
     59
     60*  Y. Guo, A. Rius, S. Ribò, and C. Ferrer. "Heterogeneous transmission and parallel computing platform (HTPCP) for remote sensing applications." In SPIE Microtechnologies, pp. 80670D-80670D. International Society for Optics and Photonics, September 2011.
     61
     62*  D. Guzman, M. Prieto, S. S. Prieto, J. Almena, O. R., and D. Meziat. "Improving the LEON Spacecraft Computer Processor for Real-Time Performance Analysis." Journal of Spacecraft and Rockets 48, no. 4: 671-678, 2011 [https://www.researchgate.net/publication/245023496_Improving_the_LEON_Spacecraft_Computer_Processor_for_Real-Time_Performance_Analysis]
     63
     64*  G. Horvath, S. H. Chung, and F. Cilloniz-Bicchi. "Safety-critical Partitioned Software Architecture: A Partitioned Software Architecture for Robotic Spacecraft." In Proceedings of the Aerospace Conference. Jet Propulstion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA. March 2011.
     65
     66*  Y. Hu, L. B. Dalesio, O. Singh, H. Xu, and K. Ha. "NSLS-II Beam Diagnostics Control System." In Proceedings of ICALEPCS, Grenoble, France 2011. [http://accelconf.web.cern.ch/AccelConf/icalepcs2011/papers/mopks004.pdf]
     67
     68*  Y. Hu, L. B. Dalesio, I. Pinayev, and K. Ha. "NSLS-II Filling Pattern Measurement." In Proceedings of ICALEPCSGrenoble, France. 2011, [http://accelconf.web.cern.ch/Accelconf/icalepcs2011/papers/wepkn014.pdf]
     69
     70*  J. Hugues. "AADL for Cyber-Physical Systems: Semantics and beyond, validate what's next." In: The Robotics and Embedded Systems Seminar(RESS). Berkeley, USA.  19 April 2011[http://oatao.univ-toulouse.fr/4732/1/Hugues_4732.pdf]
     71
     72*  S. S. Jha, Hoesoek Yang, and Prof Dr L. Thiele. "Distributed Simulation of Dynamic and Fault Tolerant System."Department of Information Technology and Electrical Engineering, Swiss Federal Institute of Technology, Zurich. March 2011 [ftp://ftp.tik.ee.ethz.ch/pub/students/2010-HS/MA-2010-13.pdf]
     73
     74*  M. W. Jmal, W. Kaaniche, and M. Abid. "Memory cache optimization for a digital signature program: Case study." In Systems, Signals and Devices (SSD), 2011 8th International Multi-Conference, pp. 1-5. IEEE, March 2011.
     75
     76*  T. Kalibera. "Replicating real?time garbage collector." Concurrency and Computation: Practice and Experience 23, no. 14 (2011): 1646-1664. Purdue University, West Lafayette, IN 47907, USA; Charles University, Prague, 147 00, Czech Republic, 2010[http://www.cs.kent.ac.uk/pubs/2011/3159/content.pdf]
     77
     78*  T. Kalibera, F. Pizlo, A. L. Hosking, and J. Vitek. "Scheduling real-time garbage collection on uniprocessors." ACM Transactions on Computer Systems (TOCS) 29, no. 3, University of Kent, Canterbury and  Purdue University, West Lafayette [https://www.cs.kent.ac.uk/pubs/2011/3161/content.pdf]
     79
     80*  T. Kalibera, J. Hagelberg, P. Maj, F. Pizlo, B. Titzer, and J. Vitek. "A family of real?time Java benchmarks." Concurrency and Computation: Practice and Experience 23, no. 14 (2011): 1679-1700, [http://www.cs.purdue.edu/homes/jv/pubs/ccpe11.pdf]
     81
     82*  T. Kalibera, and R. Jones. "Handles revisited: optimising performance and memory costs in a real-time collector." In ACM SIGPLAN Notices, vol. 46, no. 11, pp. 89-98. University of Kent, Canterbury, 2011. [https://www.cs.kent.ac.uk/pubs/2011/3122/content.pdf]
     83
     84*  T. Kempf, G. Ascheid, and R. Leupers. "Abstract Simulation Implementation Model." In Multiprocessor Systems on Chip, pp. 89-130. Springer New York, 2011.
     85
     86*  C. H. Koo, H. H. Lee, and Y. J. Cheon. "Development of Distributed Generic Simulator (GenSim) through Invention of Simulated Network (simNetwork)." Journal of Astronomy and Space Sciences 28: pp241-252. Satellite Flight Software Department, Satellite Technology Division, Korea Aerospace Research Institute, Daejeon 305-333, Korea, 2011[http://www.janss.kr/Upload/files/JASS/28-3-241.pdf]
     87
     88*  Liao S. G. , Liang G., Huang D. , and Xing L. W. "Fieldbus Device Based on FPGA and ARM." Computer Engineering 4 pp: 093. 1. National Engineering Research Center of Fundamental Software, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China; 2. Graduate University of Chinese Academy of Sciences, Beijing 100190, China. 2011.
     89
     90*  T. Liljemark, H. Löfgren, E. Lamouruex, , S. Habinc, G. Gruener , A. Rusconi , L.Richter , B. Boyes , P. Poulakis  and J. Köhler . "MINIATURIZED MOTOR CONTROLLER FOR SPACE ROBOTIC APPLICATIONS."  ÅAC Microtec AB, April 2011[http://robotics.estec.esa.int/ASTRA/Astra2011/Presentations/Session%202A/04_lamoureux.pdf]
    991
    1092 *  C. Lucarz. "Dataflow programming for systems design space exploration for multicore platforms." , PhD diss., Lausanne: EPLF, 2011 [http://infoscience.epfl.ch/record/165393]
    1193
    12  *  D. Rivas Cordero. "Advanced orchestration services.", June 2009 [http://upcommons.upc.edu/handle/2099.1/7818], [http://upcommons.upc.edu/bitstream/handle/2099.1/7818/memoria.pdf?sequence=1&isAllowed=y]
     94*  Lu Li and Heng Yin. "Bench test of a satellite signal processing algorithm based on a space-qualified board." Department of Signals and Systems, Division of Communication Systems, Chalmers University of Technology, Göteborg, Sweden, 2011 [http://publications.lib.chalmers.se/records/fulltext/153293.pdf]
     95
     96*  C. Maia. "Cooperative Framework for Open Real-Time Systems." Polytechnic Institute of Porto (ISEP-IPP), Rua Dr. António Bernardino de Almeida, Porto, PortugalMarch 2011, [http://www.cister.isep.ipp.pt/docs/cooperative_framework_for_open_real_time_systems/636/]
     97
     98*  M. Masmano, Y. Valiente, P. Balbastre, I. Ripoll, and A. Crespo. "ARINC-653 APEX based on XtratuM." Instituto de Automatica e Inform ´ atica Industrial ´ Universidad Politecnica de Valencia, Spain [http://wks.gii.upv.es/sidireli/files/jtr_patricia_arinc.pdf]
     99
     100* J. W. McCormick, F. Singhoff, and J. Hugues. "Building parallel, embedded, and real-time applications with Ada." Cambridge University Press, 2011, [http://www.langtoninfo.com/web_content/9780521197168_frontmatter.pdf]
     101
     102*  I. V. McLoughlin. "Virtualized development and testing of embedded computing clusters." In Networking and Computing (ICNC), 2011 Second International Conference, pp. 17-26.Osaka. IEEE, December 2011.
     103
     104*  R. B. Merl, K. S. Morgan, M. R. Newell, M. R. Sweet, H. M. Quinn, L. G. Burczyk, and P. S. Graham. "Radiation tolerant LEON3 cPCI processor board."Los Alamos National Laboratory, Bikini Atoll Road, Los Alamos, New Mexico, July 2011.
     105
     106*  W. Ming, and T. Song. "Research on Schedulability of Partition Scheduling for IMA." In Computational Intelligence and Design (ISCID), 2011 Fourth International Symposium on, vol. 2, pp. 322-325. IEEE, Hangzhou, China, October 2011. 
     107
     108*  B. Miramond, E. Huck, T. Lefebvre, and F. Verdier. "SystemC multiprocessor RTOS model for services distribution on MPSoC platforms." In Algorithm-Architecture Matching for Signal and Image Processing, pp. 197-215. Springer Netherlands, 2011.
     109
     110*  F. Mulas. "Energy and reliability challenges in next generation devices: integrated software solutions."Universita degli Studi di Cagliari, Dipartimento di Matematica e Informatica, 2011[http://veprints.unica.it/513/1/PhD_FabrizioMulas.pdf]
     111
     112*  S. N. K. Natarajan "Communication Service and Dynamic Memory Management for hardware tasks executed on Dynamic and Partial Reconfigurable resources." Computer Engineering, Mekelweg 4,2628 CD Delft, The Netherlands. PhD diss., 2011, [http://repository.tudelft.nl/assets/uuid:69d2d334-8653-406b-b63a-fc195021a4d8/thesis.pdf]
     113
     114*  R. Natella. "Achieving Representative Faultloads in Software Fault Injection." UNIVERSITÀ DEGLI STUDI DI NAPOLI FEDERICO II VIA CLAUDIO 21, 80125, NAPLES, ITALY, November 2011 [http://www.fedoa.unina.it/8833/1/thesis_natella.pdf]
     115
     116*  S. Penolazzi. "A System-Level Framework for Energy and Performance Estimation in System-on-Chip Architectures." Doctoral Thesis in Electronic and Computer Systems Stockholm, Sweden 2011.[http://kth.diva-portal.org/smash/get/diva2:403821/FULLTEXT01]
     117
     118*  F. Pizlo. "FRAGMENTATION TOLERANT REAL TIME GARBAGE COLLECTION." PhD diss., Purdue University, West Lafayette, Indiana, June 2011 [http://www.filpizlo.com/papers/pizlo-phd.pdf]
     119
     120*  P. Predki, A. Piotrowski, M. Orlikowski, T. Kozak, G. Jablonski, D. Makowski, and A. Napieralski. "EPICS-based visualisation and control in DAQ systems." In Mixed Design of Integrated Circuits and Systems (MIXDES), 2011 Proceedings of the 18th International Conference, pp. 180-183. Dept. of Microelectron. & Comput. Sci., Tech. Univ. of Lodz, Lodz, Poland. IEEE, 2011.
     121
     122*  T. Pop, J. Keznikl, P. Hosek, M. Malohlava, T. Bures, and P. Hnetynka. "Introducing support for embedded and real-time devices into existing hierarchical component system: Lessons learned." Published in: Software Engineering Research, Management and Applications (SERA), 2011 9th International Conference, pp. 3-11. IEEE, 2011.
     123
     124*  W. A. Powell, M. A. Johnson, J. Wilmot, R. Some, K. P. Gostelow, G. Reeves, and R. J. Doyle. "Enabling future robotic missions with multicore processors" Pasadena, CA: Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2011, [http://trs-new.jpl.nasa.gov/dspace/bitstream/2014/42053/1/11-1140.pdf]
     125
     126*  D. Rivas Cordero. "Advanced orchestration services.", June 2009 [http://upcommons.upc.edu/handle/2099.1/7818], [http://upcommons.upc.edu/bitstream/handle/2099.1/7818/memoria.pdf?sequence=1&isAllowed=y]
     127
     128*  J. L. S. R. C. Rosa. "Development and Update of Aerospace Applications in Partitioned Architectures." April 2011 [http://air.di.fc.ul.pt/air-ii/downloads/JRosa_Msc.pdf]
     129
     130*  J. Rosa, J. Craveiro, and J. Rufino. "Safe online reconfiguration of time-and space-partitioned systems." In Industrial Informatics (INDIN), 2011 9th IEEE International Conference on, pp. 510-515. University of Lisbon, Faculty of Sciences, LaSIGE FCUL, Ed. C6, Piso 3, Campo Grande, 1749-016 Lisbon, Portugal. IEEE, 2011, [http://www.navigators.di.fc.ul.pt/w2/images/c/c8/Document_for_Publication-Rosa11INDIN.pdf]
     131
     132*  S. Ross, and D. Kline. "Developments in X-ray detectors at the Advanced Photon Source." Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment 649, no. 1 : 73-74. January 2011.
     133
     134*  J. Rufino, J. Craveiro, and P. Verissimo. "Building a time-and space-partitioned architecture for the next generation of space vehicle avionics." Proceedings of the 8th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2010), LNCS 6399,pp. 179-190 S.L. Min et al. (Eds.), Waidhofen an der Ybbs, Austria, October 2011 [http://air.di.fc.ul.pt/air-ii/downloads/Rufino10SEUS.pdf]
     135
     136*  J. Rufino, J. Craveiro, T. Schoofs, J. Cristóvão, S. Santos, and C. Tatibana. "AIR: Technology innovation for future spacecraft onboard computing systems." In EUROCON-International Conference on Computer as a Tool (EUROCON), 2011 IEEE, pp. 1-2. IEEE, 2011, [http://www.researchgate.net/publication/224243332_AIR_Technology_innovation_for_future_spacecraft_onboard_computing_systems/file/9fcfd50ddd6cd69eea.pdf]
     137
     138*  D. Sánchez. "Microarchitectural Approaches for Hardware Fault Mitigation in Multicore Processors." PhD diss., Universidad De Murcia, June 2011 [http://ditec.um.es/~jlaragon/papers/THESIS-dsanchez.pdf]
     139
     140*  M. Schoeberl, S. Korsholm, T. Kalibera, and A. P. Ravn. "A hardware abstraction layer in Java." ACM Transactions on Embedded Computing Systems (TECS) 10, no. 4 : 42. 2011.[https://www.cs.kent.ac.uk/pubs/2011/3189/content.pdf]
     141
     142*  T. Schoofs, and J. Cristóvão. "Sharing the cost of common tasks in the air partitioning OS." [http://www.researchgate.net/publication/236156527_Sharing_the_Costs_of_common_Tasks_in_the_AIR_Partitioning_Operating_Systems/file/72e7e51ddb530b24e5.pdf]
     143
     144*  T. Schoofs. "Formal Verification of the AIR PMK Scheduler." [http://www.researchgate.net/publication/236156545_Formal_Verification_of_the_AIR_PMK_Scheduler/file/3deec51ddb40bc5e9c.pdf]
     145
     146*  Y. D. Sha, J. Han, and F. T. Zhao. "The Design of Embedded AeroEngine Measurement and Test System Based on ARM and FPGA." Published in Advanced Engineering Forum, vol. 2, pp. 458-462. 2011.
     147
     148*  Shen X. P. ,  Li Z. H. , and Zhao X. N. . "The Implement of Hot Backup Based on Logs." Microelectronics & Computer 4 pp: 013. 2011 [http://en.cnki.com.cn/Article_en/CJFDTOTAL-WXYJ201104013.htm]
     149
     150*  E. Simetti, E. Zereik, A. Sperindé, S. Torelli, D. Ducco, F. Frassinelli, A. Turetta, and G. Casalino. "A new software architecture for developing and testing algorithms for space exploration missions." Intelligent Service Robotics 4, no. 2: pp 135-146, January 2011
     151
     152*  V. Stangaciu, G. Macariu, M. V. Micea, V. Muresan, and B. Barry. "Requirements of a real-time multiprocessor operating system for multimedia applications." In Applied Computational Intelligence and Informatics (SACI), 2011 6th IEEE International Symposium, pp. 209-215. Timisoara. IEEE, May 2011.
     153
     154*  S. Stepanov, O. Makarov, M. Hilgart, S. B. Pothineni, A. Urakhchin, S. Devarapalli, D. Yoder et al. "JBluIce-EPICS control system for macromolecular crystallography." Acta Crystallographica Section D: Biological Crystallography 67, no. 3 pp.: 176-188, February 2011 [http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3046456/]
     155
     156*  M. Sutter, T. Jejkal, R. Stotzka, V. Hartmann, and M. Hardt. "Storage and Analysis Infrastructure for Data Acquisition Systems with High Data Rates." Publiashed in Remote Instrumentation Services on the e-Infrastructure, pp. 85-102. Springer US, 2010. [http://www.ipe.fzk.de/~stotzka/publications/publications/sutter2009.2.pdf]
    13157
    14158 *  D. Tang, A. Plsek, K. Nilsen, J. Vitek. "A Static Memory Safety Annotation System for Safety Critical Java.", S3 Lab, Purdue University, West Lafayette, Indiana [http://sss.cs.purdue.edu/projects/checker/RTSS11-extended-version.pdf]
    15159
    16  *  D. Sánchez. "Microarchitectural Approaches for Hardware Fault Mitigation in Multicore Processors." PhD diss., Universidad De Murcia, June 2011 [http://ditec.um.es/~jlaragon/papers/THESIS-dsanchez.pdf]
     160*  T. Tsiodras. "Maxime Perrotin1, Eric Conquet1, Julien Delange1, André Schiele1." European Space Agency, ESTEC, Keplerlaan 2201AG Noordwijk, The Netherlands [http://www.pragmadev.com/downloads/TASTE-SDL2011-LNCS-PERROTIN.pdf]
    17161
    18  *  W. Ming, and T. Song. "Research on Schedulability of Partition Scheduling for IMA." In Computational Intelligence and Design (ISCID), 2011 Fourth International Symposium on, vol. 2, pp. 322-325. IEEE, Hangzhou, China, October 2011.  [http://doi.ieeecomputersociety.org/10.1109/ISCID.2011.183]
     162*  M. Unwin, R. de Vos Van Steenwijk, A. Da Silva Curiel, M. Cutter, F. B. Abbott. "Remote Sensing Using GPS Signals–The SGR-ReSI Instrument." Surrey Satallite Technology Pte. Ltd. , Surrey Research Park, Guildford, UK (2011). [http://digitalcommons.usu.edu/cgi/viewcontent.cgi?article=1108&context=smallsat]
    19163
    20  *  C. P. Bridges, and T. Vladimirova. "Real-time agent middleware experiments on java-based processors towards distributed satellite systems." Published in Aerospace Conference, 2011 IEEE, pp. 1-10. Surrey Space Centre, Faculty of Electronic Engineering, University of Surrey, Guildford, Surrey, United Kingdom, 2011. [http://epubs.surrey.ac.uk/26830/6/f1639_5.pdf]
     164*  J. Vitek. "Virtualizing real-time embedded systems with Java." In Proceedings of the 48th Design Automation Conference, pp. 906-911. Computer Science Department, Purdue University, West Lafayette, Indiana, United States, 2011 [https://www.cs.purdue.edu/homes/jv/pubs/dac11.pdf]
    21165
    22  *  Cao D. P. , Hu X. H. , Zhao J. S. , and Mao J. S. . "Development of on-board system software on BM3803." Computer Engineering and Design, Issue 2, Page 524-526,530. 2011
     166*  T. Vladimirova, M. Fayyaz, M. N. Sweeting, and V. I. Vitanov. "A novel autonomous low-cost on-board data handling architecture for a pin-point planetary lander." Acta Astronautica 68, no. 7 pp: 811-829.
     167
     168*  O. Wahlström. "Model Train Intelligence Unit." School of Information and Communication Technology, KTH Royal Institute of Technology, Stockholm, Sweden [http://www.rte.se/sites/default/files/Blog/Modesty/documents/modeltrainintelligenceunit_final.pdf]
     169
     170*  H. Wende, G. Distratis, C. Tenzer, E. Kendziorra, and A. Santangelo. "The Digital Data Processing Unit for the HTRS on board IXO." In Fast X-ray Timing and Spectroscopy at Extreme Count Rates (HTRS 2011), vol. 1, p. 78. February 2011, [http://pos.sissa.it/archive/conferences/122/078/HTRS%202011_078.pdf]
     171
     172*  J. Windsor, M-H. Deredempt, and R. De-Ferluc. "Integrated modular avionics for spacecraft—User requirements, architecture and role definition." In Digital Avionics Systems Conference (DASC), 2011 IEEE/AIAA 30th, pp. 8A6-1. Noordwijk, The Netherlands. IEEE, 2011.
     173
     174*  J. Windsor, K. Eckstein, P. Mendham, and T. Pareaud. "Time and space partitioning security components for spacecraft flight software." In Digital Avionics Systems Conference (DASC), 2011 IEEE/AIAA 30th, pp. 8A5-1 - 8A5-14. IEEE, October 2011.
    23175
    24176 *  Yang Q. F. and Man M. J. . "Realization of Embedded IEEE1394 Communication Based on μC/OS-Ⅱ" Computer Measurement & Control. School of Mechanical Engineering and Automation,Beihang University,Beijing, October 2011.
    25177
    26  *  O. Wahlström. "Model Train Intelligence Unit." School of Information and Communication Technology, KTH Royal Institute of Technology, Stockholm, Sweden [http://www.rte.se/sites/default/files/Blog/Modesty/documents/modeltrainintelligenceunit_final.pdf]
     178*  G. Yi. "Parallel post-processing solution for GNSS-R instrument." Department of Microelectronic and Electronic Sytem, University Autonoma de Barcelona, 2011 [http://www.tesisenred.net/bitstream/handle/10803/83980/gy1de1.pdf?sequence...the]
    27179
    28  *  Yu Z. Y. , Guo L. , Liu H. , and Yu J. C. . "Analysis and implementation of field bus device link layer software real-time ability." Computer Engineering and Design 32, no. 3: 855-858..1.National Engineering Research Center of Fundamental Software,Institute of Software,Chinese Academy of Sciences,Beijing, China; Graduate University,Chinese Academy of Sciences,Beijing, China; National Fundamental Software of China Limited Company,Beijing,China [http://en.cnki.com.cn/Article_en/CJFDTOTAL-SJSJ201103027.htm]
     180 *  Yu  Z. Y. , Guo L. , Liu H. , and Yu J. C. . "Analysis and implementation of field bus device link layer software real-time ability." Computer Engineering and Design 32, no. 3: 855-858..1.National Engineering Research Center of Fundamental Software,Institute of Software,Chinese Academy of Sciences,Beijing, China; Graduate University,Chinese Academy of Sciences,Beijing, China; National Fundamental Software of China Limited Company,Beijing,China [http://en.cnki.com.cn/Article_en/CJFDTOTAL-SJSJ201103027.htm]
    29181
    30  *  T. Liljemark, H. Löfgren, E. Lamouruex, , S. Habinc, G. Gruener , A. Rusconi , L.Richter , B. Boyes , P. Poulakis  and J. Köhler . "MINIATURIZED MOTOR CONTROLLER FOR SPACE ROBOTIC APPLICATIONS."  ÅAC Microtec AB, April 2011[http://robotics.estec.esa.int/ASTRA/Astra2011/Presentations/Session%202A/04_lamoureux.pdf]
     182*  Zhang Y. H. , and Liu S. M. "The Research of PC Based Embedded Software Teaching in Electrical Engineering." In Circuits, Communications and System (PACCS), 2011 Third Pacific-Asia Conference on, pp. 1-5. Electr. Eng., Chongqing Univ. Sci. & Technol., Chongqing, China. IEEE, 2011.
    31183
    32  *  S. R. G. dos Santos, and J. Waldmann. "Real-Time Implementation of Low-Cost University Satellite 3-Axis Attitude Determination and Control System." In Proceedings of the XXI Brazilian Congress of Mechanical Engineering–COBEM, October 2011.  [ftp://labattmot.ele.ita.br/ele/jacques/Publicacoes/COBEM2011/167201.pdf]
     184*  R. Zhou. "Partitioned System with XtratuM on PowerPC." Polytechnic University of Valencia, Spain. December 2009. [http://dspace.cc.upv.es/bitstream/handle/10251/12738/Tesina_Rui_Zhou.pdf?sequence=1]
    33185
    34  *  J. Delange, C.  Honvault, and J. Windsor. "Model-Based Engineering Approach for System Architecture Exploration."  European Space Agency, Keplerlaan 1, 2201AZ Noordwijk, The Netherlands. [http://taste.tuxfamily.org/wiki/images/d/d7/Erts2012-evaluation-ima.pdf]
    35 
    36  *  M. Masmano, Y. Valiente, P. Balbastre, I. Ripoll, and A. Crespo. "ARINC-653 APEX based on XtratuM." Instituto de Automatica e Inform ´ atica Industrial ´ Universidad Politecnica de Valencia, Spain [http://wks.gii.upv.es/sidireli/files/jtr_patricia_arinc.pdf]
    37 
    38  *  I. V. Druzhinin, A. A. Mynzhasova, and E. A. Sinelnikov. "Design and implementation of a hardware-software module for testing real-time systems." Published in MIPRO, 2011 Proceedings of the 34th International Convention, pp. 788-791. IEEE, May 2011. [http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=5967161&url=http%3A%2F%2Fieeexplore.ieee.org%2Fxpls%2Fabs_all.jsp%3Farnumber%3D5967161]
    39 
    40  *  J. Rufino, J. Craveiro, and P. Verissimo. "Building a time-and space-partitioned architecture for the next generation of space vehicle avionics." Proceedings of the 8th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2010), LNCS 6399,pp. 179-190 S.L. Min et al. (Eds.), Waidhofen an der Ybbs, Austria, October 2011 [http://air.di.fc.ul.pt/air-ii/downloads/Rufino10SEUS.pdf]
    41 
    42  *  Cotroneo D. , Di Leo D. , Silva N. , and Barbosa R. . "The PreCertification Kit for Operating Systems in Safety Domains." Published in Software Certification (WoSoCER), 2011 First International Workshop, pp. 19-24. IEEE, Dec 2011.
    43 
    44  *  D. Guzman, M. Prieto, S. S. Prieto, J. Almena, O. R., and D. Meziat. "Improving the LEON Spacecraft Computer Processor for Real-Time Performance Analysis." Journal of Spacecraft and Rockets 48, no. 4: 671-678, 2011 [https://www.researchgate.net/publication/245023496_Improving_the_LEON_Spacecraft_Computer_Processor_for_Real-Time_Performance_Analysis]
    45 
    46  *  F. Ahmed. "Communication protocols, queuing and scheduling delay analysis in CANDU SCWR hydrogen co-generation model." The Faculty of Engineering and Applied Science, Electrical and Computer Engineering, University of Ontario Institute of Technology, August 2011. [https://ir.library.dc-uoit.ca/bitstream/10155/163/1/Ahmad_Fayyaz.pdf]
    47 
    48  *  R. Natella. "Achieving Representative Faultloads in Software Fault Injection." UNIVERSITÀ DEGLI STUDI DI NAPOLI FEDERICO II VIA CLAUDIO 21, 80125, NAPLES, ITALY, November 2011 [http://www.fedoa.unina.it/8833/1/thesis_natella.pdf]
    49 
    50  *  E. Simetti, E. Zereik, A. Sperindé, S. Torelli, D. Ducco, F. Frassinelli, A. Turetta, and G. Casalino. "A new software architecture for developing and testing algorithms for space exploration missions." Intelligent Service Robotics 4, no. 2: pp 135-146, January 2011
    51 
    52  *  Durna M., Atar, O. ; Ceylan, M. ; Cakmakci, Y. ; Demirci, M. ; Kozal, O.A. ; Oturak, M. ; Ozdemir, A. ; Turhan, O. "On board data handling subsystem featuring BiLGE." Published in Recent Advances in Space Technologies (RAST), 2011 5th International Conference, pp. 932-937. IEEE, June 2011. [http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=5966979&url=http%3A%2F%2Fieeexplore.ieee.org%2Fxpls%2Fabs_all.jsp%3Farnumber%3D5966979]
    53 
    54  *  S. Penolazzi. "A System-Level Framework for Energy and Performance Estimation in System-on-Chip Architectures." Doctoral Thesis in Electronic and Computer Systems Stockholm, Sweden 2011.[http://kth.diva-portal.org/smash/get/diva2:403821/FULLTEXT01]
    55 
    56  *  G. Gaias, J. S. Ardaens, and S. D’Amico. "Formation Flying Testbed at Dlr’s German Space Operations Center (Gsoc)." In 8th International ESA Conference on Guidance, Navigation & Control Systems. June 2011.[http://elib.dlr.de/74556/1/2124425gaias.pdf]
    57 
    58  *  C. B. Duncan, D. E. Robison, and C. L. Koelewyn. "Software Defined GPS Receiver for International Space Station." Published in Proceedings of the 2011 International Technical Meeting of The Institute of Navigation, January 2011 [http://ntrs.nasa.gov/search.jsp?R=20110015603]
    59 
    60  *  C. H. Koo, H. H. Lee, and Y. J. Cheon. "Development of Distributed Generic Simulator (GenSim) through Invention of Simulated Network (simNetwork)." Journal of Astronomy and Space Sciences 28: pp241-252. Satellite Flight Software Department, Satellite Technology Division, Korea Aerospace Research Institute, Daejeon 305-333, Korea, 2011[http://www.janss.kr/Upload/files/JASS/28-3-241.pdf]
    61 
    62  *  T. Kalibera. "Replicating real?time garbage collector." Concurrency and Computation: Practice and Experience 23, no. 14 (2011): 1646-1664. Purdue University, West Lafayette, IN 47907, USA; Charles University, Prague, 147 00, Czech Republic, 2010[http://www.cs.kent.ac.uk/pubs/2011/3159/content.pdf]
    63 
    64  *  J. Vitek. "Virtualizing real-time embedded systems with Java." In Proceedings of the 48th Design Automation Conference, pp. 906-911. Computer Science Department, Purdue University, West Lafayette, Indiana, United States, 2011 [https://www.cs.purdue.edu/homes/jv/pubs/dac11.pdf]
    65 
    66  *  Lu Li and Heng Yin. "Bench test of a satellite signal processing algorithm based on a space-qualified board." Department of Signals and Systems, Division of Communication Systems, Chalmers University of Technology, Göteborg, Sweden, 2011 [http://publications.lib.chalmers.se/records/fulltext/153293.pdf]
    67 
    68  *  T. Vladimirova, M. Fayyaz, M. N. Sweeting, and V. I. Vitanov. "A novel autonomous low-cost on-board data handling architecture for a pin-point planetary lander." Acta Astronautica 68, no. 7 pp: 811-829.
    69 
    70  *  T. Schoofs. "Formal Verification of the AIR PMK Scheduler." [http://www.researchgate.net/publication/236156545_Formal_Verification_of_the_AIR_PMK_Scheduler/file/3deec51ddb40bc5e9c.pdf]
    71 
    72  *  D. Fairley, S. Allison, S. Chevtsov, P. Chu, F. J. Decker, P. Emma, J. Frisch et al. "Beam Based Feedback For the Linac Coherent Light Source." ICALEPCS, 2011. [http://accelconf.web.cern.ch/AccelConf/icalepcs2011/talks/frbhault03_talk.pdf]
    73 
    74  *  Shen X. P. ,  Li Z. H. , and Zhao X. N. . "The Implement of Hot Backup Based on Logs." Microelectronics & Computer 4 pp: 013. 2011 [http://en.cnki.com.cn/Article_en/CJFDTOTAL-WXYJ201104013.htm]
    75 
    76  *  Y. Hu, L. B. Dalesio, O. Singh, H. Xu, and K. Ha. "NSLS-II Beam Diagnostics Control System." In Proceedings of ICALEPCS, Grenoble, France 2011. [http://accelconf.web.cern.ch/AccelConf/icalepcs2011/papers/mopks004.pdf]
    77 
    78  *  P. Predki, A. Piotrowski, M. Orlikowski, T. Kozak, G. Jablonski, D. Makowski, and A. Napieralski. "EPICS-based visualisation and control in DAQ systems." In Mixed Design of Integrated Circuits and Systems (MIXDES), 2011 Proceedings of the 18th International Conference, pp. 180-183. Dept. of Microelectron. & Comput. Sci., Tech. Univ. of Lodz, Lodz, Poland. IEEE, 2011.
    79 
    80  *  M. Sutter, T. Jejkal, R. Stotzka, V. Hartmann, and M. Hardt. "Storage and Analysis Infrastructure for Data Acquisition Systems with High Data Rates." Publiashed in Remote Instrumentation Services on the e-Infrastructure, pp. 85-102. Springer US, 2010. [http://www.ipe.fzk.de/~stotzka/publications/publications/sutter2009.2.pdf]
    81 
    82  *  C. Ziemke, T. Kuwahara, and I. Kossev. "An integrated development framework for rapid development of platform-independent and reusable satellite on-board software." Published in Mixed Design of Integrated Circuits and Systems (MIXDES), 2011 Proceedings of the 18th International Conference. Acta Astronautica 69, no. 7 pp: 583-594. June 2011
    83 
    84  *  Liao S. G. , Liang G., Huang D. , and Xing L. W. "Fieldbus Device Based on FPGA and ARM." Computer Engineering 4 pp: 093. 1. National Engineering Research Center of Fundamental Software, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China; 2. Graduate University of Chinese Academy of Sciences, Beijing 100190, China. 2011.
    85 
    86  *  M. Unwin, R. de Vos Van Steenwijk, A. Da Silva Curiel, M. Cutter, F. B. Abbott. "Remote Sensing Using GPS Signals–The SGR-ReSI Instrument." Surrey Satallite Technology Pte. Ltd. , Surrey Research Park, Guildford, UK (2011). [http://digitalcommons.usu.edu/cgi/viewcontent.cgi?article=1108&context=smallsat]
    87 
    88  *  Y. D. Sha, J. Han, and F. T. Zhao. "The Design of Embedded AeroEngine Measurement and Test System Based on ARM and FPGA." Published in Advanced Engineering Forum, vol. 2, pp. 458-462. 2011.
    89 
    90  *  T. Kempf, G. Ascheid, and R. Leupers. "Abstract Simulation Implementation Model." In Multiprocessor Systems on Chip, pp. 89-130. Springer New York, 2011.
    91 
    92  *  H. B. Graf, H. Bohnenkamp, H. Hermanns, J. P. Katoen, J. Tretmans, M. Verhoef, and J. Sheng Xingj. "Deliverable no.: D5. 10 Title of Deliverable: Final report: case studies and tool integration." Month 40 pp: 30. April 2011[http://www.quasimodo.aau.dk/Final/Quasimodo-D5.10.pdf]
    93 
    94  *  J. L. S. R. C. Rosa. "Development and Update of Aerospace Applications in Partitioned Architectures." April 2011 [http://air.di.fc.ul.pt/air-ii/downloads/JRosa_Msc.pdf]
    95 
    96  *  Duan Q. Y., and Huang S. T. "The research and relization of the reconfigurable copututing system architecture oriented to space application." In Computer Research and Development (ICCRD), 2011 3rd International Conference on, vol. 2, pp. 241-245. Shanghai. IEEE, March 2011.
    97 
    98  *  R. Zhou. "Partitioned System with XtratuM on PowerPC." Polytechnic University of Valencia, Spain. December 2009. [http://dspace.cc.upv.es/bitstream/handle/10251/12738/Tesina_Rui_Zhou.pdf?sequence=1]
    99 
    100  *  B. Blackham, Yao S. , S. Chattopadhyay, A. Roychoudhury, and G. Heiser. "Timing analysis of a protected operating system kernel." Published in Real-Time Systems Symposium (RTSS), 2011 IEEE 32nd, pp. 339-348. NICTA and University of New South Wales, Sydney, Australia. National University of Singapore, Singapore. IEEE, 2011. [https://www-old.comp.nus.edu.sg/~abhik/pdf/rtss11-os.pdf]
    101 
    102  *  C. Caini, and R. Firrincieli. "DTN for LEO Satellite Communications." In Personal Satellite Services, pp. 186-198. University of Bologna, Bologna, Italy. February 2011.
    103 
    104  *  T. Pop, J. Keznikl, P. Hosek, M. Malohlava, T. Bures, and P. Hnetynka. "Introducing support for embedded and real-time devices into existing hierarchical component system: Lessons learned." Published in:
    105 Software Engineering Research, Management and Applications (SERA), 2011 9th International Conference, pp. 3-11. IEEE, 2011.
    106 
    107  *  G. Horvath, S. H. Chung, and F. Cilloniz-Bicchi. "Safety-critical Partitioned Software Architecture: A Partitioned Software Architecture for Robotic Spacecraft." In Proceedings of the Aerospace Conference. Jet Propulstion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA. March 2011.
    108 
    109  *  T. Schoofs, and J. Cristóvão. "Sharing the cost of common tasks in the air partitioning OS." [http://www.researchgate.net/publication/236156527_Sharing_the_Costs_of_common_Tasks_in_the_AIR_Partitioning_Operating_Systems/file/72e7e51ddb530b24e5.pdf]
    110 
    111  *  J. Rufino, J. Craveiro, T. Schoofs, J. Cristóvão, S. Santos, and C. Tatibana. "AIR: Technology innovation for future spacecraft onboard computing systems." In EUROCON-International Conference on Computer as a Tool (EUROCON), 2011 IEEE, pp. 1-2. IEEE, 2011, [http://www.researchgate.net/publication/224243332_AIR_Technology_innovation_for_future_spacecraft_onboard_computing_systems/file/9fcfd50ddd6cd69eea.pdf]
    112 
     186*  C. Ziemke, T. Kuwahara, and I. Kossev. "An integrated development framework for rapid development of platform-independent and reusable satellite on-board software." Published in Mixed Design of Integrated Circuits and Systems (MIXDES), 2011 Proceedings of the 18th International Conference. Acta Astronautica 69, no. 7 pp: 583-594. June 2011