= References from 2000 =

[[TOC(References/2000 , depth=2)]]

* "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.

* [ftp://ftp.estec.esa.nl/pub/ws/opensource/OpenSourceSeminar.htm ​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.
​
* [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.
​
* [http://www-cad.eecs.berkeley.edu/cad-seminar/fall00/papers/pree.pdf OO Framework for On-Board Satellite Software], Wolfgang Pree, Fall 2000.
​
* ][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 Technologies. Ada-Europe 2000 Lecture Notes in Computer Science, 1845. Springer-Verlag (2000).
​
* [http://polaris.dit.upm.es/~str/papers/puente&00b.pdf ORK: An Open Source Real-Time Kernel for On-Board Software Systems]. Juan A. de la Puente, José F. Ruiz, Juan Zamorano, Rodrigo García, and Ramón Fernández-Marina. In DASIA 2000 - Data Systems in Aerospace. Montreal, Canada, 2000.
​
* [http://www.rcs.ei.tum.de/~kolloch/edf-rtems Code generation with SDL -- an integration with RTEMS and message deadlines]. Thomas Kolloch. Technical report TR-SDL00, Lehrstuhl für Realzeit-Computersysteme, Technische Universität München. München, Germany, January 2000. Draft online version.

* Real-Time PC - Real Time Executive for Multiprocessor Systems Parts 1 2, 3, and 4: Introduction to RTEMS, Ingo Cyliax, ​[http://www.circuitcellar.com Circuit Cellar], May - August 2000.