Changes between Version 92 and Version 93 of References

Dec 3, 2013, 4:16:28 PM (6 years ago)

/* Published in 2010 */


  • References

    v92 v93  
    479479 *  López, J. M., M. Ruiz, J. Borrego, G. De Arcas, E. Barrera, and Jesús Vega. "A versatile trigger and synchronization module with IEEE1588 capabilities and EPICS support." Fusion Engineering and Design 85, no. 3 (2010): 340-344, []
     481 * Mikucionis, Marius, Kim G. Larsen, Jacob I. Rasmussen, Arne Skou, Brian Nielsen, Steen Palm, Jan Pedersen, and Poul Hougaard. "Schedulability Analysis of Herschel/Planck Software using UPPAAL." (2010). []
     483 * Lacey, Hugh. "The constitutive values of science." Principia: an international journal of epistemology 1, no. 1 (2010): 3-40. []
     485 * Grimaud, Damien Deville Alexandre Courbot Gilles. "Supporting Real Time Extensions in an Embedded Exo-Kernel." []
     487 * Perrotin, Maxime, Thanassis Tsiodras, Julien Delange, and Jérôme Hugues. "TASTE Documentation v1." (2010). []
     489 * Broquet, R., N. Perrimon, B. Polle, P. Hyounet, P. A. Krauss, R. Drai, T. Voirin, and V. Fernandez. "HiNAV Inertial/GNSS Hybrid Navigation System for launchers and re-entry vehicles." In Satellite Navigation Technologies and European Workshop on GNSS Signals and Signal Processing (NAVITEC), 2010 5th ESA Workshop on, pp. 1-6. IEEE, 2010.
     491 * Dusatko, J., S. Allison, M. Browne, and P. Krejcik. "THE LCLS TIMNG EVENT SYSTEM." (2010). []
     493 * Riedel, Joseph E., T. A. Ely, A. Lee, R. A. Werner, T. S. Wang, and A. T. Vaughan. "Optical Navigation Plan and Strategy for the Lunar Lander Altair." In AIAA Guidance, Navigation, and Control Conference. 2010.
     495 * Raghav, Gopal, Swaminathan Gopalswamy, Karthikeyan Radhakrishnan, Jérôme Hugues, and Julien Delange. "Model based code generation for distributed embedded systems." (2010). []
     497 * Miku?ionis, Marius, Kim Guldstrand Larsen, Jacob Illum Rasmussen, Brian Nielsen, Arne Skou, Steen Ulrik Palm, Jan Storbank Pedersen, and Poul Hougaard. "Schedulability analysis using Uppaal: Herschel-Planck case study." In Leveraging Applications of Formal Methods, Verification, and Validation, pp. 175-190. []
     499 * Xu, Wei, and Yongjie Piao. "Bootstrap loader design of aerospace payload controller based on TSC695F." In Computational Intelligence and Natural Computing Proceedings (CINC), 2010 Second International Conference on, vol. 2, pp. 60-64. IEEE, 2010.
    480500=  Published in 2008  =
    538558 *  [ Smart Budgeting for a Smart Controller] was presented at [ Waveform 2001] by [ Angelo Fraietta].  This paper discusses his experience with using RTEMS in his Smart Controller -- a portable hardware device that allows performers to create music using MIDI and Programmable Logic Control.
    540  *  "Worst-Case Execution Time Analysis of the RTEMS Real-Time Operating System." A. Colin, I. Puaut.  Proc. of the 13th Euromicro Conference on Real-Time Systems. pages 191--198, Delft, The Netherlands.  June 2001.  This paper is from the [ Hades -- Operating Systems for critical applications] site. They have at least this one paper on RTEMS.  Sadly, this paper is mostly correct but unfortunately the authors misunderstood at least one RTEMS algorithm and incorrectly cited it as non-deterministic. :(
    542  *  EPICS on the RTEMS Real-Time Executive.  W. Eric Norum.  Presented at the Synchrotron Radiation Instrumentation 2001 Conference, Madison, Wisconsin. August, 2001. To be published in the American Institute of Physics `Review of Scientific Instrumentation'.  January, 2002.
    544  *  [ Generating Mixed Hardware/Software Systems from SDL Specifications].  Frank Slomka, Matthias Dörfel, Ralf Münzenberger.  Proceedings of the Ninth International Symposium on Hardware/Software Codesign (CODES 2001).  Copenhagen, Denmark.  Sponsored by: ACM SIGDA, ACM SIGSOFT, IEEE Computer Society, IEEE Circuits and Systems Society, and IFIP WG 10.5.  April 25-27, 2001.
    545 =  Published in 2000  =
    547  *  "Sherlock: Commercial High Assurance Network Computing." Stephen Neal, Melissa Hartman, Steven Morgan, and Matthew Laue.  [| ISW 2000, the third Information Security Workshop]. University of Wollongong.  20-21 December 2000.  The proceedings were published as number 1975 in the Springer-Verlag Lecture Notes in Computer Science series.
    549  *  [| RTEMS Open Source Model: A Business and Technical Perspective] at [| The Role of Open-Source Software in the Space Business: Technical Issues, Use Guidance, Legal Implications], ESA ESTEC, Noordwijk, The Netherlands, October 2000.
    551  *  [| FlightLinux Project Target Architecture Technical Report], Patrick H.  Stakem, QSS Group, Inc., Revised 3/6/2001.
    553  *  [| OO Framework for On-Board Satellite Software], Wolfgang Pree, Fall 2000.
    555  *  [| An Open Ravenscar Real-Time Kernel for GNAT], Juan A. de la Puente, José F.  Ruiz, and Juan Zamorano, In Hubert B. Keller and Erhard Plödereder (Eds.) Reliable Software Technologie
     560 *  "Worst-Case Execution Time Analysis of the RTEMS Real-Time Operating System." A. Colin, I. Puaut.  Proc. of the 13th Euromicro Conference on Real-Time Systems. pages 191--198, De