References from 2012

Table of Contents

  1. References from 2012

  • 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,
  • 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.
  • 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.
  • 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.
  • 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,
  • 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.
  • Buckingham, Ron, and Rob Zee. "Enabling Spacecraft Technologies for the Polar Communications and Weather Spacecraft Bus." (2012).
  • 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.
  • Chelmins, David, and Richard Reinhart. "Experiments Program for NASA’s Space Communications Testbed." (2012).
  • 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.
  • 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.
  • 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.
  • CTO, Benjamin Gittins, and Ronald Keslon CEO. "Verifying Secure Systems is also Not Reasonable (Today)."
  • 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.
  • Eickhoff, Jens. Onboard Computers, Onboard Software and Satellite Operations: An Introduction. Springer, 2012.
  • 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).
  • 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.
  • 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).
  • 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.
  • 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.
  • 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.",
  • 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,
  • 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.
  • 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).
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • Kuang, Jian, Quan Ming Shi, and Jia Li Bian. "The Memory Protection in Embedded RTOS." Applied Mechanics and Materials 198 (2012): 294-299.
  • 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.
  • 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).
  • 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.
  • 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.
  • 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.
  • 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,
  • 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.
  • 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.
  • 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.
  • 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.
  • 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).
  • Zhou, Zhengmao, Yun Zhou, and Ming Cai. "An Approach to Evaluate the Robustness of Real Time Operating System."
  • 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.
Last modified on Jan 14, 2016 at 3:42:20 AM Last modified on Jan 14, 2016, 3:42:20 AM