Specification of Communication Systems and Networks - Interactive curriculae of TU Ilmenau

The interactive curriculae provide information on the degree programmes offered by the TU Ilmenau.

Please refer to the respective study and examination rules and regulations for the legally binding curricula (Annex Curriculum).

You can find all details on planned lectures and classes in the course catalogue.

Please note that this page is no longer updated. All modules and study plans from PO version 2021 onwards (Bachelor and Master study programs) are now available on the Campus Portal.

module properties Specification of Communication Systems and Networks in degree program Diplom Elektrotechnik und Informationstechnik 2021
module number	200492
examination number	210482
department	Department of Electrical Engineering and Information Technology
ID of group	2115 (Communication Networks)
module leader	Prof. Dr. Jochen Seitz
term	summer term only
language	Deutsch
credit points	5
on-campus program (h)	45
self-study (h)	105
obligation	elective module
exam	examination performance with multiple performances
details of the certificate	Das Modul Spezifikation von Kommunikationssystemen und -netzen mit der Prüfungsnummer 210482 schließt mit folgenden Leistungen ab: mündliche Prüfungsleistung über 30 Minuten mit einer Wichtung von 80% (Prüfungsnummer: 2100821) Studienleistung mit einer Wichtung von 20% (Prüfungsnummer: 2100822) Details zum Abschluss Teilleistung 1: Details zum Abschluss Teilleistung 2: Praktikum: SDL-Programmierung - es muss eine SDL-Spezifikation erstellt und getestet werden. Das Praktikum wird nur im Sommersemester begleitend zur LV angeboten. Die Terminvereinbarung muss bis spätestens Mitte Mai des jeweiligen Jahres im Fachgebiet erfolgen.
link to Moodle course	https://moodle2.tu-ilmenau.de/course/view.php?id=2809
teacher	Prof. Dr. Seitz, Jochen (Vorlesung) Dr.-Ing. Debes, Maik (praktische Übungen)
signup details for alternative examinations
maximum number of participants
previous knowledge and experience	Kommunikationsnetze
learning outcome	Kommunikationsendgeräte und -netze sind aus dem heutigen Leben nicht mehr wegzudenken. Entsprechende Standards ermöglichen es, dass Systeme verschiedener Hersteller miteinander kommunizieren können. Diese Standards müssen aber einheitlich spezifiziert und unmissverständlich niedergeschrieben werden. Hierzu existieren verschiedene Mechanismen und Vorgehensweisen, die in dieser Vorlesung behandelt werden. Die Studierenden sind nach dem Besuch der Vorlesung in der Lage, verschiedene Mechanismen und Vorgehensweisen, die in dieser Vorlesung behandelt wurden, zu analysieren und zu bewerten. Sie können nach Abschluss des Moduls, das durch die Vorlesung begleitende Übungen ergänzt ist, die Grundlagen einer formellen Spezifikation mit endlichen Automaten (englisch "Finite State Machines") erklären und sind vertraut im Umgang mit der Specification and Description Language (SDL), den sie anhand praxisnaher Beispiele im Praktikum gefestigt haben. Darüber hinaus verstehen sie die jeweiligen Vorteile simulativer und analytischer Modellierung von Kommunikationssystemen. Zudem kennen sie die Grundzüge der Unified Modelling Language UML. Schließlich können die Studierenden die Grundlagen der Zuverlässigkeitstheorie zusammenfassen.
content	1. Einleitung 2. UML 3. Spezifikation und Konformität 4. Protokollspezifikation mit endlichen Automaten 5. Abstrakte Syntaxnotation 1 (ASN.1) 6. Einführung in SDL 7. Grundlegende Konstrukte in SDL 8. Strukturierung in SDL 9. Objektorientiertes SDL 10. Analytische Modellierung 11. Zuverlässigkeitsuntersuchungen 12. Simulation von Kommunikationsnetzen
media of instruction and technical requirements for education and examination in case of online participation	PDF-Folien Tafelanschrieb Praktische Übungen am PC Aufgaben für Seminare Kontrollfragen zur Prüfungsvorbereitung
literature / references	[1] G. Bolch, S. Greiner, H. de Meer, and K. S. Trivedi: Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications. Hoboken, New Jersey: John Wiley & Sons, Ltd., 2006. [2] M. Debes, M. Heubach, J. Seitz, and R. Tosse: Digitale Sprach- und Datenkommunikation: Netze - Protokolle - Vermittlung. München, Wien: Fachbuchverlag Leipzig im Carl Hanser Verlag, 2006. [3] L. Doldi: Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis. Chichester, West Sussex: John Wiley & Sons, Ltd., 2003. [4] O. Dubuisson: ASN.1 Communication between Heterogeneous Systems. San Diego, San Francisco, New York: Morgan Kaufmann, 2000. [5] J. Ellsberger, D. Hogrefe, and A. Sarma: SDL: Formal Object-Oriented Language for Communicating Systems, 2nd Edition. Upper Saddle River, New Jersey: Prentice Hall, 1997. [6] M. Guizani, A. Rayes, B. Khan, and A. Al-Fuqaha: Network Modeling and Simulation: A Practical Perspective. Chichester, West Sussex: John Wiley & Sons, Ltd., 2010. [7] U. Hofmann: Modellierung von Kommunikationssystemen. Wien: Manz'sche Verlags- und Universitätsbuchhandlung GmbH, 2000. [8] H. König: Protocol Engineering. Heidelberg, New York, Dordrecht, London: Springer-Verlag GmbH, 2012. [9] A. Mitschele-Thiel: Systems Engineering with SDL: Developing Performance-Critical Communication Systems. Chichester, West Sussex: John Wiley & Sons, Ltd., 2001. [10] C. Rupp and S. Queins: UML 2 glasklar - Praxiswissen für die UML-Modellierung, 4. Auflage. München: Carl Hanser Verlag, 2012. [11] H. J. van Randen, C. Bercker, and J. Fieml: Einführung in UML - Analyse und Entwurf von Software. Wiesbaden: Springer Vieweg, 2016.
evaluation of teaching