Changes between Version 1 and Version 2 of References/2012


Ignore:
Timestamp:
Jan 13, 2016, 2:19:56 AM (3 years ago)
Author:
Zaphod
Comment:

This rearranges the references by alphabetical order -- GCI task

Legend:

Unmodified
Added
Removed
Modified
  • References/2012

    v1 v2  
    33[[TOC(References/2012 , depth=2)]]
    44
     5 *  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]
    56
     7 *  Alkazemi, Basem Y. "On verification of software components." arXiv preprint arXiv:1210.3758 (2012). [http://arxiv.org/ftp/arxiv/papers/1210/1210.3758.pdf]
    68
    7  *  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]
     9 *  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]
    810
    9  *  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]
     11 *  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.
     12
     13 *  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]
     14
     15 *  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.
     16
     17 *  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.
     18
     19 *  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]
     20
     21 *  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]
     22
     23 *  BO, NSLS-II. "BEAM DIA.", [http://epaper.kek.jp/rupac2012/papers/frxor02.pdf]
     24
     25 *  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]
     26
     27 *  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 ]
     28
     29 *  Buckingham, Ron, and Rob Zee. "Enabling Spacecraft Technologies for the Polar Communications and Weather Spacecraft Bus." (2012).
     30
     31 *  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]
     32
     33 *  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]
     34
     35 *  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.
     36
     37 *  Chelmins, David, and Richard Reinhart. "Experiments Program for NASA’s Space Communications Testbed." (2012).
     38
     39 *  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.
     40
     41 *  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.
     42
     43 *  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.
     44
     45 *  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]
     46
     47 *  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]
     48
     49 *  CTO, Benjamin Gittins, and Ronald Keslon CEO. "Verifying Secure Systems is also Not Reasonable (Today)."
     50
     51 *  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.
     52
     53 *  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]
     54
     55 *  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]
     56
     57 *  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]
     58
     59 *  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]
     60
     61*  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]
     62
     63 *  Eickhoff, Jens. Onboard Computers, Onboard Software and Satellite Operations: An Introduction. Springer, 2012.
     64
     65 *  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]
     66
     67 *  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]
     68
     69 *  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).
     70
     71 *  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.
     72
     73 *  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."
     74[http://accelconf.web.cern.ch/AccelConf/IPAC2012/papers/THPPR015.PDF]
     75
     76 *  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).
     77
     78 *  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.
     79
     80 *  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.
     81
     82 *  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]
     83
     84 *  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]
     85
     86 *  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]
     87
     88 *  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]
     89
     90 *  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]
     91
     92*  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).
     93
     94 *  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]
     95
     96 *  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.
     97
     98 *  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.
     99
     100 *  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]
     101
     102 *  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]
     103
     104 *  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.
     105
     106 *  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.
     107
     108 *  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]
    10109
    11110 *  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.
    12111
     112 *  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]
     113
     114 *  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]
     115
    13116 *  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.
     117
     118*  Kuang, Jian, Quan Ming Shi, and Jia Li Bian. "The Memory Protection in Embedded RTOS." Applied Mechanics and Materials 198 (2012): 294-299.
     119
     120 *  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]
     121
     122 *  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]
     123
     124 *  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).
     125
     126 *  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]
     127
     128 *  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]
     129
     130 *  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]
     131
     132 *  McComas, David. "NASA/GSFC’s Flight Software Core Flight System." (2012). [http://flightsoftware.jhuapl.edu/files/2012/FSW12_McComas.pdf]
     133
     134 *  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]
     135
     136 *  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.
     137
     138 *  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]
     139
     140 *  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]
    14141
    15142 *  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.
     
    17144 *  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.
    18145
    19  *  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 ]
     146*  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]
    20147
    21  *  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]
     148*  Osmolovsky, S. "Embedded Operating Systems for Microprocessor Architecture MIPS32." [http://www.fruct.org/publications/abstract8/files/Osm.pdf]
    22149
    23  *  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]
     150 *  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]
    24151
    25  *  McComas, David. "NASA/GSFC’s Flight Software Core Flight System." (2012). [http://flightsoftware.jhuapl.edu/files/2012/FSW12_McComas.pdf]
     152 *  Padrazo, Danny, Yong Hu, Belkacem Bacha, Igor Pinayev, and Guimei Wang. "NSLS-II BEAM INTENSITY MEASUREMENT." [http://epaper.kek.jp/BIW2012/papers/mopg004.pdf]
    26153
    27  *  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.
     154 *  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]
     155
     156 *  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]
     157
     158 *  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.
     159
     160 *  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]
     161
     162 *  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]
     163
     164 *  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]
     165
     166 *  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]
     167
     168 *  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.
     169
     170 *  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]
     171
     172 *  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.
     173
     174 *  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]
     175
     176 *  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]
     177
     178 *  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]
     179
     180 *  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]
     181
     182 *  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]
     183
     184*  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]
     185
     186*  Wang, Jinlin. "Scheduling of Periodic Tasks with Data Dependency on Multiprocessors.", [http://www.atlantis-press.com/php/download_paper.php?id=4116]
     187
     188*  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]
     189
     190 *  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]
    28191
    29192 *  Yan, J., T. Allison, and S. Witherspoon. "PC/104 ASYN DRIVERS AT JEFFERSON LAB." [http://accelconf.web.cern.ch/Accelconf/icalepcs2011/papers/wepmn012.pdf]
    30193
    31  *  Kuang, Jian, Quan Ming Shi, and Jia Li Bian. "The Memory Protection in Embedded RTOS." Applied Mechanics and Materials 198 (2012): 294-299.
    32 
    33  *  Osmolovsky, S. "Embedded Operating Systems for Microprocessor Architecture MIPS32." [http://www.fruct.org/publications/abstract8/files/Osm.pdf]
    34 
    35  *  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]
    36 
    37194 *  Zhou, Zhengmao, Yun Zhou, and Ming Cai. "An Approach to Evaluate the Robustness of Real Time Operating System."
    38195
    39  *  Buckingham, Ron, and Rob Zee. "Enabling Spacecraft Technologies for the Polar Communications and Weather Spacecraft Bus." (2012).
    40 
    41  *  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]
    42 
    43  *  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.
    44 
    45  *  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.
    46 
    47  *  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]
    48 
    49  *  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]
    50 
    51  *  Wang, Jinlin. "Scheduling of Periodic Tasks with Data Dependency on Multiprocessors.", [http://www.atlantis-press.com/php/download_paper.php?id=4116]
    52 
    53  *  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]
    54 
    55  *  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]
    56 
    57  *  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]
    58 
    59  *  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]
    60 
    61  *  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]
    62 
    63  *  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]
    64 
    65  *  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.
    66 
    67  *  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]
    68 
    69  *  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]
    70 
    71  *  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]
    72 
    73  *  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]
    74 
    75  *  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]
    76 
    77  *  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).
    78 
    79  *  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]
    80 
    81  *  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]
    82 
    83  *  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]
    84 
    85  *  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]
    86 
    87  *  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.
    88 
    89  *  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.
    90 
    91  *  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]
    92 
    93  *  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]
    94 
    95  *  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]
    96 
    97  *  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]
    98 
    99  *  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]
    100 
    101  *  BO, NSLS-II. "BEAM DIA.", [http://epaper.kek.jp/rupac2012/papers/frxor02.pdf]
    102 
    103  *  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]
    104 
    105  *  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]
    106 
    107  *  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]
    108 
    109  *  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]
    110 
    111  *  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]
    112 
    113  *  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]
    114 
    115  *  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).
    116 
    117  *  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.
    118 
    119  *  CTO, Benjamin Gittins, and Ronald Keslon CEO. "Verifying Secure Systems is also Not Reasonable (Today)."
    120 
    121  *  Alkazemi, Basem Y. "On verification of software components." arXiv preprint arXiv:1210.3758 (2012). [http://arxiv.org/ftp/arxiv/papers/1210/1210.3758.pdf]
    122 
    123  *  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).
    124 
    125  *  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.
    126 
    127  *  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]
    128 
    129  *  Eickhoff, Jens. Onboard Computers, Onboard Software and Satellite Operations: An Introduction. Springer, 2012.
    130 
    131  *  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]
    132 
    133  *  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]
    134 
    135  *  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]
    136 
    137  *  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]
    138 
    139  *  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]
    140 
    141  *  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]
    142 
    143  *  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]
    144 
    145196 *  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.
    146 
    147  *  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]
    148 
    149  *  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.
    150 
    151  *  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]
    152 
    153  *  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]
    154 
    155  *  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).
    156 
    157  *  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.
    158 
    159  *  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]
    160 
    161  *  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]
    162 
    163  *  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.
    164  
    165  *  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]
    166  
    167  *  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.
    168  
    169  *  Chelmins, David, and Richard Reinhart. "Experiments Program for NASA’s Space Communications Testbed." (2012).
    170 
    171  *  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]
    172 
    173  *  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]
    174 
    175  *  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.
    176 
    177  *  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.
    178 
    179  *  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.
    180 
    181  *  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]
    182 
    183  *  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]
    184 
    185  *  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]
    186 
    187  *  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.
    188 
    189  *  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.
    190 
    191  *  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]
    192 
    193  *  Padrazo, Danny, Yong Hu, Belkacem Bacha, Igor Pinayev, and Guimei Wang. "NSLS-II BEAM INTENSITY MEASUREMENT." [http://epaper.kek.jp/BIW2012/papers/mopg004.pdf]
    194 
    195  *  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.
    196 
    197  *  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.
    198