System programming

Learning objectives:
Fundamentals of system program development, evaluation criteria of system software components, models of system software development, inter-process communication, process synchronization, system commands, application of system commands.       
 
Contents:
System software development, system commands, evaluation criteria

Prior knowledge:
Operating systems, basics of C programming, basics of mathematics

Course number: FB16-6605  

Place and time:
Tuesdays, 08:30 am - 10:00 am, Room -1418

Start: 17.04.2018

Lecturer:

Moodle course:
You can find the Moodle course for the event here. The access password will be announced in the first lecture.

Scope:
3 SWS or 5 CP 

Time and place:
Mon, 10:00 to 14:00
Room: -1201

Start: First date will be announced in the lecture.

Exercise supervisor:

Exercise sheets:

Contact:
Email to the secretary's office

General  Literature: 

Achilles, A.: Betriebssysteme: eine kompakte Einführung mit Linux, Springer Verlag, 2006

Amme, W.: Implementierung und Evaluierung verschiedener Speicherverwaltungsstrategien in einem UNIX-ähnlichen Lehrbetriebssystem, Tectum-Verlag, 1995

Andleigh, P. K.: Unix System Architecture, Prentice Hall, 1989

Bach, M. J.: UNIX -- Wie funktioniert das Betriebssystem?, Hanser, 1991

Balzert, H.: Lehrbuch der Software- Technik 1/2, Spektrum Akademischer Verlag, 2000

Beck M., Böhme, H., Dziadzka, M.: Linux- Kernel- Programmierung. Algorithmen und Strukturen der Version 2.0, Addison-Wesley, 1997
UNIX-Werkzeuge "lex" und "yacc", Diplomarbeit, FH Hamburg, FB E/I, 1997

Bock, W.: Shellprogrammierung, bhv Buch Verlag, 2006

Boehm B. W.: Software Engineering Economics, Prentice-Hall, 1981 Boich, G.: Echtzeitbetriebsysteme, Universität Erlangen-Nürnberg, Informatik, 2002

Booch, G., Rumbaugh, J., Jacobson, I.: Das UML-Benutzerhandbuch, Addison-Wesley, 1999

Brecht, W.: Einführung in UNIX : ein Lehr- und Arbeitsbuch für Studium und Praxis, Vieweg, 1996

Burmeister, A.: Der Einstieg in UNIX, Hanser Verlag, 2000

Buschlinger, E.: UNIX für Software-Entwickler : Konzepte, Werkzeuge und Ideen, Teubner, 1993

Carre B. A., Jennings T. J., Maclennan F. J., Farrow P. F., Garnsworthy, J. R.: SPARK - The SPADE Ada Kernel, 3rd Edition,
Validation Limited, 1990

Christian, K.: C. and UNIX Dictionary: From Absolute Pathname to Zombie, John Wiley & Sons Inc., 1988

Crowley, C.: Operating Systems, Richard D. Irwin, 1997

Cullyer W. J., Goodenough S. J., Wichmann, B. A.: The choice of computer language for use in safety-critical systems, Software Engineering Journal, Vol. 6, No. 2, March 1991

Dijkstra, Edsger W.: Cooperating Sequential Processes, Report EWD Tech. Univ. Eindhoven 1965

Dümbgen, L.: Stochastik für Informatiker, Springer Verlag,2003

Egan, J. I.: Writing a UNIX device driver, Wiley, 1992

Ehrenberger, W.: Softwareverifikation - Verfahren für den Zuverlässigkeitsnachweis von Software, Hanser Verlag, 2002

Ehses, E. et. Al.: Betriebssysteme : ein Lehrbuch mit Übungen zur Systemprogrammierung in UNIX/Linux, Pearson Studium, 2005

Gräfe, M.: C und Linux: die Möglichkeiten des Betriebssystems mit eigenen Programmen nutzen, Hanser Verlag, 2003

Griffith, A.: GCC. The Complete Reference, Osborne McGraw-Hill, 2002

Haviland, K.: UNIX system programming : a programmer's guide to software development, Addison-Wesley, 1999

Herold, H.: Linux-Unix-Systemprogrammierung, Addison-Wesley, 2003

Heuer, K.: Programmentwicklung unter UNIX, Addison-Wesley, 1994

Horn, T.: Systemprogrammierung unter UNIX, Addison-Wesley, 1994

Linda L., Robbins A.: Learning the vi Editor, O'Reilly, 1998

Mauerer, W.: Linux Kernelarchitektur, Hanser Verlag, 2004

Negus, C.: Linux Bible, John Wiley & Sons, 2005

O'Dowd, D. / Kleidermacher, D.: Wenn 99,999 Prozent nicht reichen Elektronik 7, 2002, p. 78 - 81

Quade J., Kunst E.: Linux-Treiber entwickeln. dpunkt-Verlag 2004

Rubini A., Corbet J.: Linux-Gerätetreiber. O'Reilly, 2002

Robbins, K. A.: Practical UNIX programming : a guide to concurrency, communication, and multithreading, Prentice Hall, 1996

Rochkind, M.J. : Advanced UNIX Programming, Prentice-Hall Inc., Englewood Cliffs, New Jersey, ISBN 0-73-011818-4, 1985

Siever, E.: LINUX in a Nutshell, O'Reilly, 1999

Sommerville, I.: Software Engineering, Addison Wesley, 2004

Stevens, W. R.: UNIX Network Programming, Volume 1, Second Edition: Networking APIs: Sockets and XTI, Prentice Hall, 1998

Stevens, W. R.: UNIX Network Programming, Volume 2, Second Edition: Interprocess Communications, Prentice Hall, 1999

Stevens, W. R.: Advanced programming in the UNIX environment, Addison-Wesley, 2005

Tanenbaum, A. S.: Modern Operating Systems, Prentice Hall, 1992

Tanenbaum, A. S.: Operating systems: design and implementation. Prentice-Hall, 1997

Thaller, G. E.: Verifikation und Validation, Vieweg, 1994

Wolf, J.: Linux-Unix-Programmierung, Galileo Press 2005