| 480 | |
| 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). [http://people.cs.aau.dk/~kgl/China2011/Slides/QuasimodoHandbook.pdf#page=121] |
| 482 | |
| 483 | * Lacey, Hugh. "The constitutive values of science." Principia: an international journal of epistemology 1, no. 1 (2010): 3-40. [http://150.162.1.115/index.php/principia/article/download/18749/17358] |
| 484 | |
| 485 | * Grimaud, Damien Deville Alexandre Courbot Gilles. "Supporting Real Time Extensions in an Embedded Exo-Kernel." [http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.132.5898&rep=rep1&type=pdf] |
| 486 | |
| 487 | * Perrotin, Maxime, Thanassis Tsiodras, Julien Delange, and Jérôme Hugues. "TASTE Documentation v1." (2010). [https://tecsvn.estec.esa.int/svn/taste/branches/stable/doc/maindoc/taste-documentation.pdf] |
| 488 | |
| 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. |
| 490 | |
| 491 | * Dusatko, J., S. Allison, M. Browne, and P. Krejcik. "THE LCLS TIMNG EVENT SYSTEM." (2010). [http://www.lanl.gov/conferences/biw10/preprints/TUPSM083_preprint.pdf] |
| 492 | |
| 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. |
| 494 | |
| 495 | * Raghav, Gopal, Swaminathan Gopalswamy, Karthikeyan Radhakrishnan, Jérôme Hugues, and Julien Delange. "Model based code generation for distributed embedded systems." (2010). [http://oatao.univ-toulouse.fr/4098/1/Hugues_4098.pdf] |
| 496 | |
| 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. [http://people.cs.aau.dk/~bnielsen/Published/ISoLA2010.pdf] |
| 498 | |
| 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. |
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 [http://www.irisa.fr/solidor/work/hades.html 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. :( |
541 | | |
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. |
543 | | |
544 | | * [http://www.sigda.org/Archives/ProceedingArchives/CODES/Codes2001/papers/2001/codes01/pdffiles/5_1.pdf 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 = |
546 | | |
547 | | * "Sherlock: Commercial High Assurance Network Computing." Stephen Neal, Melissa Hartman, Steven Morgan, and Matthew Laue. [http://www.itacs.uow.edu.au/ccsr/proceedings/isw2000/index.html| 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. |
548 | | |
549 | | * [ftp://ftp.estec.esa.nl/pub/ws/opensource/OpenSourceSeminar.htm| RTEMS Open Source Model: A Business and Technical Perspective] at [http://www.estec.esa.nl/CONFANNOUN/00e09/index.html| The Role of Open-Source Software in the Space Business: Technical Issues, Use Guidance, Legal Implications], ESA ESTEC, Noordwijk, The Netherlands, October 2000. |
550 | | |
551 | | * [http://flightlinux.gsfc.nasa.gov/docs/Target_Arch_Report.pdf| FlightLinux Project Target Architecture Technical Report], Patrick H. Stakem, QSS Group, Inc., Revised 3/6/2001. |
552 | | |
553 | | * [http://www-cad.eecs.berkeley.edu/cad-seminar/fall00/papers/pree.pdf| OO Framework for On-Board Satellite Software], Wolfgang Pree, Fall 2000. |
554 | | |
555 | | * [http://polaris.dit.upm.es/~str/papers/puente&00a.pdf| 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 |