References from 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

• 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

• 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

• 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

• Gaisler, K. Eisele, A. Larsson. TSIM2 Simulator User's Manual. Aeroflex Gaisler. 2014. ​http://www.gaisler.com/doc/tsim-2.0.30.pdf

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

• 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

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

• 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

• 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

• 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

• 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

• 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

• 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

• 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

• 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

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

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

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

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

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

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

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

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

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

• 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

• 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

• 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

• 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

• J. Gaisler, K. Eisele, A. Larsson. "TSIM2 Simulator User's Manual." Aeroflex Gaisler. 2014. ​http://www.gaisler.com/doc/tsim-2.0.30.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