References from 2013

• 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.

• 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.

• 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.

• Blackham, Bernard. Towards Verified Microkernels for Real-Time Mixed-Criticality Systems. Diss. The University of New South Wales, 2013. ​http://elastos.org/redmine/attachments/download/3508/Towards%20verified%20microkernels%20for%20real-time%20mixed-criticality%20systems.pdf

• 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.

• 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.}

• 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

• 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.

• 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

• 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

• 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

• FitzGeorge, T., et al. "Integrated Payload Data Handling Demonstrator." European Planetary Science Congress 2013, held 8-13 September in London, UK. Online at: ​copernicus. org/epsc2013, id. EPSC2013-57. Vol. 8. 2013. ​http://meetingorganizer.copernicus.org/EPSC2013/EPSC2013-57.pdf

• Gaisler, Jiri, Konrad Eisele, and Andreas Larsson. "TSIM2 Simulator User’s Manual." (2013). ​http://www.gaisler.com/doc/tsim-2.0.30.pdf

• Goossens, Kees, et al. "Virtual execution platforms for mixed-time-criticality systems: The compsoc architecture and design flow." ACM SIGBED Review 10.3 (2013): 23-34. ​http://sigbed.seas.upenn.edu/archives/2013-10/crts2012_submission_5.pdf

• 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

• Hu, Song, et al. "Global Orbit Feedback System Upgrade At The Canadian Light Source." Journal of Physics: Conference Series. Vol. 425. No. 4. IOP Publishing, 2013. ​http://iopscience.iop.org/1742-6596/425/4/042009

• 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

• Mortensen, Dale J. GRC GSFC TDRSS Waveform Metrics Report. 2013. ​http://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/20130014048.pdf

• 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.

• 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

• Nicodemos, Fernando, Osamu Saotome, and George Lima. "Design and Implementation of a FPGA-Based RTOS Real-Time Performance Analysis Environment (RTPE) for Satellite On-Board Computers." 7 th Junior Researcher Workshop on Real-Time Computing JRWRTC 2013. 2013. ​http://link.springer.com/article/10.1365/s38314-013-0195-5

• Nicodemos, Fernando, Osamu Saotome, and George Lima. "RTEMS Core Analysis for Space Applications." Computing Systems Engineering (SBESC), 2013 III Brazilian Symposium on. IEEE, 2013. ​http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6825354

• 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

• 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

• 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

• 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.

• Singhoff, Frank. "Programming Real-Time Embedded systems: Ada 2005 and RTEMS." ​http://beru.univ-brest.fr/~singhoff/ENS/USTH/ada.pdf

• Singhoff, Frank. "Programming Real-Time Embedded systems: C/POSIX and RTEMS." ​http://beru.univ-brest.fr/~singhoff/ENS/USTH/posix.pdf

• 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

• 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

• 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.

• Stumpf, Tobias, and Michael Werner. "A conservative real-time garbage collector for C/C++ running on top of RTEMS." Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2013 IEEE 16th International Symposium on. IEEE, 2013. ​http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6913196

• 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

• Yang, Feng, Xuehai Zhou, and Dalei Hu. "A General Mandatory Access Control Framework in Distributed Environments." ​http://www.waset.org/publications/17188

• Zhang, Bo. "Research and application of embedded real-time operating system." Fifth International Conference on Machine Vision (ICMV 12). International Society for Optics and Photonics, 2013. ​http://proceedings.spiedigitallibrary.org/proceeding.aspx?articleid=1667629

• 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.

• 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

• 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