Changes between Version 161 and Version 162 of References


Ignore:
Timestamp:
01/06/16 02:34:28 (8 years ago)
Author:
Joel Sherrill
Comment:

Split page since it was over the limit and losing references prior to 2010. Older references likely lost during mediawiki to trac conversion

Legend:

Unmodified
Added
Removed
Modified
  • References

    v161 v162  
    1 = RTEMSReferences =
     1= RTEMS References =
    22
    33
    44
    5 [[TOC(TBR/Website/RTEMSReferences, depth=2)]]
     5[[TOC(References, depth=2)]]
    66
    77This page attempts to capture all published references to RTEMS only ignoring mailing list archives.  It should include both positive and negative references, although there are not many negative ones. :)  It should include papers on applications and research projects that used RTEMS.
     
    99Please feel free to add references you know of to conference papers, presentations, web sites, product brochures, white papers, papers which only mention RTEMS, etc.  It is only with the help of the community that this page can be current and complete.
    1010
    11 --[wiki:User:JoelSherrill Dr. Joel] 11:39, 12 Jul 2006 (CDT)
    12 
    13 ----
    14 =  Published in 2015  =
    15 
    16  * J. Dolezal "Drivers and Libraries Enabling RTEMS OS GUI on Current PC Graphics Cards", bachelor thesis, Czech technical University [https://dspace.cvut.cz/handle/10467/61467]
    17    [https://dspace.cvut.cz/bitstream/handle/10467/61467/F3-BP-2015-Dolezal-Jan-Drivers-and-Libraries-Enabling-RTEMS-OS-GUI-on-Current-PC-Graphics-Cards.pdf full text PDF].
    18 
    19 =  Published in 2014  =
    20 
    21 =  Published in 2013  =
    22 
    23  *  Femmer, Henning, et al. "Detecting inconsistencies in wrappers: a case study." Proceedings of the 2013 International Conference on Software Engineering. IEEE Press, 2013. [http://www4.in.tum.de/~femmer/works/icse13seip-preprint.pdf]
    24 
    25  *  Prieto, M., et al. "Breadboard model of the SIDRA instrument designed for the measurement of charged particle fluxes in space." Journal of Instrumentation 8.04 (2013): T04002.[https://www.researchgate.net/profile/OV_Dudnik/publication/258309575_Breadboard_model_of_the_SIDRA_instrument_designed_for_the_measurement_of_charged_particle_fluxes_in_space/links/0c960527e2f4da1c05000000.pdf]
    26 
    27  *  Mortensen, Dale J. GRC GSFC TDRSS Waveform Metrics Report. 2013. [http://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/20130014048.pdf]
    28 
    29  *  Ramezani, Reza, and Yasser Sedaghat. "An overview of fault tolerance techniques for real-time operating systems." Computer and Knowledge Engineering (ICCKE), 2013 3th International eConference on. IEEE, 2013. [http://profdoc.um.ac.ir/articles/a/1038673.pdf]
    30 
    31  *  Yang, Feng, Xuehai Zhou, and Dalei Hu. "A General Mandatory Access Control Framework in Distributed Environments." [http://www.waset.org/publications/17188]
    32 
    33  *  Zhou, Zhengmao, et al. "A Workload Model Based Approach to Evaluate the Robustness of Real-time Operating System." High Performance Computing and Communications & 2013 IEEE International Conference on Embedded and Ubiquitous Computing (HPCC_EUC), 2013 IEEE 10th International Conference on. IEEE, 2013. [http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=6832175&url=http%3A%2F%2Fieeexplore.ieee.org%2Fxpls%2Fabs_all.jsp%3Farnumber%3D6832175]
    34 
    35  *  Song, Jia, and Jim Alves-Foss. "Security Tagging for a Zero-Kernel Operating System." System Sciences (HICSS), 2013 46th Hawaii International Conference on. IEEE, 2013. [http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=6480455&url=http%3A%2F%2Fieeexplore.ieee.org%2Fxpls%2Fabs_all.jsp%3Farnumber%3D6480455]
    36 
    37  *  Song, Jia, and Jim Alves-Foss. "Hardware security tags for enhanced operating system security." IACIS 2013 International Conference. 2013. [https://www.researchgate.net/profile/Jim_Alves-Foss/publication/259078619_Hardware_Security_Tags_for_Enhanced_Operating_System_Security/links/0c960529e65fb94258000000.pdf]
    38 
    39  *  Narahari, Bhagirath, and Rahul Simha. Architectural Support for Detection and Recovery using Hardware Wrappers. GEORGE WASHINGTON UNIV WASHINGTON DC, 2013. [http://oai.dtic.mil/oai/oai?verb=getRecord&metadataPrefix=html&identifier=ADA578064]
    40 
    41  *  M. Unwin, S. Gao, R. De Vos Van Steenwijk, P. Jales, M. Maqsood, C. Gommenginger, J. Rose, C. Mitchell, K. Partington. "Development of low-cost spaceborne multi-frequency GNSS receiver for navigation and GNSS remote sensing" [http://inderscience.metapress.com/content/682jx6461l433034/fulltext.pdf]
    42 
    43  *  Hwang, W. H., et al. "S-band Low Level RF system for 10GeV PAL XFEL." Proceedings of IPAC 12 (2013). [https://accelconf.web.cern.ch/accelconf/IPAC2012/papers/thppc058.pdf]
    44 
    45  *  Matias, E., M. de Jong, and L. Dallin. "CLS CONTROL SYSTEM CONTRIBUTION TO SYSTEM RELIABILITY." [https://www.researchgate.net/profile/Elder_Matias/publication/257653726_CLS_CONTROL_SYSTEM_CONTRIBUTION_TO_SYSTEM_RELIABILITY/links/0deec525a23750e1b7000000.pdf]
    46 
    47  *  FitzGeorge, T., et al. "Integrated Payload Data Handling Demonstrator." European Planetary Science Congress 2013, held 8-13 September in London, UK. Online at: [http://meetings. copernicus. org/epsc2013], id. EPSC2013-57. Vol. 8. 2013. [http://meetingorganizer.copernicus.org/EPSC2013/EPSC2013-57.pdf]
    48 
    49  * Bridges, C.P., Vladimirova, T. “Towards an Agent Computing Platform for Distributed Computing on Satellites”, Aerospace and Electronic Systems, IEEE Transactions, Volume 49, Issue 3, pp 1824-1838, IEEE, 2013.
    50 
    51  * Dickinson John R., Alvarez, Jennifer L., Rose, Randall J., Ruf, Christopher S. Walls, Buddy J. “Avionics of the Cyclone Global Navigation Satellite System (CYGNSS) microsat constellation”, Aerospace Conference, 2013 IEEE, pp 1-9, IEEE, 2013.
    52 
    53  * Selimoglu O., Yilmaz O., Celik V., Acar D. ,Unses E., Ucan M., Guven E., Yilmaz O., Mert Y.M., Kirik M.S., Haliloglu O. “Design of a 4m resolution satellite imager for small satellites”, Recent Advances in Space Technologies (RAST), 2013 6th International Conference, pp 687-691, IEEE,2013.
    54 
    55  * Hao Zhang, Elder Matias “Development of an Accelerator Safety System Using IEC 61508 and Design Pattern”, ICONS 2013 : The Eighth International Conference on Systems, pp 117-122, 2013.
    56 
    57  * Marcio Castro, Emilio Francesquini, Thomas M. Nguélé, Jean-François Méhaut “Analysis of computing and energy performance of multicore, NUMA, and manycore platforms for an irregular application”, IA^3 '13 Proceedings of the 3rd Workshop on Irregular Applications: Architectures and Algorithms Article No. 5, ACM, 2013.
    58 
    59  * Young-Gi Song ”Integrated control system for the beam commissioning of the PEFP 100-MeV proton accelerator”, Journal of the Korean Physical Society, Volume 63, Issue 7, pp 1280-1286, Springer, 2013.
    60 
    61  * Belhadj N., Bahri N., Ben Ayed, M.A. Marrakchi Z., Mehrez H. “Data level parallelism for H264/AVC baseline intra-prediction chain on MPSoC”, Systems, Signals & Devices (SSD), 2013 10th International Multi-Conference, pp1-4,Springer Netherlands, 2013.
    62 
    63  * Muri P., McNair J. “A performance comparison of DTN protocols for high delay optical channels”, Wireless Communications and Networking Conference Workshops (WCNCW),2013 IEEE, pp183 - 188, IEEE, 2013.
    64 
    65  * Iuliana Bacivarov, Wolfgang Haid, Kai Huang, Lothar Thiele “Methods and Tools for Mapping Process Networks onto Multi-Processor Systems-On-Chip”, Handbook of Signal Processing Systems, pp 867-903, Springer, 2013.
    66 
    67  * Belhadj N., Turki M., Marrakchi Z., Ben Ayed, M.A., Masmoudi, N., Mehrez H. ”MPSoC architecture for H.264/AVC intra prediction chain on SoCLiB platform and FPGA technology”, Sciences and Techniques of Automatic Control and Computer Engineering (STA), 2013 14th International Conference, pp 216-219, IEEE, 2013.
    68 
    69  * M. Deredempt, A. Rossignol; P. Hyounet. “Integrated Modular Avionics for Spacecraft: Earth Observation Use Case Demonstrator.” Proceedings of DASIA 2013 DAta Systems In Aerospace. 2013. [http://adsabs.harvard.edu/abs/2013ESASP.720E..20D]
    70 
    71  * M. Ershaid, D. Ruiz, S. Cuneo, A. Al-Tarkeet, D. Periyasamy, S. Al-Anezi, J. Al-Mutairi, C. Ruiz, O. Santollani. “Real Time Online Energy Management at KNPC Refineries.” Society of Petroleum Engineers. SPE Kuwait Oil and Gas Show and Conference. 2013. [https://www.onepetro.org/conference-paper/SPE-167331-MS]
    72 
    73  * J. Zheng. “Analysis of locomotive manipulation automatic optimization device based on double 2-vote-2 computer system.” [http://en.cnki.com.cn/Article_en/CJFDTOTAL-CSTD201303022.htm]
    74 
    75  * J. Eickhoff, M. Fritz, R. Witt, N. Bucher, H. Roser. “Test Program of the ‘Combined Data and Power Management Infrastructure.’” Proceedings of DASIA 2013 DAta Systems In Aerospace. 2013. [http://adsabs.harvard.edu/abs/2013ESASP.720E..54E]
    76 
    77  * J. Gaisler, K. Eisele, A. Larsson. "TSIM2 Simulator User's Manual." Aeroflex Gaisler. 2014. [http://www.gaisler.com/doc/tsim-2.0.30.pdf]
    78 
    79  * H. L. Provost , S. Schanne, C. Flouzat , P. Kestener , T. Chaminade, M. Donati , F. Château, F. Daly, J. Fontignie. “A Scientific Trigger Unit for space-based Real-Time Gamma Ray Burst detection II-Data Processing Model and benchmarks.” 2013. [http://arxiv.org/ftp/arxiv/papers/1412/1412.0481.pdf]
    80 
    81 =  Published in 2012  =
     11WARNING: Trac has a size limit on page size. It appears that many references were lost in the transition from Mediawiki to Trac. Further as more references were added, references were lost at the bottom. This was detected 5 Jan 2016 and the last entry of 2010 was truncated. Hopefully this can all be recovered.
    8212
    8313
    84  *  A. Rossignol, J. Seroine-Vivien. "ASTRIUM Satellites expriment about RTEMS On-Board Software Product: From an Open Source Software to an operational Satellite Real-Time Operating System" [http://ingenierie.openwide.fr/content/download/3672/29378/file/RTEMS_ASTRIUM_2012-1.pdf]
     14* [wiki:References/2015] 2015
     15* [wiki:References/2014] 2014
     16* [wiki:References/2013] 2013
     17* [wiki:References/2012] 2012
     18* [wiki:References/2011] 2011
     19* [wiki:References/2010] 2010 ** bottom reference needs to be fixed/recovered
    8520
    86  *  Geoffrey Nelissen. "Efficient Optimal Multiprocessor Scheduling Algorithms for Real-Time Systems" [http://theses.ulb.ac.be/ETD-db/collection/available/ULBetd-01092013-221150/unrestricted/PhD_Nelissen.pdf]
     21* [wiki:References/2009] 2009
     22* [wiki:References/2008] 2008
     23* [wiki:References/2007] 2007
     24* [wiki:References/2006] 2006
     25* [wiki:References/2005] 2005
     26* [wiki:References/2004] 2004
     27* [wiki:References/2003] 2003
     28* [wiki:References/2002] 2002
     29* [wiki:References/2001] 2001
     30* [wiki:References/2000] 2000
    8731
    88  *  Kai, Wu, and Li Fang. "RTEMS OS Porting on Embedded at91r40008 Platform." In Recent Advances in Computer Science and Information Engineering, pp. 269-274. Springer Berlin Heidelberg, 2012.
     32* [wiki:References/1999] 1999
     33* [wiki:References/1998] 1998
     34* [wiki:References/1997] 1997
     35* [wiki:References/1996] 1996
     36* [wiki:References/1995] 1995
     37* [wiki:References/1994] 1994
     38* [wiki:References/1993] 1993
     39* [wiki:References/1992] 1992
     40* [wiki:References/1991] 1991
     41* [wiki:References/1990] 1990
    8942
    90  *  Kuang, Jian, Jie Liu, and Jiali Bian. "Implementing java programming language on RTEMS operating system." In Electrical & Electronics Engineering (EEESYM), 2012 IEEE Symposium on, pp. 90-93. IEEE, 2012.
    91 
    92  *  Mzid, Rania, Chokri Mraidha, Jean-Philippe Babau, and Mohamed Abid. "Real-time design models to RTOS-specific models refinement verification." In Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, pp. 25-30. ACM, 2012.
    93 
    94  *  Mzid, Rania, Chokri Mraidha, Jean-Philippe Babau, and Mohamed Abid. "A MDD Approach for RTOS Integration on Valid Real-Time Design Model." In Software Engineering and Advanced Applications (SEAA), 2012 38th EUROMICRO Conference on, pp. 9-16. IEEE, 2012.
    95 
    96  *  Braga, Pedro. "DEMONSTRATING XLUNA ON ESA EXOMADER ROVER." In ESA Special Publication, vol. 699, p. 55. 2012. [http://asd.criticalsoftware.com/upload_product/Demonstrating_XLUNA_on_ESA_Exomader_Rover.pdf ]
    97 
    98  *  Blanchet, Marc, Simon Perreault, and Jean-Philippe Dionne. "Postellation: an Enhanced Delay-Tolerant Network (DTN) Implementation with Video Streaming and Automated Network Attachment." (2012). [http://spaceops2012.com/proceedings/documents/id1279621-Paper-001.pdf]
    99 
    100  *  Forster, M. J., S. Ball, L. Bartnik, D. Bougie, R. Helmke, M. Palmer, S. Peck, D. Riley, R. Sholtys, and C. Strohman. "CESR CONTROL SYSTEM UPGRADE TO LINUX HIGH AVAILABILITY CLUSTER." [http://accelconf.web.cern.ch/AccelConf/IPAC2012/papers/THPPR015.PDF]
    101 
    102  *  McComas, David. "NASA/GSFC’s Flight Software Core Flight System." (2012). [http://flightsoftware.jhuapl.edu/files/2012/FSW12_McComas.pdf]
    103 
    104  *  Choi, Jong-Wook, and Byeong-Gyu Nam. "Development of high performance space processor emulator based on QEMU—Open source dynamic translator." In Control, Automation and Systems (ICCAS), 2012 12th International Conference on, pp. 300-304. IEEE, 2012.
    105 
    106  *  Yan, J., T. Allison, and S. Witherspoon. "PC/104 ASYN DRIVERS AT JEFFERSON LAB." [http://accelconf.web.cern.ch/Accelconf/icalepcs2011/papers/wepmn012.pdf]
    107 
    108  *  Kuang, Jian, Quan Ming Shi, and Jia Li Bian. "The Memory Protection in Embedded RTOS." Applied Mechanics and Materials 198 (2012): 294-299.
    109 
    110  *  Osmolovsky, S. "Embedded Operating Systems for Microprocessor Architecture MIPS32." [http://www.fruct.org/publications/abstract8/files/Osm.pdf]
    111 
    112  *  Matias, E., D. Beauregard, R. Berg, G. Black, M. J. Boots, W. Dolton, D. Hunter et al. "PHASE II AND III THE NEXT GENERATION OF CLS BEAMLINE CONTROL AND DATA ACQUISITION SYSTEMS." [http://accelconf.web.cern.ch/Accelconf/icalepcs2011/papers/mopmu013.pdf]
    113 
    114  *  Zhou, Zhengmao, Yun Zhou, and Ming Cai. "An Approach to Evaluate the Robustness of Real Time Operating System."
    115 
    116  *  Buckingham, Ron, and Rob Zee. "Enabling Spacecraft Technologies for the Polar Communications and Weather Spacecraft Bus." (2012).
    117 
    118  *  Bär, R. C., T. Fleck, M. Kreider, and S. Mauro. "THE TIMING MASTER FOR THE FAIR ACCELERATOR FACILITY." [http://epaper.kek.jp/icalepcs2011/papers/wepms011.pdf]
    119 
    120  *  Joe, Hyunwoo, Hyeona Jeong, Youngil Yoon, Hyungshin Kim, Sanghyun Han, and Hyun-Wook Jin. "Full virtualizing micro hypervisor for spacecraft flight computer." In Digital Avionics Systems Conference (DASC), 2012 IEEE/AIAA 31st, pp. 6C5-1. IEEE, 2012.
    121 
    122  *  Choi, Jong-Wook, Hyun-Kyu Shin, Jae-Seung Lee, and Yee-Jin Cheon. "Development of LEON3-FT Processor Emulator for Flight Software Development and Test." In Advanced Information Technology in Education, pp. 33-40. Springer Berlin Heidelberg, 2012.
    123 
    124  *  Acquaviva, Andrea, Nicola Bombieri, Franco Fummi, and Sara Vinco. "On the automatic synthesis of parallel SW from RTL models of hardware IPs." In Proceedings of the great lakes symposium on VLSI, pp. 71-74. ACM, [http://dl.acm.org/citation.cfm?id=2206800]
    125 
    126  *  ESAT-MICAS, KU Leuven. "at ISSCC 2012.", [http://mind.be/content/DSP%20Valley%20Newsletter%20-%202012-1%20-%20LR_3834_DSP_NB%20Feb-Maa_2012_Bookmarks.pdf]
    127 
    128  *  Wang, Jinlin. "Scheduling of Periodic Tasks with Data Dependency on Multiprocessors.", [http://www.atlantis-press.com/php/download_paper.php?id=4116]
    129 
    130  *  Mosdorf, Micha?. "Method for detecting software anomalies based on recurrence plot analysis." Journal of Theoretical and Applied Computer Science 6, no. 1 (2012): 3-12, [http://www.jtacs.org/archive/2012/1/1], [http://www.jtacs.org/archive/2012/1/1/JTACS_2012_01_01.pdf]
    131 
    132  *  Jadhav, S. J., and A. V. Chavan. "Role of Embedded System." World Research Journal of Transactions on Algorithms, ISSN, [http://www.bioinfo.in/uploadfiles/13476886701_1_5_WRJTA.pdf]
    133 
    134  *  Silva, Cláudio, João Cristóvão, and Tobias Schoofs. "AN I/O BUILDING BLOCK FOR THE IMA SPACE REFERENCE ARCHITECTURE.", [http://www.gmv.com/export/sites/gmv/DocumentosPDF/air/Paper_DASIA_2012.pdf]
    135 
    136  *  Khiar, Amel, Nicolas Knecht, Laurent Gantel, Soufyane Lkad, and Benoit Miramond. "Middleware based executive for embedded reconfigurable platforms." In Design and Architectures for Signal and Image Processing (DASIP), 2012 Conference on, pp. 1-6. IEEE, 2012. [http://hal.archives-ouvertes.fr/docs/00/78/19/83/PDF/Fosfor_Com0.pdf]
    137 
    138  *  DiMonte, N., R. Farnsworth, and A. Scaminaci. "PERFORMANCE ENHANCEMENTS FOR THE TRANSVERSE FEEDBACK SYSTEM AT THE ADVANCED PHOTON SOURCE." [http://accelconf.web.cern.ch/accelconf/IPAC2012/papers/weppp069.pdf]
    139 
    140  *  Perrotin, Maxime, Julien Delange, and Samir Bennani. "Towards a Model-Driven Engineering Software Development Framework." [http://julien.gunnm.org/data/publications/article-dpb12-avicps12.pdf]
    141 
    142  *  Fernández, Mikel, Roberto Gioiosa, Eduardo Quiñones, Luca Fossati, Marco Zulianello, and Francisco J. Cazorla. "Assessing the Suitability of the NGMP Multi-core Processor in the Space Domain." In Proceedings of the tenth ACM international conference on Embedded software, pp. 175-184. ACM, 2012.
    143 
    144  *  Hugues, Jérôme, Pierre Siron, and Alexandre Hamez. "PRISE: An Integrated Platform for Research and Teaching of Critical Embedded Systems." (2012). [http://oatao.univ-toulouse.fr/6874/1/Hugues_6874.pdf]
    145 
    146  *  Litayem, Nabil, Bochra Jaafar, and Slim Ben Saoud. "EMBEDDED MICROPROCESSOR PERFORMANCE EVALUATION CASE STUDY OF THE LEON3 PROCESSOR." Journal of Engineering Science and Technology 7, no. 5 (2012): 574-588. [http://www.doaj.org/doaj?func=fulltext&aId=1242174]
    147 
    148  *  Cotroneo, Domenico, Anna Lanzaro, Roberto Natella, and Ricardo Barbosa. "Experimental analysis of binary-level software fault injection in complex software." In Dependable Computing Conference (EDCC), 2012 Ninth European, pp. 162-172. IEEE, 2012. [http://wpage.unina.it/roberto.natella/papers/natella_binary_sfi_edcc_2012.pdf]
    149 
    150  *  Leontie, Eugen, Gedare Bloom, Bhagirath Narahari, and Rahul Simha. "No Principal Too Small: Memory Access Control for Fine-Grained Protection Domains." In Digital System Design (DSD), 2012 15th Euromicro Conference on, pp. 163-170. IEEE, 2012. [http://home.gwu.edu/~gedare/pdf/LeoBlo12A.pdf]
    151 
    152  *  Kreider, M. "THE FAIR TIMING MASTER: A DISCUSSION OF PERFORMANCE REQUIREMENTS AND ARCHITICTURES FOR A HIGH-PRECISION." [https://accelconf.web.cern.ch/AccelConf/icalepcs2011/papers/thchmust06.pdf]
    153 
    154  *  Escolar, Soledad, and Jesús Carretero. "An open framework for translating portable applications into operating system?specific wireless sensor networks applications." Software: Practice and Experience (2012).
    155 
    156  *  Padrazo, D., O. Singh, I. Pinayev, S. Seletskiy, R. Fliller, T. Shaftan, B. Kosciuk, and Y. Hu. "NSLS-II INJECTOR SYSTEM DIAGNOSTICS UPDATE FOR LINAC COMMISSIONING." [https://accelconf.web.cern.ch/accelconf/BIW2012/papers/tupg019.pdf]
    157 
    158  *  Mahajan, Mrs Bhavana L., A. S. Hiwale, Mrs K. S. Patil, and G. D. Salunke. "IMPLEMENTATION OF AHB PROTOCOL USING FPGA." [http://ijesat.org/Volumes/2012_Vol_02_Iss_04/IJESAT_2012_02_04_53.pdf]
    159 
    160  *  Wende, Henning, Giuseppe Distratis, Chris Tenzer, Eckhard Kendziorra, and Andrea Santangelo. "A digital data processing unit for future X-ray observatories." In SPIE Astronomical Telescopes+ Instrumentation, pp. 84432N-84432N. International Society for Optics and Photonics, 2012. [ftp://ftp.iaa.es/pub/miguelan/SPIE/DVD%201/DATA/8443_95.PDF]
    161 
    162  *  Skup, Konrad R., A. Cichocki, R. Graczyk, M. Michalska, M. Mosdorf, W. Nowosielski, P. Orleanski et al. "Instrument data processing unit for spectrometer/telescope for imaging x-rays (STIX)." In Proc. of SPIE Vol, vol. 8454, pp. 84540K-1. 2012. [http://www.cbk.waw.pl/~mstolars/publikacje/spie_2012_ms_4.pdf]
    163 
    164  *  Gantel, Laurent, Amel Khiar, Benoit Miramond, Mohamed El Amine Benkhelifa, Lounis Kessal, Fabrice Lemonnier, and Jimmy Le Rhun. "Enhancing Reconfigurable Platforms Programmability for Synchronous Data-Flow Applications." ACM Transactions on Reconfigurable Technology and Systems (TRETS) 5, no. 3 (2012): 14.
    165 
    166  *  Michel, Holger, Adrian Belger, Frank Bubenhagen, Bjorn Fiethe, Harald Michalik, Wayne Sullivan, Alex Wishart, and Jorgen Ilstad. "The SoCWire protocol (SoCP): A flexible and minimal protocol for a Network-on-Chip." In Adaptive Hardware and Systems (AHS), 2012 NASA/ESA Conference on, pp. 1-8. IEEE, 2012.
    167 
    168  *  Apvrille, Ludovic, and Alexandre Becoulet. "Prototyping an embedded automotive system from its UML/SysML models." Proceedings of Embedded Real Time Systems and Software (ERTSS 2012) (2012). [http://web1.see.asso.fr/erts2012/Site/0P2RUC89/3C-1.pdf]
    169 
    170  *  Voyiatzis, Artemios. "A Survey of Delay-and Disruption-Tolerant Networking Applications." Journal of Internet Engineering 5, no. 1 (2012). [http://www.jie-online.org/index.php/jie/article/viewFile/91/50]
    171 
    172  *  Delange, Julien, Jérôme Hugues, and Pierre Dissaux. "Validate implementation correctness using simulation: the TASTE approach." (2012). [http://oatao.univ-toulouse.fr/5268/1/Hugues_5268.pdf]
    173 
    174  *  Wood, Lloyd, Will Ivancic, Wes Eddy, Dave Stewart, James Northam, and Chris Jackson. "Investigating operation of the Internet in orbit: Five years of collaboration around CLEO." arXiv preprint arXiv:1204.3261 (2012). [http://arxiv.org/pdf/1204.3261]
    175 
    176  *  Richards, J., R. Nussbaumer, S. Rapaz, and G. Waters. "ISAC EPICS ON LINUX: THE MARCH OF THE PENGUINS.", [http://accelconf.web.cern.ch/AccelConf/icalepcs2011/papers/wepks004.pdf]
    177 
    178  *  BO, NSLS-II. "BEAM DIA.", [http://epaper.kek.jp/rupac2012/papers/frxor02.pdf]
    179 
    180  *  Sousa, Valentim, Paulo Ferreira, and Manuel Gericota. "Hey Fellows, We Shrunk the Server." iJOE 8, no. S2 (2012): 36-41., [http://ave.dee.isep.ipp.pt/~mgg/papers/ijoe12.pdf]
    181 
    182  *  Song, Young-Gi. "DEVELOPMENT OF THE CONTROL SYSTEM FOR PEFP 100-MeV PROTON LINEAR ACCELERATOR." (2012), [http://accelconf.web.cern.ch/AccelConf/pcapac2012/talks/frcb02_talk.pdf]
    183 
    184  *  Guan, Nan, and Wang Yi. "Fixed-Priority Multiprocessor Scheduling: Critical Instant, Response Time and Utilization Bound." In Parallel and Distributed Processing Symposium Workshops & PhD Forum (IPDPSW), 2012 IEEE 26th International, pp. 2470-2473. IEEE, [http://user.it.uu.se/~yi/pdf-files/ipdps-phdf-l2.pdf]
    185 
    186  *  Bundgaard, Jørgen. "Reliable Software, a Perspective from Industry." ADA USER 33, no. 3 (2012): 203, [http://www.ada-europe.org/archive/auj/auj-33-3.pdf#page=65]
    187 
    188  *  Learn, Mark Walter. Evaluation of the Leon3 soft-core processor within a Xilinx radiation-hardened field-programmable gate array. No. SAND2012-0454. Sandia National Laboratories, [http://prod.sandia.gov/techlib/access-control.cgi/2012/120454.pdf]
    189 
    190  *  Bloom, Gedare, Gabriel Parmer, Bhagirath Narahari, and Rahul Simha. "Shared hardware data structures for hard real-time systems." In Proceedings of the tenth ACM international conference on Embedded software, pp. 133-142. ACM, [http://home.gwu.edu/~gedare/pdf/BloPar12A.pdf]
    191 
    192  *  Ganesan, Dharmalingam, Mikael Lindvall, David McComas, Maureen Bartholomew, Steve Slegel, Barbara Medina, Rene Krikhaar, Chris Verhoef, and Lisa P. Montgomery. "An analysis of unit tests of a flight software product line." Science of Computer Programming (2012).
    193 
    194  *  Arcas, Oriol, Nehir Sonmez, Satnam Singh, Osman S. Unsal, Adrian Cristal, Ibrahim Hur, and Mateo Valero. "Resource-bounded multicore emulation using Beefarm." Microprocessors and Microsystems 36, no. 8 (2012): 620-631.
    195 
    196  *  CTO, Benjamin Gittins, and Ronald Keslon CEO. "Verifying Secure Systems is also Not Reasonable (Today)."
    197 
    198  *  Alkazemi, Basem Y. "On verification of software components." arXiv preprint arXiv:1210.3758 (2012). [http://arxiv.org/ftp/arxiv/papers/1210/1210.3758.pdf]
    199 
    200  *  Lin, Shiyao, Andy Wellings, and Alan Burns. "Supporting lock-based multiprocessor resource sharing protocols in real-time programming languages." Concurrency and Computation: Practice and Experience (2012).
    201 
    202  *  Gómez, M., R. V. González, Tomás Martínez-Marín, Daniel Meziat, and S. Sánchez. "Optimal motion planning by reinforcement learning in autonomous mobile vehicles." Robotica 30, no. 2 (2012): 159-170.
    203 
    204  *  Holzer, Adrian, Lukasz Ziarek, K. R. Jayaram, and Patrick Eugster. "Abstracting context in event-based software." In Transactions on Aspect-Oriented Software Development IX, pp. 123-167. Springer Berlin Heidelberg, 2012. [http://www.jayaramkr.com/files/Conspects-TAOSD.pdf]
    205 
    206  *  Eickhoff, Jens. Onboard Computers, Onboard Software and Satellite Operations: An Introduction. Springer, 2012.
    207 
    208  *  Dusatko, John, M. Browne, A. S. Fisher, D. Kotturi, S. Norum, and J. Olsen. The LCLS Undulator Beam Loss Monitor Readout System. No. SLAC-PUB-15199. SLAC National Accelerator Laboratory (SLAC), 2012. [http://www.slac.stanford.edu/cgi-wrap/getdoc/slac-pub-15199.pdf]
    209 
    210  *  Bonoli, Carlotta, Favio Bortoletto, Maurizio D'Alessandro, Leonardo Corcione, Sebastiano Ligori, Luciano Nicastro, Massimo Trifoglio et al. "An end-to-end approach to the EUCLID NISP on-board pre-processing operations: tests and latest results." In SPIE Astronomical Telescopes+ Instrumentation, pp. 844231-844231. International Society for Optics and Photonics, 2012. [http://proceedings.spiedigitallibrary.org/proceeding.aspx?articleid=1362282]
    211 
    212  *  Rego, Pablo Vieira. "Integrating 8-bit AVR Micro-Controllers in Ada." Ada User Journal 33, no. 4 (2012). [http://s3.amazonaws.com/academia.edu.documents/30509928/integ_arduinos_ada.pdf?AWSAccessKeyId=AKIAJ56TQJRTWSMTNPEA&Expires=1385542111&Signature=3naSjcFh32iXNcU59qm%2B1oFoYiU%3D&response-content-disposition=inline]
    213 
    214  *  Mortensen, Dale J., Daniel W. Bishop, and David Chelmins. "Space Software Defined Radio Characterization to Enable Reuse." (2012). [http://spaceflightsystems.grc.nasa.gov/SOPO/SCO/SCaNTestbed/Conference/2012%20Conference%20Papers/Space%20Software%20Defined%20Radio%20Characterization%20to%20Enable%20Reuse_Mortensen_2012.pdf]
    215 
    216  *  Dewar, Robert. "Quarterly News Digest." ADA USER 33, no. 2 (2012): 73. [http://www.ada-europe.org/archive/auj/auj-33-2.pdf#page=4]
    217 
    218  *  Johnson, Sandra K., Richard C. Reinhart, and Thomas J. Kacpura. "CoNNeCT's approach for the development of three Software Defined Radios for space application." In Aerospace Conference, 2012 IEEE, pp. 1-13. IEEE, 2012. [https://spaceflightsystems.grc.nasa.gov/SOPO/SCO/SCaNTestbed/Conference/2012%20Conference%20Papers/Brfg-CoNNeCTs%20Approach%20for%20the%20Development%20of%20Three%20SDRs%20for%20Space%20Application_Johnson_2012.pdf]
    219 
    220  *  Ejlali, Alireza, Bashir M. Al-Hashimi, and Petru Eles. "Low-Energy Standby-Sparing for Hard Real-Time Systems." Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on 31, no. 3 (2012): 329-342. [http://eprints.soton.ac.uk/272935/1/TCAD8-camera-ready-v5_finalize.pdf]
    221 
    222  *  Zeng, Hui, Ke Meng, and Julia Deng. "DataBus-based hybrid routing approach for orbit access networks in lunar exploration." In Proc. of SPIE Vol, vol. 8385, pp. 83850K-1. 2012.
    223 
    224  *  McLoughlin, Ian Vince, Timo Rolf Bretschneider, and Chen Zheming. "Virtualized Development and Testing for Embedded Cluster Computing." International Journal of Networking and Computing 2, no. 2 (2012): pp-160. [http://ijnc.org/index.php/ijnc/article/download/41/40]
    225 
    226  *  Jianping, W. U., L. I. N. G. Ming, Yang Zhang, M. E. I. Chen, and W. A. N. G. Huan. "Dynamic Allocation of SPM Based on Time-Slotted Cache Conflict Graph for System Optimization." IEICE TRANSACTIONS on Information and Systems 95, no. 8 (2012): 2039-2052.
    227 
    228  *  D'Amico, Simone, J-S. Ardaens, and Robin Larsson. "Spaceborne Autonomous Formation-Flying Experiment on the PRISMA Mission." Journal of Guidance, Control, and Dynamics 35, no. 3 (2012): 834-850, [http://www.weblab.dlr.de/rbrt/pdf/AIAA_GNC_11.pdf]
    229 
    230  *  Silva, N., R. Barbosa, A. Lanzaro, D. Cotroneo, and J. Duraes. "Multicore Systems: Challenges for creating a representative fault model for fault injection.", [http://www.safety-validation.com/system/resources/BAhbBlsHOgZmSSJcMjAxMi8wNi8xNS8wOV81N18xNF80MDFfQ1NXX0NTVEVQXzIwMTJfUlBUXzAwMjQzX211bHRpY29yZV9maV9jaGFsbGVuZ2VzX2Rhc2lhXzIwMTIucGRmBjoGRVQ/CSW-CSTEP-2012-RPT-00243-multicore-fi-challenges-dasia-2012.pdf]
    231 
    232  *  Horrein, Pierre-Henri, Christine Hennebert, and Frédéric Pétrot. "An environment for (re) configuration and execution management of heterogeneous flexible radio platforms." Microprocessors and Microsystems (2012).
    233 
    234  *  Codetta-Raiteri, Daniele, Luigi Portinale, Andrea Guiotto, and Y. Yushstein. "Evaluation of anomaly and failure scenarios involving an exploration rover: a Bayesian network approach." In Proceedings of the 11th international symposium on artificial intelligence, robotics, and automation in space (iSAIRAS-2012). 2012.
    235 
    236  *  Guo, Yu, Xinyu Feng, Zhong Shao, and Peizhi Shi. "Modular Verification of Concurrent Thread Management (Extended).", [http://kyhcs.ustcsz.edu.cn/~guoyu/sched/schedtr.pdf]
    237 
    238  *  Goossens, Kees, Arnaldo Azevedo, Karthik Chandrasekar, Manil Dev Gomony, Sven Goossens, Martijn Koedam, Yonghui Li et al. "Virtual Execution Platforms for Mixed-Time-Criticality Systems: The CompSOC Architecture and Design Flow.", [http://www.es.ele.tue.nl/~kgoossens/2013-sigbed.pdf]
    239 
    240  *  Saadatmand, Mehrdad, Mikael Sjodin, and Naveed Ul Mustafa. "Monitoring capabilities of schedulers in model-driven development of real-time systems." In Emerging Technologies & Factory Automation (ETFA), 2012 IEEE 17th Conference on, pp. 1-10. IEEE, 2012.
    241  
    242  *  Perrotin, Maxime, Eric Conquet, Julien Delange, André Schiele, and Thanassis Tsiodras. "TASTE: a real-time software engineering tool-chain overview, status, and future." In SDL 2011: Integrating System and Software Modeling, pp. 26-37. Springer Berlin Heidelberg, 2012, [http://book.sjb.ir/get/pdf/1680#page=37]
    243  
    244  *  Butko, Anastasiia, Rafael Garibotti, Luciano Ost, and Gilles Sassatelli. "Accuracy evaluation of GEM5 simulator system." In Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), 2012 7th International Workshop on, pp. 1-7. IEEE, 2012.
    245  
    246  *  Chelmins, David, and Richard Reinhart. "Experiments Program for NASA’s Space Communications Testbed." (2012).
    247 
    248  *  Hoobler, Sonya, Ron Chestnut, Sergei Chevtsov, Thomas Himel, Karen Dayle Kotturi, Kristi Luchini, Jeff Olsen et al. "CHANGING HORSES MID-STREAM: UPGRADING THE LCLS CONTROL SYSTEM DURING PRODUCTION OPERATIONS.", [http://accelconf.web.cern.ch/Accelconf/icalepcs2011/papers/tucaust04.pdf]
    249 
    250  *  Reinhart, Richard. "SCAN Testbed, Overview and Opportunity for Experiments." Science and Technology Series 114, no. 20130000: 172-175, [http://exploration.grc.nasa.gov/SOPO/SCO/SCaNTestbed/Conference/2012%20Conference%20Papers/SCAN%20Testbed,%20Overview%20and%20Opportunity%20for%20Experiments_Johnson_2012.pdf]
    251 
    252  *  Huang, Philip M., Ann G. Darrin, and Andrew A. Knuth. "Agile hardware and software system engineering for innovation." In Aerospace Conference, 2012 IEEE, pp. 1-10. IEEE, 2012.
    253 
    254  *  Huang, Philip M., Andrew A. Knuth, and Margaret A. Garrison-Darrin. "Utilizing low-cost 3U single-sensor satellites for intelligence, surveillance, and reconnaissance mission capabilities." In SPIE Defense, Security, and Sensing, pp. 83850G-83850G. International Society for Optics and Photonics, 2012.
    255 
    256  *  Roming, Peter WA, Amanda J. Bayless, Chip R. Beebe, Mark J. Brooks, Michael W. Davis, Robert A. Klar, John M. Roberts, Randall J. Rose, and Gregory S. Winters. "Stabilized dispersive focal plane systems for space." In SPIE Astronomical Telescopes+ Instrumentation, pp. 84500K-84500K. International Society for Optics and Photonics, 2012.
    257 
    258  *  Rivers, Mark L. "tomoRecon: High-speed tomography reconstruction on workstations using multi-threading." In SPIE Optical Engineering+ Applications, pp. 85060U-85060U. International Society for Optics and Photonics, 2012. [http://cars9.uchicago.edu/software/epics/SPIE_tomoRecon.pdf]
    259 
    260  *  Huang, Kai, Wolfgang Haid, Iuliana Bacivarov, Matthias Keller, and Lothar Thiele. "Embedding formal performance analysis into the design cycle of MPSoCs for real-time streaming applications." ACM Transactions on Embedded Computing Systems (TECS) 11, no. 1 (2012): 8. [ftp://129.132.2.212/pub/people/khuang/paper/acmtecs2011.pdf]
    261 
    262  *  Coronel, Javier O., and J. E. Simó. "High performance dynamic voltage/frequency scaling algorithm for real-time dynamic load management." Journal of Systems and Software 85, no. 4 (2012): 906-919. [http://wks.gii.upv.es/sidireli/files/2011_Coronel-Simo_Dynamic_load_JSS_8829_inpress.pdf]
    263 
    264  *  Bierens, Laurens, and Bert-Johan Vollmuller. "On-board Payload Data Processor (OPDP) and its application in advanced multi-mode, multi-spectral and interferometric satellite SAR instruments." In Synthetic Aperture Radar, 2012. EUSAR. 9th European Conference on, pp. 340-343. VDE, 2012.
    265 
    266  *  Cunha, Joao Carlos, Ricardo Barbosa, and Gilberto Rodrigues. "On the Use of Boundary Scan for Code Coverage of Critical Embedded Software." In Software Reliability Engineering (ISSRE), 2012 IEEE 23rd International Symposium on, pp. 341-350. IEEE, 2012.
    267 
    268  *  Burleigh, Scott. "A Communications Network for Cislunar Operations." In 18th Annual Improving Space Operations Workshop. Pasadena, CA: Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2012., 2012. [https://info.aiaa.org/tac/SMG/SOSTC/Workshop%20Documents/2012/2012%20Workshop%20Presentations/Commercial%20Operations%20Presentations/Burleigh.pdf]
    269 
    270  *  Padrazo, Danny, Yong Hu, Belkacem Bacha, Igor Pinayev, and Guimei Wang. "NSLS-II BEAM INTENSITY MEASUREMENT." [http://epaper.kek.jp/BIW2012/papers/mopg004.pdf]
    271 
    272  *  Petters, Stefan M., Kevin Elphinstone, and Gernot Heiser. "Trustworthy Real-Time Systems." In Advances in Real-Time Systems, pp. 191-206. Springer Berlin Heidelberg, 2012.
    273 
    274  *  Bettarelli, Ferruccio, Emanuele Ciavattini, Ariano Lattanzi, Giovanni Beltrame, Fabrizio Ferrandi, Luca Fossati, Christian Pilato et al. "Extensions of the hArtes Tool Chain." In Hardware/Software Co-design for Heterogeneous Multi-core Platforms, pp. 193-227. Springer Netherlands, 2012.
    275 =  Published in 2011  =
     43* [wiki:References/1989] 1989
     44* [wiki:References/1988] 1988
     45* [wiki:References/1999] 1999
     46* [wiki:References/1998] 1998
    27647
    27748
    278  *  Petr Benes. Porting of resource reservation framework to RTEMS executive, Diploma thesis. Czech Technical University in Prague, [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]
    27949
    280  *  Pizlo, Filip. "FRAGMENTATION TOLERANT REAL TIME GARBAGE COLLECTION." PhD diss., Purdue University, [http://www.filpizlo.com/papers/pizlo-phd.pdf]
    281 
    282  *  LUCAR, Christophe. "Dataflow programming for systems design space exploration for multicore platforms." PhD diss., ÉCOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE, [http://biblion.epfl.ch/EPFL/theses/2011/5069/EPFL_TH5069.pdf]
    283 
    284  *  Rivas Cordero, David. "Advanced orchestration services.", [http://upcommons.upc.edu/handle/2099.1/7818], [http://upcommons.upc.edu/pfc/bitstream/2099.1/7818/7/memoria.pdf.txt]
    285 
    286  *  Tang, Daniel, Ales Plsek, Kelvin Nilsen, and Jan Vitek. "A Static Memory Safety Annotation System for Safety Critical Java.", [http://sss.cs.purdue.edu/projects/checker/RTSS11-extended-version.pdf]
    287 
    288  *  Sánchez, Daniel. "Microarchitectural Approaches for Hardware Fault Mitigation in Multicore Processors." PhD diss., UNIVERSIDAD DE MURCIA,  [http://ditec.um.es/~jlaragon/papers/THESIS-dsanchez.pdf]
    289 
    290  *  Wan, Ming, and Song Tian. "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, 2011. [http://doi.ieeecomputersociety.org/10.1109/ISCID.2011.183]
    291 
    292  *  Bridges, Christopher P., and Tanya Vladimirova. "Real-time agent middleware experiments on java-based processors towards distributed satellite systems." In Aerospace Conference, 2011 IEEE, pp. 1-10. IEEE, 2011. [http://epubs.surrey.ac.uk/26830/6/f1639_5.pdf]
    293 
    294  *  Cao, Dong-Po, Xiao-Hui Hu, Jun-Suo Zhao, and Jing-Song Mao. "Development of on-board system software on BM 3803." Computer Engineering and Design 2 (2011): 039.
    295 
    296  *  Qingfeng, Yang MeiJuan Man. "Realization of Embedded IEEE1394 Communication Based on ?C/OS-?." Computer Measurement & Control 10 (2011): 060.
    297 
    298  *  Wahlström, Oscar. "Model Train Intelligence Unit." [http://realtimeembedded.se/sites/default/files/Blog/Modesty/documents/modeltrainintelligenceunit_final.pdf]
    299 
    300  *  Yu, Zi-Yu, Liang Guo, Hui Liu, and Jia-Chen Yu. "Analysis and implementation of field bus device link layer software real-time ability." Computer Engineering and Design 32, no. 3 (2011): 855-858.
    301 
    302  *  Löfgren, Henrik, Tomas Liljemark, Enrique Lamoureux, Fredrik Bruhn, Maria Hagström, Anders Ljunggren, Karin Häll et al. "MINIATURIZED MOTOR CONTROLLER FOR SPACE ROBOTIC APPLICATIONS."
    303 
    304  *  dos Santos, Synara Rosa Gomes, and Jacques Waldmann. "Real-Time Implementation of Low-Cost University Satellite 3-Axis Attitude Determination and Control System." In Proceedings of the XXIBrazilian Congress of Mechanical Engineering–COBEM 2011. 2011. [ftp://labattmot.ele.ita.br/ele/jacques/Publicacoes/COBEM2011/167201.pdf]
    305 
    306  *  Delange, Julien, Christophe Honvault, and James Windsor. "Model-Based Engineering Approach for System Architecture Exploration." [http://taste.tuxfamily.org/wiki/images/d/d7/Erts2012-evaluation-ima.pdf]
    307 
    308  *  Masmano, M., Y. Valiente, P. Balbastre, I. Ripoll, and A. Crespo. "ARINC-653 APEX based on XtratuM." [http://wks.gii.upv.es/sidireli/files/jtr_patricia_arinc.pdf]
    309 
    310  *  Druzhinin, I. V., A. A. Mynzhasova, and E. A. Sinelnikov. "Design and implementation of a hardware-software module for testing real-time systems." In ''MIPRO, 2011 Proceedings of the 34th International Convention'', pp. 788-791. IEEE, 2011.
    311 
    312  *  Rufino, José, João Craveiro, and Paulo Verissimo. "Building a time-and space-partitioned architecture for the next generation of space vehicle avionics." In ''Software Technologies for Embedded and Ubiquitous Systems'', pp. 179-190. Springer Berlin Heidelberg, 2011. [http://air.di.fc.ul.pt/air-ii/downloads/Rufino10SEUS.pdf]
    313 
    314  *  Cotroneo, Domenico, Domenico Di Leo, Nuno Silva, and Ricardo Barbosa. "The PreCertification Kit for Operating Systems in Safety Domains." In ''Software Certification (WoSoCER), 2011 First International Workshop on'', pp. 19-24. IEEE, 2011.
    315 
    316  *  Guzman, David, Manuel Prieto, Sebastián Sanchez, Javier Almena, Oscar Rodriguez, and Daniel Meziat. "Improving the LEON Spacecraft Computer Processor for Real-Time Performance Analysis." ''Journal of Spacecraft and Rockets'' 48, no. 4 (2011): 671-678.
    317 
    318  *  Ahmed, Fayyaz. "Communication protocols, queuing and scheduling delay analysis in CANDU SCWR hydrogen co-generation model." PhD diss., 2011. [https://ir.library.dc-uoit.ca/bitstream/10155/163/1/Ahmad_Fayyaz.pdf]
    319 
    320  *  Natella, Roberto. "Achieving Representative Faultloads in Software Fault Injection." (2011). [http://www.fedoa.unina.it/8833/1/thesis_natella.pdf]
    321 
    322  *  Simetti, Enrico, Enrica Zereik, Alessandro Sperindé, Sandro Torelli, Davide Ducco, Fabio Frassinelli, Alessio Turetta, and Giuseppe Casalino. "A new software architecture for developing and testing algorithms for space exploration missions." Intelligent Service Robotics 4, no. 2 (2011): 135-146.
    323 
    324  *  Durna, Mehmet, Onur Atar, Mustafa Ceylan, Yaman Cakmakci, Mustafa Demirci, Omer Ali Kozal, Mehmet Oturak, Ali Ozdemir, and Onur Turhan. "On board data handling subsystem featuring BiLGE." In Recent Advances in Space Technologies (RAST), 2011 5th International Conference on, pp. 932-937. IEEE, 2011.
    325 
    326  *  Penolazzi, Sandro. "A System-Level Framework for Energy and Performance Estimation in System-on-Chip Architectures." PhD diss., KTH, 2011.[http://kth.diva-portal.org/smash/get/diva2:403821/FULLTEXT01]
    327 
    328  *  Gaias, G., 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. 2011.[http://elib.dlr.de/74556/1/2124425gaias.pdf]
    329 
    330  *  Duncan, Courtney B., David E. Robison, and Cynthia Lee Koelewyn. "Software Defined GPS Receiver for International Space Station." (2011).[http://trs-new.jpl.nasa.gov/dspace/bitstream/2014/41781/1/11-0046.pdf]
    331 
    332  *  Koo, Cheol-Hea, Hoon-Hee Lee, and Yee-Jin Cheon. "Development of Distributed Generic Simulator (GenSim) through Invention of Simulated Network (simNetwork)." Journal of Astronomy and Space Sciences 28 (2011): 241-252. [http://www.janss.kr/Upload/files/JASS/28-3-241.pdf]
    333 
    334  *  Kalibera, Tomas. "Replicating real?time garbage collector." Concurrency and Computation: Practice and Experience 23, no. 14 (2011): 1646-1664.[http://www.cs.kent.ac.uk/pubs/2011/3159/content.pdf]
    335 
    336  *  Vitek, Jan. "Virtualizing real-time embedded systems with Java." In Proceedings of the 48th Design Automation Conference, pp. 906-911. ACM, 2011.[https://www.cs.purdue.edu/homes/jv/pubs/dac11.pdf]
    337 
    338  *  Li, Lu, and Heng Yin. "Bench test of a satellite signal processing algorithm based on a space-qualified board." (2011) [http://publications.lib.chalmers.se/records/fulltext/153293.pdf]
    339 
    340  *  Vladimirova, Tanya, Muhammad Fayyaz, Martin N. Sweeting, and Valentin I. Vitanov. "A novel autonomous low-cost on-board data handling architecture for a pin-point planetary lander." Acta Astronautica 68, no. 7 (2011): 811-829.
    341 
    342  *  Schoofs, Tobias. "Formal Verification of the AIR PMK Scheduler." [http://www.researchgate.net/publication/236156545_Formal_Verification_of_the_AIR_PMK_Scheduler/file/3deec51ddb40bc5e9c.pdf]
    343 
    344  *  Fairley, Diane, 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]
    345 
    346  *  SHEN, Xin-peng, Zhan-huai LI, and Xiao-nan ZHAO. "The Implement of Hot Backup Based on Logs." Microelectronics & Computer 4 (2011): 013.
    347 
    348  *  Hu, Yong, Leo Bob Dalesio, Om Singh, Huijuan Xu, and Kiman Ha. "NSLS-II Beam Diagnostics Control System." In Proceedings of ICALEPCS. 2011. [http://accelconf.web.cern.ch/AccelConf/icalepcs2011/papers/mopks004.pdf]
    349 
    350  *  Predki, Pawel, Adam Piotrowski, Mariusz Orlikowski, Tomasz Kozak, G. Jablonski, Dariusz Makowski, and Andrzej 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. IEEE, 2011.
    351 
    352  *  Sutter, M., T. Jejkal, R. Stotzka, V. Hartmann, and M. Hardt. "Storage and Analysis Infrastructure for Data Acquisition Systems with High Data Rates." In Remote Instrumentation Services on the e-Infrastructure, pp. 85-102. Springer US, 2011. [http://www.ipe.fzk.de/~stotzka/publications/publications/sutter2009.2.pdf]
    353 
    354  *  Ziemke, Claas, Toshinori Kuwahara, and Ivan Kossev. "An integrated development framework for rapid development of platform-independent and reusable satellite on-board software." Acta Astronautica 69, no. 7 (2011): 583-594.
    355 
    356  *  Liao, Shi-Gao, Liang Guo, Dong Huang, and Li-Wei Xing. "Fieldbus Device Based on FPGA and ARM." Computer Engineering 4 (2011): 093.
    357 
    358  *  Unwin, M., R. de Vos Van Steenwijk, Alex Da Silva Curiel, M. Cutter, Brent Abbott, C. Gommenginger, C. Mitchell, and S. Gao. "Remote Sensing Using GPS Signals–The SGR-ReSI Instrument." (2011). [http://digitalcommons.usu.edu/cgi/viewcontent.cgi?article=1108&context=smallsat]
    359 
    360  *  Sha, Yun Dong, Jia Han, and Feng Tong Zhao. "The Design of Embedded AeroEngine Measurement and Test System Based on ARM and FPGA." In Advanced Engineering Forum, vol. 2, pp. 458-462. 2011.
    361 
    362  *  Kempf, Torsten, Gerd Ascheid, and Rainer Leupers. "Abstract Simulation Implementation Model." In Multiprocessor Systems on Chip, pp. 89-130. Springer New York, 2011.
    363 
    364  *  Graf, Hernán Baró, Henrik Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen, Jan Tretmans, Marcel Verhoef, and Jiangsheng Xingj. "Deliverable no.: D5. 10 Title of Deliverable: Final report: case studies and tool integration." Month 40 (2011): 30. [http://www.quasimodo.aau.dk/Final/Quasimodo-D5.10.pdf]
    365 
    366  *  Rosa, Joaquim Lu?s Santo Rodrigues Cleto. "DEVELOPMENT AND UPDATE OF AEROSPACE APPLICATIONS IN PARTITIONED ARCHITECTURES." [http://air.di.fc.ul.pt/air-ii/downloads/JRosa_Msc.pdf]
    367 
    368  *  Duan, Qing-Ya, and Shi-Tan Huang. "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. IEEE, 2011.
    369 
    370  *  Zhou, Rui. "Partitioned System with XtratuM on PowerPC." (2011). [http://dspace.cc.upv.es/bitstream/handle/10251/12738/Tesina_Rui_Zhou.pdf?sequence=1]
    371 
    372  *  Blackham, Bernard, Yao Shi, Sudipta Chattopadhyay, Abhik Roychoudhury, and Gernot Heiser. "Timing analysis of a protected operating system kernel." In Real-Time Systems Symposium (RTSS), 2011 IEEE 32nd, pp. 339-348. IEEE, 2011. [https://www-old.comp.nus.edu.sg/~abhik/pdf/rtss11-os.pdf]
    373 
    374  *  Caini, Carlo, and Rosario Firrincieli. "DTN for LEO Satellite Communications." In Personal Satellite Services, pp. 186-198. Springer Berlin Heidelberg, 2011.
    375 
    376  *  Pop, Tomas, Jaroslav Keznikl, Petr Hosek, Michal Malohlava, Tomas Bures, and Petr Hnetynka. "Introducing support for embedded and real-time devices into existing hierarchical component system: Lessons learned." In Software Engineering Research, Management and Applications (SERA), 2011 9th International Conference on, pp. 3-11. IEEE, 2011.
    377 
    378  *  Horvath, Greg, Seung H. Chung, and Ferner Cilloniz-Bicchi. "Safety-critical Partitioned Software Architecture: A Partitioned Software Architecture for Robotic Spacecraft." In Proceedings of the Aerospace Conference. 2011.
    379 
    380  *  Schoofs, Tobias, and João Cristóvão. "SHARING THE COSTS 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]
    381 
    382  *  Rufino, José, João Craveiro, Tobias Schoofs, João Cristóvão, Sérgio 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]
    383 
    384  *  Powell, Wesley A., Michael A. Johnson, Jonathan Wilmot, Raphael Some, Kim P. Gostelow, Glenn Reeves, and Richard 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]
    385 
    386  *  Tsiodras, Thanassis. "Maxime Perrotin1, Eric Conquet1, Julien Delange1, André Schiele1.", [http://www.pragmadev.com/downloads/TASTE-SDL2011-LNCS-PERROTIN.pdf]
    387 
    388  *  Merl, Robert B., Keith S. Morgan, Matthew R. Newell, Martin R. Sweet, Heather M. Quinn, Leonard Burczyk, and Paul S. Graham. radiation tolerant LEON3 cPCI processor board. No. LA-UR-11-03235; LA-UR-11-3235. Los Alamos National Laboratory (LANL), 2011.
    389 
    390  *  Rosa, Joaquim, Joao Craveiro, and José Rufino. "Safe online reconfiguration of time-and space-partitioned systems." In Industrial Informatics (INDIN), 2011 9th IEEE International Conference on, pp. 510-515. IEEE, 2011, [http://www.navigators.di.fc.ul.pt/w2/images/c/c8/Document_for_Publication-Rosa11INDIN.pdf]
    391 
    392  *  Bertolotti, Ivan Cibrario, and Tingting 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. IEEE, 2011.
    393 
    394  *  Aslan, Recep Gökhan, and Cemil Caglar Böke. "DAT095 Project Renewal-Implementation of a MP3 Player on a FPGA." (2011), [http://publications.lib.chalmers.se/records/fulltext/148084.pdf]
    395 
    396  *  Stepanov, Sergey, Oleg Makarov, Mark Hilgart, Sudhir Babu Pothineni, Alex Urakhchin, Satish Devarapalli, Derek Yoder et al. "JBluIce-EPICS control system for macromolecular crystallography." Acta Crystallographica Section D: Biological Crystallography 67, no. 3 (2011): 176-188, [http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3046456/]
    397 
    398  *  Jha, Sudhanshu Shekhar, Hoesoek Yang, and Prof Dr Lothar Thiele. "Distributed Simulation of Dynamic and Fault Tolerant System." (2011), [ftp://ftp.tik.ee.ethz.ch/pub/students/2010-HS/MA-2010-13.pdf]
    399 
    400  *  Bartoldus, Rainer, Ric Claus, Andy Haas, Gunther Haller, Ryan Herbst, Michael Huffer, Martin Kocian et al. "High Bandwidth DAQ R&D for ATLAS Upgrade.", [http://www.slac.stanford.edu/exp/atlas/upgrade/tdaq/RCE-RandD.pdf]
    401 
    402  *  Kalibera, Tomas, Filip Pizlo, Antony L. Hosking, and Jan Vitek. "Scheduling real-time garbage collection on uniprocessors." ACM Transactions on Computer Systems (TOCS) 29, no. 3 (2011): 8, [https://www.cs.kent.ac.uk/pubs/2011/3161/content.pdf]
    403 
    404  *  Yi-hui, Zhang, and Liu Shi-ming. "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. IEEE, 2011.
    405 
    406  *  Wende, Henning, Giuseppe Distratis, Chris Tenzer, Eckhard Kendziorra, and Andrea 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. 2011, [http://pos.sissa.it/archive/conferences/122/078/HTRS%202011_078.pdf]
    407 
    408  *  Miramond, Benoît, Emmanuel Huck, Thomas Lefebvre, and François 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.
    409 
    410  *  Kalibera, Tomas, Jeff Hagelberg, Petr Maj, Filip Pizlo, Ben Titzer, and Jan 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]
    411 
    412  *  Hu, Yong, Leo Bob Dalesio, Igor Pinayev, and Kiman Ha. "NSLS-II Filling Pattern Measurement." In Proceedings of ICALEPCS. 2011, [http://accelconf.web.cern.ch/Accelconf/icalepcs2011/papers/wepkn014.pdf]
    413 
    414  *  Stangaciu, Valentin, Georgiana Macariu, Mihai V. Micea, Valentin Muresan, and Brendan Barry. "Requirements of a real-time multiprocessor operating system for multimedia applications." In Applied Computational Intelligence and Informatics (SACI), 2011 6th IEEE International Symposium on, pp. 209-215. IEEE, 2011.
    415 
    416  *  McCormick, John W., Frank Singhoff, and Jérôme Hugues. Building parallel, embedded, and real-time applications with Ada. Cambridge University Press, 2011, [http://www.langtoninfo.com/web_content/9780521197168_frontmatter.pdf]
    417 
    418  *  Natarajan, Surya Narayanan Khizakanchery. "Communication Service and Dynamic Memory Management for hardware tasks executed on Dynamic and Partial Reconfigurable resources." PhD diss., 2011, [http://repository.tudelft.nl/assets/uuid:69d2d334-8653-406b-b63a-fc195021a4d8/thesis.pdf]
    419 
    420  *  Guo, Yi, Antonio Rius, Serni Ribò, and Carles Ferrer. "Heterogeneous transmission and parallel computing platform (HTPCP) for remote sensing applications." In SPIE Microtechnologies, pp. 80670D-80670D. International Society for Optics and Photonics, 2011.
    421  
    422  *  Schoeberl, Martin, Stephan Korsholm, Tomas Kalibera, and Anders P. Ravn. "A hardware abstraction layer in Java." ACM Transactions on Embedded Computing Systems (TECS) 10, no. 4 (2011): 42, [https://www.cs.kent.ac.uk/pubs/2011/3189/content.pdf]
    423  
    424  *  Kalibera, Tomas, and Richard Jones. "Handles revisited: optimising performance and memory costs in a real-time collector." In ACM SIGPLAN Notices, vol. 46, no. 11, pp. 89-98. ACM, 2011, [https://www.cs.kent.ac.uk/pubs/2011/3122/content.pdf]
    425 
    426  *  Bozzano, Marco, Alessandro Cimatti, Marco Roveri, and Andrei 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]
    427 
    428  *  McLoughlin, Ian Vince. "Virtualized development and testing of embedded computing clusters." In Networking and Computing (ICNC), 2011 Second International Conference on, pp. 17-26. IEEE, 2011.
    429  
    430  *  Enderle, Thomas, and Florian Friederici. "Deliverable D2. 2: Specification of security services incl. virtualization and firewall mechanisms.", [http://www.transport-research.info/Upload/Documents/201210/20121024_181935_21780_D2-2_Specification_of_SecS_virtualization_and_firewall_mechanisms_v1_4.pdf]
    431 
    432  *  Cordes, Daniel, Andreas Heinig, Peter Marwedel, and Arindam 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. IEEE, 2011, [http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/2011-icpads-cordes.pdf]
    433 
    434  *  Canizares, Priscilla, 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 (2011): 094004, [http://arxiv.org/pdf/1009.5651]
    435 
    436  *  Hugues, Jerome. "AADL for Cyber-Physical Systems: Semantics and beyond, validate what's next." (2011): 1-27. [http://oatao.univ-toulouse.fr/4732/1/Hugues_4732.pdf]
    437 
    438  *  Blackham, Bernard, Yao Shi, and Gernot 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]
    439 
    440  *  Delange, Julien, and Laurent Lec. "POK, an ARINC653-compliant operating system released under the BSD license." In 13th Real-Time Linux Workshop, vol. 10. 2011. [https://sb.lwn.net/images/conf/rtlws-2011/proc/Delange_POK.pdf]
    441 
    442  *  Ross, Steve, and David 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 (2011): 73-74.
    443 
    444  *  Jmal, Mohamed Wassim, Walid Kaaniche, and Mohamed Abid. "Memory cache optimization for a digital signature program: Case study." In Systems, Signals and Devices (SSD), 2011 8th International Multi-Conference on, pp. 1-5. IEEE, 2011.
    445 
    446  *  Gantel, Laurent, Amel Khiar, Benoit Miramond, A. Benkhelifa, Fabrice Lemonnier, and Lounis Kessal. "Dataflow programming model for reconfigurable computing." In Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop on, pp. 1-8. IEEE, 2011. [http://hal.archives-ouvertes.fr/docs/00/62/36/74/PDF/ETIS_ReCoSoC2011.pdf]
    447 
    448  *  Windsor, James, M-H. Deredempt, and Regis 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. IEEE, 2011.
    449 
    450  *  Cankaya, Hakan, Florian Friederici, Alfons Crespo, Nicholas Mc Guire, and Oliver Hartkopp VW. "Deliverable D3. 1: Selection for Reuse of Existing Building Blocks.", [https://www.oversee-project.com/fileadmin/oversee/deliverables/Oversee_D3_1_Selection_for_reuse_of_existing_building_blocks_v1_2.pdf]
    451 
    452  *  Maia, Cláudio Roberto Ribeiro. "Cooperative Framework for Open Real-Time Systems." (2011), [https://dspace.isep.ipp.pt/jspui/bitstream/123456789/92/1/Cooperative%20Framework%20for%20Open%20Real%20Time%20Systems.pdf]
    453 
    454  *  Windsor, James, 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. IEEE, 2011.
    455  
    456  *  Yi, Guo. "Parallel post-processing solution for GNSS-R instrument." (2011): 217, [http://www.tesisenred.net/bitstream/handle/10803/83980/gy1de1.pdf?sequence...the]
    457 
    458  *  Mulas, Fabrizio. "Energy and reliability challenges in next generation devices: integrated software solutions." (2011), [http://veprints.unica.it/513/1/PhD_FabrizioMulas.pdf]
    459 =  Published in 2010  =
    460 
    461 
    462  *  Memon, Farah. "Creating an EPICS Based Test Stand Development System for a BPM Digitizer of the Linac Coherent Light Source." (2010). [http://www.slac.stanford.edu/cgi-wrap/getdoc/slac-tn-11-010.pdf]
    463 
    464  *  Koo, Cheol-Hea, Hoon-Hee Lee, and Yee-Jin Cheon. "SMI Compatible Simulation Scheduler Design for Reuse of Model Complying with SMP Standard." Journal of Astronomy and Space Sciences JASS (2010). [http://www.janss.kr/Upload/files/JASS/27_4_16_%EA%B5%AC%EC%B2%A0%ED%9A%8C.pdf]
    465 
    466  *  Delange, Julien, Laurent Pautet, Jérôme Hugues, and Dionisio de Niz. "An mde-based process for the design, implementation and validation of safety-critical systems." In Engineering of Complex Computer Systems (ICECCS), 2010 15th IEEE International Conference on, pp. 319-324. IEEE, 2010. [http://oatao.univ-toulouse.fr/3663/1/Hugues_3663.pdf]
    467 
    468  *  Matias, E., M. S. de Jong, and H. Zhang. "CONTRIBUTION OF THE CLS CONTROL SYSTEM TO THE CLS ACCELERATOR SYSTEM RELIABILITY." [http://accelconf.web.cern.ch/Accelconf/icalepcs2009/papers/wep108.pdf]
    469 
    470  *  Pizlo, Filip, Lukasz Ziarek, Ethan Blanton, Petr Maj, and Jan Vitek. "High-level programming of embedded hard real-time devices." In Proceedings of the 5th European conference on Computer systems, pp. 69-82. ACM, 2010. [http://citeseerx.ist.psu.edu/viewdoc/download?rep=rep1&type=pdf&doi=10.1.1.210.675]
    471 
    472  *  Krauss, Peter A., C. Kühl, Jens Heim, and Eveline Gottzein. "New applications for navigation receivers in space." In Satellite Navigation Technologies and European Workshop on GNSS Signals and Signal Processing (NAVITEC), 2010 5th ESA Workshop on, pp. 1-7. IEEE, 2010.
    473 
    474  *  Rufino, José, João Craveiro, and Paulo Verissimo. "Architecting robustness and timeliness in a new generation of aerospace systems." In Architecting dependable systems VII, pp. 146-170. Springer Berlin Heidelberg, 2010. [http://www.navigators.di.fc.ul.pt/archive/papers/Ruf_Jcraveiro_Pjv_bookchapter_FINAL.pdf]
    475 
    476  *  Pizlo, Filip, Lukasz Ziarek, Petr Maj, Antony L. Hosking, Ethan Blanton, and Jan Vitek. "Schism: fragmentation-tolerant real-time garbage collection." In ACM Sigplan Notices, vol. 45, no. 6, pp. 146-159. ACM, 2010. [https://www.cs.purdue.edu/homes/eblanton/publications/schism-pldi10.pdf]
    477 
    478  *  Penolazzi, Sandro, Ingo Sander, and Ahmed Hemani. "Inferring energy and performance cost of rtos in priority-driven scheduling." In Industrial Embedded Systems (SIES), 2010 International Symposium on, pp. 1-8. IEEE, 2010. [http://web.it.kth.se/~ingo/Papers/penolazzi_SIES2010.pdf]
    479 
    480  *  Renz, Thomas E. Architectures for Cognitive Systems. No. AFRL-RI-RS-TR-2010-037. AIR FORCE RESEARCH LAB ROME NY INFORMATION DIRECTORATE, 2010. [http://www.dtic.mil/dtic/tr/fulltext/u2/a514589.pdf]
    481 
    482  *  ZHANG, Ji-sheng, Xiang-lan CHEN, and Xue-hai ZHOU. "Design and Implementation of Firewire Protocol Stack on RTEMS [J]." Computer Engineering 8 (2010): 094.
    483 
    484  *  Payne, C., and D. Chabot. "Fast Orbit Correction at The Canadian Light Source." In PCaPAC, vol. 10, pp. 9-11. 2010. [https://accelconf.web.cern.ch/accelconf/pcapac2010/papers/wecoma02.pdf]
    485 
    486  *  Padrazzo, D. "NSLS-II Injector System Diagnostics." BIW10, Santa Fe NM, TUPSM098 (2010). [http://accelconf.web.cern.ch/AccelConf/BIW2010/papers/tupsm098.pdf]
    487 
    488  *  Du, Qiang, Hui Gong, Xialing Guan, Jie Wei, Jianmin Li, and Beibei Shao. "Control and Timing system design of CPHS." In PCaPAC, vol. 10, p. 79. [http://accelconf.web.cern.ch/accelconf/pcapac2010/papers/wepl025.pdf]
    489 
    490  *  Bloom, Gedare, Gabriel Parmer, Bhagirath Narahari, and Rahul Simha. "Real-Time scheduling with hardware data structures." In Work-in-Progress Session. IEEE Real-Time Systems Symposium. 2010. [http://www.seas.gwu.edu/~gparmer/publications/rtss10_wip.pdf]
    491 
    492  *  Koebel, Franck, and Jean-François Coldefy. "SCOC3: a space computer on a chip: an example of successful development of a highly integrated innovative ASIC." In Proceedings of the Conference on Design, Automation and Test in Europe, pp. 1345-1348. European Design and Automation Association, 2010. [http://www.date-conference.com/proceedings/PAPERS/2010/DATE10/PDFFILES/IP4_13.PDF]
    493 
    494  *  Cicalese, Cindy, Joel Sherill, Ricky Sward, and Richard Weatherly. "Unmanned systems with Ada and RTEMS." In ACM SIGAda Ada Letters, vol. 30, no. 3, pp. 9-10. ACM, 2010.
    495 
    496  *  Bullet, Main. "RTEMS for Real-Time Control." (2010).
    497 
    498  *  Silva, H., A. Constantino, D. Freitas, M. Coutinho, S. Faustino, J. Sousa, L. Dias, and M. Zulianello. "RTEMS CENTRE--RTEMS Improvement." In DASIA 2010 Data Systems In Aerospace, vol. 682, p. 38. 2010.
    499 
    500  *  Kline, David M., and Steve K. Ross. "EMPLOYING RTEMS AND FPGAS FOR BEAMLINE APPLICATIONS AT THE APS." (2010). [https://accelconf.web.cern.ch/accelconf/pcapac2010/talks/wecoaa04_talk.pdf]
    501 
    502  *  Baaklini, Elias, Hassan Sbeity, Smail Niar, and Nouhad Amaneddine. "H. 264 color components video decoding parallelization on multi-core processors." In Digital System Design: Architectures, Methods and Tools (DSD), 2010 13th Euromicro Conference on, pp. 785-790. IEEE, 2010.
    503 
    504  *  KONINGS, Kristof. "PORT OF EDROOM SERVICE LIBRARY TO SAFETY CRITICAL JAVA OVER A LEON3 PLATFORM." [http://kristof.guigoven.be/files/Masterproef.pdf]
    505 
    506  *  Kalibera, Tomas, Pavel Parizek, Ghaith Haddad, Gary T. Leavens, and Jan Vitek. "Challenge benchmarks for verification of real-time programs." In Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification, pp. 57-62. ACM, 2010. [http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.158.5630&rep=rep1&type=pdf]
    507 
    508  *  DiMonte, N., E. Norum, and C. Y. Yao. "COMMISSIONING OF THE FPGA-BASED TRANSVERSE FEEDBACK SYSTEM AT THE ADVANCED PHOTON SOURCE." [https://accelconf.web.cern.ch/AccelConf/icalepcs2009/papers/tup059.pdf]
    509 
    510  *  Knight, Russell. "Flight Software for Space Systems." Encyclopedia of Aerospace Engineering.
    511 
    512  *  Shi, Bai-Ying, Xiao-Guang Yang, and Tong Zhu. "Design and Realization of Local Intelligence System of Signalized Intersection [J]." Computer Engineering 19 (2010): 004.
    513 
    514  *  Craveiro, João, and José Rufino. "Adaptability support in time-and space-partitioned aerospace systems." In ADAPTIVE 2010, The Second International Conference on Adaptive and Self-Adaptive Systems and Applications, pp. 152-157. 2010. [http://www.thinkmind.org/download.php?articleid=adaptive_2010_6_40_40092]
    515 
    516  *  Zhang, Yuning, Liang Chang, Genqing Yang, and Huawang Li. "Reconfigurable-system-on-chip implementation of data processing units for space applications." Transactions of Tianjin University 16 (2010): 270-274.
    517 
    518  *  Xu, Joseph Z., Joshua Stein, Steve Shoaf, W. Eric Norum, Shifu Xu, Robert Laird, and Ned Arnold. "LINAC COHERENT LIGHT SOURCE (LCLS) UNDULATOR LINE CONTROL SYSTEM." [https://accelconf.web.cern.ch/AccelConf/icalepcs2009/papers/tup091.pdf]
    519 
    520  *  Paulsen, Phillip, Dave Stewart, Jon Walke, Larry Dikeman, Steven Sage, Eric Miller, James Northam et al. Virtual Mission Operations of Remote Sensors with Rapid Access To and From Space. National Aeronautics and Space Administration, Glenn Research Center, 2010. [http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.179.1314&rep=rep1&type=pdf]
    521 
    522  *  Sojka, Michal, Pavel Píša, Martin Petera, Ondrej Špinka, and Zdenek Hanzálek. "A comparison of Linux CAN drivers and their applications." In Industrial Embedded Systems (SIES), 2010 International Symposium on, pp. 18-27. IEEE, 2010. [http://support.dce.felk.cvut.cz/pub/hanzalek/publications/Hanzalek10_168894.pdf]
    523 
    524  *  Sabry, Mohamed M., Martino Ruggiero, and Pablo G. Del Valle. "Performance and energy trade-offs analysis of L2 on-chip cache architectures for embedded MPSoCs." In Proceedings of the 20th symposium on Great lakes symposium on VLSI, pp. 305-310. ACM, 2010. [http://www.researchgate.net/publication/43941092_Performance_and_Energy_Trade-offs_Analysis_of_L2_on-Chip_Cache_Architectures_for_Embedded_MPSoCs/file/d912f50cefa7d0dbac.pdf]
    525 
    526  *  Risco-Martín, José L., David Atienza, J. Manuel Colmenar, and Oscar Garnica. "A parallel evolutionary algorithm to optimize dynamic memory managers in embedded systems." Parallel Computing 36, no. 10 (2010): 572-590. [http://infoscience.epfl.ch/record/150135/files/PARCO2010-RiscoAtienza.pdf]
    527 
    528  *  Conquet, Éric, Maxime Perrotin, Pierre Dissaux, Thanassis Tsiodras, and Jérôme Hugues. "The TASTE Toolset: turning human designed heterogeneous systems into computer built homogeneous software." (2010). [http://oatao.univ-toulouse.fr/3357/1/Hugues_3357.pdf]
    529 
    530  *  Weatherly, Richard. "Unmanned systems and Ada." ACM SIGAda Ada Letters 30, no. 3 (2010): 35-36.
    531 
    532  *  Errico, W., P. Tosi, J. Ilstad, D. Jameux, R. Viviani, and D. Collantoni. "Experience of Data Handling with IPPM Payload." In DASIA 2010 Data Systems In Aerospace, vol. 682, p. 35. 2010.
    533 
    534  *  Tojal, Joaquim, Carlos Carloto, and José Miguel Faria. "Towards a Formally Verified Kernel Module." [http://www.di.ubi.pt/~desousa/publications/ConfN/Inforum2010_verif_kernel.pdf]
    535 
    536  *  Rippa, Mathew J., Jose Soto, Mike Sheehan, Christopher J. Carter, Gabriel Perez, Eric James, Robert Wyman, Cooper Nakayama, and Chris Yamasaki. "Upgrading the Gemini secondary mirror micro-controller." In SPIE Astronomical Telescopes and Instrumentation: Observational Frontiers of Astronomy for the New Decade, pp. 77403R-77403R. International Society for Optics and Photonics, 2010.
    537 
    538  *  Gebelein, Jano, Heiko Engel, and Udo Kebschull. "FPGA fault tolerance in radiation susceptible environments." Proceedings on Radiation Effects on Components and Systems (RADECS) (2010). [https://controls.gsi.de/documents/DOC-2010-Oct-16-1.pdf]
    539 
    540  *  Plsek, Ales, Lei Zhao, Veysel H. Sahin, Daniel Tang, Tomas Kalibera, and Jan Vitek. "Developing safety critical Java applications with oSCJ/L0." In Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, pp. 95-101. ACM, 2010. [Plsek, Ales, Lei Zhao, Veysel H. Sahin, Daniel Tang, Tomas Kalibera, and Jan Vitek. "Developing safety critical Java applications with oSCJ/L0." In Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, pp. 95-101. ACM, 2010.]
    541 
    542  *  Penolazzi, Sandro, Ingo Sander, and Ahmed Hemani. "Predicting energy and performance overhead of real-time operating systems." In Design, Automation & Test in Europe Conference & Exhibition (DATE), 2010, pp. 15-20. IEEE, 2010. [http://web.it.kth.se/~ingo/Papers/penolazzi_DATE2010.pdf]
    543 
    544  *  SHI, Hao-li, Chun-hong WANG, and Jing-yu TANG. "PSC/PSI Power Supply Control Prototype Based on RTEMS." Atomic Energy Science and Technology 9 (2010): 024.
    545 
    546  *  Zhang, Bingxue, Xudan Xu, and Bo Li. "Research on t