OSADL Project: Safety Critical Linux

Safety Critical Linux - Working Group Proposal by Nicholas Mc Guire

Bibliography

1

Herman Kopetz: Real-Time Systems - Design Principles for Distributed Embedded Applications, Kluwer Academic Publishers, 1997, ISBN 0-7923-9894-7

2

Jochen Lidtke: L4 Reference Manual, IBM T. J. Watson Research Center, 1996, Research Report RC 20549

3

Michael Hohmuth, Pragmatische nichtblockierende Synchronisation fuer Echtzeitsysteme, Dissertation, University of Dresden October 2002

4

VLX, Jaluna, http://www.virtuallogix.com, VirtualLogics, 2007

5

Rober Kaiser, PikeOS - eine Microkernel basierte Umgebung fuer partitionierte Systeme, http://www.sysgo.com, SysGo, 2007

6

Maintainer: Nicholas Mc Guire,RTLinux-GPL, http://www.rtlinux-gpl.org

7

Nicholas Mc Guire,Comparative Study on Real Time Enhanced Linux, http://dslab.lzu.edu.cn/docs/, DSLab, 2005

8

Maintainer: Paolo Mantegazza,RTAI - Real Time Application Interface, http://www.rtai.org

9

Maintainer: Philippe Gerum, ADEOS - Adaptive Domain Envrironment for Operationg Systems, http://home.gna.org/adeos

10

Philippe Gerum, Porting RTAI over ADEOS,Fosdem Brussels, 2003

11

Thomas Gleixner, http://rt.wiki.kernel.org/index.php/Main_Page, RT-Preempt status in mainstream Linux, 2007

12

Maintainer:Miguel Masmano, Ismael Ripoll, XtratuM - Open Source nanokernel,http://www.ocera.org

13

M. Masmano, I. Ripoll, XtratuM Interface,XtratuM release 0.1 (docs directory), 2003

14

A.S. Tanenbaum et al. Experience with the Amoeba Distributed Operating System, Communication of the ACM, Vol 33, 1990

15

16

17

Ron Pierce, Prelimnary assessemt of Linux for Safety Related Systems, HSE, 2002

18

Fan Ye, Tim Kelly, Contract Based Justification for COTS components within Safety-Critical Applications, University of York, 2004