Bibliography

1

A good overview to Ada: http://en.wikipedia.org/wiki/Ada_language (last visited May-27, 2008)

2

Ada Reference Manual ISO/IEC 8652:1995(E) with Technical Corrigendum 1 and Amendment 1 Language and Standard Libraries URL: http://www.adaic.org/standards/05rm/html/RM-TTL.html, weitere Dokumente hier: http://www.adaic.org/standards/ada05.html

3

ARINC : Avionics Application Software Standard Interface, Technical Report ARINC Specification 653, Aeronautical Radio, Inc., 1997.

4

Audoin, C.; Guinot, B. The Measurement of TIME. Time, Frequency, and the Atomic Clock, Cambridge (UK): Cambridge University Press, 2001 (Original French Edition 1998)

5

Autebert, J-M.; Berstel, J.; Boasson, L. Context-Free Languages and pushdown Automata, pp.111-174, in: Rozenberg, G.; Salomaa, A. (Eds.), Handbook of Formal Languages, Vol.1, Word, Language, Grammer, Berlin - Heidelberg - New York: Springer, 1998

6

Bennett, Stuart: Real-Time Computer Control, Prentice Hall, 1994

7

Bieri, P. Zeit und Zeiterfahrung. Exposition eines Problembereiches, Frankfurt: Suhrkamp Verlag, 1972

8

Birbaumer, N.; Schmidt, R.F. Biologische Psychologie, Heidelberg: Springer Medizin Verlag, 2006, 6.rev.ed.

9

Bollella, G. : Slotted priorities: supporting real-time computing within general-purpose operating systems, PhD thesis, University of North Carolina at Chapel Hill, 1997. Advisor: Kevin Jeffay, 1997

10

Bowler, P.J. Evolution. The History of an Idea, Berkeley et al: Univ. of California Press, rev.ed. 1989

11

Butazzo, G.C. Hard Real-Time Computing Systems. Predictable Scheduling. Algorithms and Applications, Springer Science+Business Media, LLC, 2nd rev.Ed, 2004

12

Albert M. K. Cheng; James Ras The implementation of the Priority Ceiling Protocol in Ada-2005, In. ACM SIGAda Ada Letters archive, Volume XXVII , Issue 1 (April 2007), Pages: 24 - 39, 2007, ISSN:1094-3641

13

Chetto, H.; Chetto, M. Some Results of the Earliest Deadline Scheduling Algorithm, In: IEEE Transactions on Software Engineering, Volume 15, Issue 10, Date: Oct 1989, 1261 - 1269, 1989

14

Chetto, H.; Silly, M.; Bouchentouf, T. Dynamic scheduling of real-time tasks under precedence constraints. In: Journal of Real-Time Systems, Volume 2 , Issue 3 (September 1990), 181-194, 1990, ISSN:0922-6443

15

Chetto, H.; Chetto, M. An adaptive scheduling algorithm for fault-tolerant real-timesystems, In: Software Engineering Journal, 6, Issue 3, May 1991, 93 - 100

16

Chetto, H. Guaranteed deadlines with dynamic recovery blocks in distributed systems, In. Proceedings., Sixth Euromicro Workshop on Real-Time Systems, Date: 15-17 Jun 1994, 199 - 204, 1994

17

COTTET, F.; DELACROIX, J.: KAISER, C.; MAMMERI, Z. : Scheduling in Real-Time Systems, John Wiley & Sons, Chichester (Engl.), 2002

18

Cramer, F. Der Zeitbaum. Grundlagen einer allgemeinen Zeittheorie, Frankfurt am Main - Leipzig: Insel Verlag, 1993

19

Drepper, U. Futexes Are Tricky, Red Hat (v 1.4, 2008), URL: http://en.wikipedia.org/wiki/Futex, Communications: drepper[AT]redhat.com

20

DUDEL, J.; MENZEL, R.; SCHMIDT, R.F. Neurowissenschaften. Vom Molekül zur Kognition, Berlin-Heidelberg et.al: Springer Verlag, 1996

21

Doeben-Henisch, G.; Wagner, M.; : Validation within Safety Critical Systems Engineering from a Computational Semiotics Point of View, Proceedings of the IEEE Africon2007 Conference, Namibia, 2007 (to be published Sept.2007).

22

Doeben-Henisch, G. Formal Specification and Verification Within Systems Engineering, Lecture Notes, Frankfurt am Main (Germany): University of Applied Sciences, 2010, URL: http://www.uffmm.org/fsv.html (Last accessed 13Dec2011)

23

Emde, C.; Gleixner, Th. Standard Linux wird echtzeitfähig, in: Elektronik, 3/2007 6.Febr. URL: http://www.osadl.org/2007.osadl-in-the-press-2007.0.html (last visited June-2, 2008)

24

Emde, C.; Gleixner, Th., : Native mainline Linux: fit for embedded and real-time systems, in: boards & solutions, the european embedded computing magazine, June 2007

25

ERIKA := Embedded Real tIme Kernel Architecture: http://erika.sssup.it/

26

Estes, W.K. (ed) Handbook of Learning and Cognitive Processes, Vol.1-2, Hillsdale (NJ): Lawrence Erlbaum Associates, 1975

27

Estes,W.K. (ed) Handbook of Learning and Cognitive Processes, Vol.3-4, Hillsdale (NJ): Lawrence Erlbaum Associates, 1976

28

Estes,W.K. (ed) Handbook of Learning and Cognitive Processes, Vol.1-5, Hillsdale (NJ): Lawrence Erlbaum Associates, 1975-1978

29

Fraser, J.T. Time - The familiar stranger, 1987, Deutsch: Die Zeit: vertraut und fremd, Basel: Birkhäuser-Verlag, ISBN 3-7643-1990-9

30

GAZZANIGA, M.S. (Editor-in-Chief) The Cognitive Neurosciences, Cambridge (MA): MIT Press, 1995, 4th.ed. 1997

31

Garcia, T.; Silly, M. Scheduling a robotic real-time application, In: Proceedings. 4th International Conference on Control and Automation, ICCA '03, Date: 10-12 June 2003, 600 - 604, 2003

32

R.Graham, E.L. Lawler, J.K. Lenstra, A.H.G. Rinnooy Kan Optimization and Approximation in Deterministic Sequencing and Scheduling: A Survey , In: Annals of Dis. Math. 5 (1979), 169-231. (Download: http://www.math.ucsd.edu/ fan/ron/papers/papers.html )

33

GRÜSSER, O-J, Zeit und Gehirn. Zeitliche Aspekte der Signalverarbeitung in den Sinnesorganen und im Zentralnervensystem, In: Carl-Friedrich von Siemens Stiftung (ed.), Die Zeit. Dauer und Augenblick, München-Zürich: Piper Verlag, SS.79-132, 1989, 2.Aufl. 1990

34

Herrmann, Debra S., : Software Safety and Reliability, IEEE Computer Society Press, Los Alamitos, CA, 1999

35

Hoffmann, J. Das Aktive Gedächtnis. Psychologische Experimente und Theorien zur menschlichen Gedächtnistätigkeit, Berlin: VEB Deutscher Verlag der Wissenschaften, 1982.

36

Hohmuth, M. : The Fiasco kernel: Requirements definition, 1998

37

Hohmuth, M. : Linux-Emulation auf einem Mikrokern, Diploma Thesis, TU Dresden, August 1996.

38

HOPCROFT, H.L.; ULLMAN, J.D. Introduction to Automata Theory, Languages, and Computation, Reading (MA): Addison-Wesley Publ.Company, 1979

39

Jacobson, Eric: Einführung in die Prozeßdatenverarbeitung, München, Hanser 1996

40

Jakoby, Walter : Automatisierungstechnik. Algorithmen und Programme, Berlin, Springer 1996

41

Jüttner, C. Gedächtnis, München - Basel: Ernst Reinhardt Verlag, 1979

42

Kaiser, R.; Wagner, St., : Evolution of the PikeOS Microkernel, In: Kuz, I.; Petters, M. (eds.) : MIKES 2007. First International Workshop on Microkernels for Embedded Systems, National ICT Australia, 223 Anzac Parade, Kensington NSW 2052 Australia, Technical Report, January 2007, ISSN 1833-9646 2007, pp.48-57

43

Kaiser, R.; Fuchsen, R., : Verfahren zur Verteilung von Rechenzeit in einem Rechnersystem, German patent DE102004054571A1, November 2004.

44

KLEIN, M.G.; RALYA, Th.; POLLAK, B.; OBENZA, R.; HARBOUR, M.G. : A Practitioner's Handbook for Real-Time Analysis, Boston - Dordrecht - London: Kluwer Academic Publishers, 1993

45

Kintsch, W. Gedächtnis und Kognition, (Transl. into German by Albert., A.). Berlin - Heidelberg - New York: Springer-Verlag, 1982 (English Version: 1977, 2nd. ed., Memory and Cognition. New York: John Wiley & Sons, Inc.)

46

Klix, F. Information und Verhalten. Kybernetische Aspekte der organismischen Informationsverarbeitung. Einführung in naturwissenschaftliche Grundlagen der Allgemeinen Psychologie, Berlin: VEB Deutscher Verlag der Wissenschaften, 1980

47

KNIGHT, R.D.; GRABOWECKY, M. Escape from linear Time: Prefrontal Cortex and Conscious Experience, in: M.S.GAZZANIGA (Editor-in-Chief), The Cognitive Neurosciences, Cambridge (MA): MIT Press, pp.1357 - 1371, 1995, 4.th.ed. 1997

48

KOLB, B; WHISLAW, I.Q. Neuropsychologie, Heidelberg: Spektrum Akademischer Verlag, 1993

49

KOPETZ, H.; : Real-Time Systems. Design Principles for Distributed Embedded Applications, Boston - Dordrecht - London: Kluwer Academic Publishers, 1997, 5th ed. 2001.

50

Küppers, B.O. Der Ursprung biologischer Information. Zur Naturphiloosphie der Lebensentstehung, München - Zürich: Piper, 1990

51

Laplante, P.A.; REAL-TIME SYSTEMS DESIGN AND ANALYSIS, Wiley-IEEE Press, 3rd ed., 2004, ISBN-10: 0471228559, ISBN-13: 978-0471228554

52

Leveson, N. G., : Safeware. System Safety and Computers, Addison Wesley, Boston, MA, 1995

60

Linux/RK: http://www.cs.cmu.edu/~rtmach/

61

Liu,C. L.; Layland, J.; : Scheduling algorithms for multiprogramming in a hard real-time environment, Journal of the ACM, 20(1), 1973, pp. 46-61.

62

Liu, J.W.L. Real-Time Systems, Upper Saddle River (NJ, USA): Prentice Hall

56

Lutz, Robyn R., : Software Engineering for Safety. A Roadmap. In : The Future of Software Engineering, Anthony Finkelstein (Ed.), ACM Press 2000

57

Lehoczky, J.; Sha, L.; Ding, Y. : The rate monotonic scheduling algorithm: exact characterization and average case behavior, Real Time Systems Symposium, 1989., Proceedings, Date: 5-7 Dec 1989, Pages: 166 - 171

58

Leuung, J.; Whitehead, J.W. On the complexity of fixed priority scheduling of periodic real-time tasks, In: Performance Evaluation, 2(4), 1982.

59

Lerch, V.; : Visual FCL-Editor , http://pes.inm.de/peswiki/PesVisualEditor

60

Linux/RK: http://www.cs.cmu.edu/~rtmach/

61

Liu,C. L.; Layland, J.; : Scheduling algorithms for multiprogramming in a hard real-time environment, Journal of the ACM, 20(1), 1973, pp. 46-61.

62

Liu, J.W.L. Real-Time Systems, Upper Saddle River (NJ, USA): Prentice Hall

63

Marchand, A.; Chetto, M. Dynamic scheduling of periodic skippable tasks in an overloaded real-time system, In: IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2008, Date: March 31 2008-April 4 2008, 456 - 464, 2008

64

MaRTE OS : http://marte.unican.es/

65

Martineau, P.; Silly, M. Scheduling in a hard real-time system with shared resources, In: Proceedings., Sixth Euromicro Workshop on Real-Time Systems, 1994, Date: 15-17 Jun 1994, 234 - 239, 1994

66

Mittelstrass, J. (Ed.) Enzyklopädie Philosophie und Wissenschaftstheorie, Bd.4, Stichwort 'Zeit'; Stuttgart - Weimar: Verlag J.B.Metzler, 1996

67

MOLL, R.M; ARBIB, M.A.; KFOURY, A.J.; PUSTEJOVSKY, J. An Introduction to Formal Language Theory, Berlin - New York: Springer Verlag, 1988

68

Motsch, Walter: Prozeßrechnerstrukturen, Braunschweig, Vieweg 1995

69

Oikawa, S.; Rajkumar, R. Linux/RK: A Portable Resource Kernel in Linux, In IEEE Real-Time Systems Symposium Work-In-Progress, Madrid, December 1998.

70

OKSIMO (Open Knowledge SImulation MOdeling) : An open source tool allowing visual editing of models and testing these models directly in a simulator. In: http://www.oksimo.org

71

OMG-SysML, OMG SysML Specification v. 1.0 (Final Adopted Specification) [May 2006]. http://www.omg.org/cgi-bin/doc?ptc/06-05-04 (Last visited March 21, 2007)

72

OMG MDA MDA Guide Version 1.0.1 Document Number: omg/2003-06-01 Date: 12th June 2003 http://www.omg.org/docs

73

Sysgo : PikeOS RTOS is a powerful and efficient paravirtualization real-time operating system (RTOS) based on a separation microkernel. It supports multiple additional operating systems (OSs) and runtime environments (RTEs), such as Linux, ARINC 653 and POSIX, together with their associated applications. All OSs and RTEs run concurrently and cooperatively in their own partitions. The PikeOS RTOS partitioning system, in conjunction with its internal protection mechanisms, provides the highest available level of safety and security: http://www.sysgo.com/products/pikeos-rtos-technology/

74

OMG : UML, http://www.omg.org/

75

The Open Group, : The Single UNIX Specification, Version 3: The 2004 edition incorporates Technical Corrigendum Number 1 and Technical Corrigendum 2 addressing problems discovered since the approval of the 2001 edition. These are mainly due to resolving integration issues raised by the merger of the Base documents. This standard defines a standard operating system interface and environment, including a command interpreter -or shell-, and common utility programs to support applications portability at the source code level. This standard is the single common revision to IEEE Std 1003.11996, IEEE Std 1003.21992, and the Base Specifications of The Open Group Single UNIX Specification, Version 2. This standard is intended to be used by both applications developers and system implementors. It comprises four major components -each in an associated volume-. IN: http://www.unix.org/online.html

76

OSADL : The Open Source Automation Development Lab aims to be the center of gravity for the development of Linux and related Open Source projects with a focus on the demands of the automation industry. OSADL connects users, equipment manufactures and Open Source service providers to achieve synergies and partnerships in the spirit of the Open Source movement. Furthermore provides OSADL ready to use packages for evaluation and a marketplace for manufacturers and service providers. The OSADL test lab will provide certification services for hardware and software manufacturers and a test and verification facility for Open Source developers. In: http://www.osadl.org/

77

Profos; Pfeifer: Grundlagen der Meßtechnik, München, Oldenbourg 1997

78

Riepe, M. Zeitmessung unter Unix/Linux und Windows. Sweetheart, what watch?, in: iX 3/2004, Hannover:Heisse Zeitschriften-Verlag, SS.102-105, 2004

79

QNX Software Systems: QNX Neutrino realtime operating system (RTOS): http://www.qnx.com/products/neutrino_rtos/

80

Robinson, A. Das Abenteur der Vermessung. Vom Urmeter zum IQ, Hamburg: National Geographic Deutschland, 2007 (engl. Originaltitel: The Story of Measurement, London: Thames & Hudson Ltd., 2007)

81

Jürgen Reichardt; Bernd Schwarz VHDL-Synthese. Entwurf digitaler Schaltungen und Systeme, München. Oldenbourg Wissenschaftsverlag, 4.Aufl., 2007

82

Rostedt S. RT-mutex subsystem with PI support, URL: http://www.mjmwired.net/kernel/Documentation/rt-mutex.txt, Contact: rostedt[AT]goodmis.org

83

Rostedt S. RT-mutex implementation design, URL: http://www.mjmwired.net/kernel/Documentation/rt-mutex-design.txt, Contact: rostedt[AT]goodmis.org

84

Rostedt S. Lightweight PI-futexes, URL: http://www.mjmwired.net/kernel/Documentation/pi-futex.txt, Contact: rostedt[AT]goodmis.org

85

Rostedt S.; Hart, D.V., Internals of the RT-Patch, Proceedings of the Linux-Symposium, June 27th-30th, 2007, Ottawa, Ontario (Canada),pp161-172, URL: http://ols.108.redhat.com/2007/Reprints/

86

Rozenberg, R., & Salomaa, A. (Eds.). (1997). Handbook of Formal Languages. Vol. 1-3. Berlin - Heidelberg - New York et al: Springer

87

RTAI (real Time Application Interface : The Home of the RTAI-project. In: https://www.rtai.org/ (F"ur Beispiele mit Linux und RTAI unter Benutzung der ELinOS-SW der Sysgo AG siehe: http://www.uffmm.org/science-technology/single/ themes/computer-science/personal-sites/ doeben-henisch/I-RT05/VL/VL10/i-rt05-vl10.html )

88

RTCA : Software Considerations in Airborne Systems and Equipment Certification. Guideline DO-178A, Radio Technical Commission for Aeronautics, One McPherson Square, 1425 K Street N.W., Suite 500, Washington DC 20005, USA, March 1985.

89

RTEMS (Real-Time Operating System for Multiprocessor Systems), : The home of the RTEMS-project. In: http://www.rtems.com/

90

http://www.rtlinuxfree.com/ sowie http://www.windriver.com/products/linux/

91

Saez, S.; Vila, J.; Crespo, A. On accepting aperiodic transactions in distributed systems, In: Proceedings. Seventh International Conference on Real-Time Computing Systems and Applications, Date: 2000, 145 - 149, 2000.

92

SCHMIDT, R.F.; THEWS, G. Physiologie des Menschen, Berlin-Heidelberg et.al: Springer Verlag, 1995, 26th ed.

93

S.Ha.R.K.: Soft Hard Real-Time Kernel: http://skar.sssup.it

94

SHEPHERD, G.M. Neurobiology, New York - Oxford: Oxford University Press, 1994, 3.rev.ed.

95

Silly, M.; Chetto, H.; Elyounsi, N. An optimal algorithm for guaranteeing sporadic tasks in hard real-time systems, In: Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, Date: 9-13 Dec 1990, 578 - 585, 1990

96

Storch, V.; Welsch, U.; Wink, M. (Eds.)Evolutionsbiologie, Berlin - Heidelberg: Springer, 2nd. rev.ed., 2007

97

Schiffmann; Schmitz: Technische Informatik Bd. 1 und 2, Berlin, Springer 2001

98

Schnieder, Eckhard: Prozeßinformatik, Braunschweig, Vieweg 1993

99

Schwebel, R., : Next Generation Hard Realtime on POSIX based Linux, in: Embedded Control Europe, Ausgabe Juli 2006 (siehe auch: http://www.schwebel.de/authoring/)

100

Schwebel, R., : PTXdist Proposal - Ein Vorschlag f"ur ein hochentwickeltes Linux-Userland Build-System, http://www.schwebel.de/authoring/

101

Scilab : Scilab Math and Simulation Package, see:
http://www.scilab.org/download/index_download.php

102

Sha, L.; Rajkumar, R.; Lehoczky, J.P. : Priority inheritance protocols: an approach to real-time synchronization, IEEE Transactions on Computers, Volume 39, Issue 9, Date: Sep 1990, Pages: 1175 - 1185

103

Carl Friedrich v.Siemens Stiftung Die Zeit. Dauer und Augenblick, München-Zürich: Piper Verlag, 1989

104

Storey, N., : Safety-Critical Computer Systems, London, New York et al: Prentice Hall (Pearson Education), 1996

105

SPRING-RTS: http://www-ccs.cs.umass.edu/rts/spring.html

106

OMG : Systems Specification Language, http://www.omgsysml.org/, and: http://www.omg.org/docs/ptc/06-05-04.pdf

107

TIMESYS Company, : The TimeSys Company supports a service for the Linux Real Time Kernel. In: http://www.timesys.com/processor/intel.htm

108

Tuch,H.;Klein,G.; Heiser, G., : Os verification - now!, In Seltzer,M. (ed), : Proc. 10th Workshop on Hot Topics in Operating Systems, (HotOS X), 2005.

109

Weyl, H. Raum - Zeit - Materie. Vorlesungen über allgemeine Relativitätstheorie, Berlin - Heidelberg et al.: Springer-Verlag, 1923 (6.unv.Aufl. 1970)

110

Wikipedia : Rate-monotonic scheduling, http://en.wikipedia.org/wiki/Rate-monotonic_scheduling

111

Williams, R. : Real-Time Systems Development, Butterworth-Heinemann, 2006 (468 pages), ISBN:9780750664714

112

WHITROW, G.J. The Natural Philosophy of Time, Oxford: Clarendon Press, 1980 2nd ed., repr. 1990

113

XENOMAI, : The Home of the XENOMAI Project. In:
http://www.xenomai.org/index.php/Main_Page

114

Zee, A. Fearful Symmetry. the search for beauty in modern physics., Princeton - Oxford: Princeton University Press, 1986 (repr. 2007)

115

Zöbel, D. Echtzeitsysteme. Grundlagen der Planung, Berlin-Heidelberg: Springer-Verlag, 2008