Changes between Version 90 and Version 91 of References


Ignore:
Timestamp:
Dec 3, 2013, 2:37:07 PM (6 years ago)
Author:
Aussiroth
Comment:

/* Published in 2010 */

Legend:

Unmodified
Added
Removed
Modified
  • References

    v90 v91  
    442442
    443443 *  Risco-Martín, José L., David Atienza, J. Manuel Colmenar, and Oscar Garnica. "A parallel evolutionary algorithm to optimize dynamic memory managers in embedded systems." Parallel Computing 36, no. 10 (2010): 572-590. [http://infoscience.epfl.ch/record/150135/files/PARCO2010-RiscoAtienza.pdf]
     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]
    444460=  Published in 2008  =
    445461
     
    529545 *  [http://citeseer.nj.nec.com/328063.html| To Ada or not To Ada: Adaing vs. Javaing in Real-Time Systems]. Luís Miguel Pinho and Francisco Vasques.  ACM Ada Letters, Vol.  XIX, N. 4, pp 37-43, December 1999.
    530546
    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