| 444 | |
| 445 | * Conquet, Éric, Maxime Perrotin, Pierre Dissaux, Thanassis Tsiodras, and Jérôme Hugues. "The TASTE Toolset: turning human designed heterogeneous systems into computer built homogeneous software." (2010). [http://oatao.univ-toulouse.fr/3357/1/Hugues_3357.pdf] |
| 446 | |
| 447 | * Weatherly, Richard. "Unmanned systems and Ada." ACM SIGAda Ada Letters 30, no. 3 (2010): 35-36. |
| 448 | |
| 449 | * Errico, W., P. Tosi, J. Ilstad, D. Jameux, R. Viviani, and D. Collantoni. "Experience of Data Handling with IPPM Payload." In DASIA 2010 Data Systems In Aerospace, vol. 682, p. 35. 2010. |
| 450 | |
| 451 | * Tojal, Joaquim, Carlos Carloto, and José Miguel Faria. "Towards a Formally Verified Kernel Module." [http://www.di.ubi.pt/~desousa/publications/ConfN/Inforum2010_verif_kernel.pdf] |
| 452 | |
| 453 | * Rippa, Mathew J., Jose Soto, Mike Sheehan, Christopher J. Carter, Gabriel Perez, Eric James, Robert Wyman, Cooper Nakayama, and Chris Yamasaki. "Upgrading the Gemini secondary mirror micro-controller." In SPIE Astronomical Telescopes and Instrumentation: Observational Frontiers of Astronomy for the New Decade, pp. 77403R-77403R. International Society for Optics and Photonics, 2010. |
| 454 | |
| 455 | * Gebelein, Jano, Heiko Engel, and Udo Kebschull. "FPGA fault tolerance in radiation susceptible environments." Proceedings on Radiation Effects on Components and Systems (RADECS) (2010). [https://controls.gsi.de/documents/DOC-2010-Oct-16-1.pdf] |
| 456 | |
| 457 | * Plsek, Ales, Lei Zhao, Veysel H. Sahin, Daniel Tang, Tomas Kalibera, and Jan Vitek. "Developing safety critical Java applications with oSCJ/L0." In Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, pp. 95-101. ACM, 2010. [Plsek, Ales, Lei Zhao, Veysel H. Sahin, Daniel Tang, Tomas Kalibera, and Jan Vitek. "Developing safety critical Java applications with oSCJ/L0." In Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, pp. 95-101. ACM, 2010.] |
| 458 | |
| 459 | * Penolazzi, Sandro, Ingo Sander, and Ahmed Hemani. "Predicting energy and performance overhead of real-time operating systems." In Design, Automation & Test in Europe Conference & Exhibition (DATE), 2010, pp. 15-20. IEEE, 2010. [http://web.it.kth.se/~ingo/Papers/penolazzi_DATE2010.pdf] |
531 | | * "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. IRISA technical report NoPI1236, November 1999. This paper appears to be based on the same work that was later published at EuroMicro. This work 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. :( |
532 | | |
533 | | * [http://citeseer.nj.nec.com/336076.html| Replica Management in Real-Time Ada 95 Application]. Luís Miguel Pinho and Francisco Vasques. Submitted to IRTAW-99. |
534 | | = Published in 1998 = |
535 | | |
536 | | * [http://www.acm.org/sigada/conf/sa98/papers/kamrad.pdf| Ada Experience Report], Mike Kamrad, SigAda 1998. |
537 | | |
538 | | * "DATA-CHASER: A Demonstration of Advanced Mission Operations Technologies." Shepperd, R., J. Willis, E. Hansen, J. Faber, S. Siewert. IEEE Aerospace Conference 1998. |
539 | | = Published in 1997 = |
540 | | |
541 | | * "Communication and distribution tools for embedded distributed applications: a case study with Ada 95 and its distributed systems annex," Pierre Dissaux, Laurent Pautet, Lars Björnfot, Yvon Kermarrec and Dominique LeCampion, Ravenscar UK, April 1997 |
542 | | |
543 | | * "Developing Embedded Systems in Ada95 with GNAT/RTEMS," Software Technology Conference, Salt Lake City, UT, May 1997. |
544 | | |
545 | | * "Developing Embedded Systems in Ada95 with GNAT/RTEMS," Workshop on Methods and Tools for Ada95 Distributed and Real-Time System, ENST, Brest, France, September 1997. |
546 | | |
547 | | * [http://www.mpirt.org/documents/hpec97.pdf| Design and Development of the Real- Time Message Passing Interface (MPI/ RT) Standard], Anthony Skjellum (MSU) and Arkady Kanevsky (MITRE), presented at HPEC-97, September 18, 1997. |
548 | | |
549 | | * [http://www.era.co.uk/assc/Proc3.pdf| Evaluation of RTOS systems] from [http://www.era.co.uk| ERA UK]. ASSC/330/2/141-Issue 1. March 1997. |
550 | | = Published in 1996 = |
551 | | |
552 | | * [http://papers.maxwell.af.mil/research/ay1996/afit/gcs-eng-96d-16.htm| Implementation of an ADA95 Crosscompiler for the Real-Time Executive for Military Systems (RTEMS)], Kendall M. Lemley, Jr., Master's thesis, AFIT/GCS/ENG/96D-16, Decemember 1996. Available from [http://stinet.dtic.mil| DoD Scientific and Technical Information Network] in PDF as report number ADA323336. The link is dynamically generated so go through the search engine. |
553 | | |
554 | | * "The DATA-CHASER HitchHiker Project as a Demonstration of Distributed Operations for Small Satellites." Shepperd, Ryan W. and Jason R. Willis. 10th Annual AIAA Utah State University Conference on Small Satellites, Logan Utah. September, 1996. |
555 | | |
556 | | * [http://www-sgc.colorado.edu/boulder/publ |
| 547 | * "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. IRISA technical report NoPI1236, November 1999. This paper appears to be based on the same work that was later published at EuroMicro. This work 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 incorrect |