htw saar Piktogramm QR-encoded URL
Zurück zur Hauptseite Version des Moduls auswählen:
Lernziele hervorheben XML-Code

Formale Methoden der TK

Modulbezeichnung:
Bezeichnung des Moduls innerhalb des Studiengangs. Sie soll eine präzise und verständliche Überschrift des Modulinhalts darstellen.
Formale Methoden der TK
Modulbezeichnung (engl.): Formal Telecommunication Methods
Studiengang:
Studiengang mit Beginn der Gültigkeit der betreffenden ASPO-Anlage/Studienordnung des Studiengangs, in dem dieses Modul zum Studienprogramm gehört (=Start der ersten Erstsemester-Kohorte, die nach dieser Ordnung studiert).
Kommunikationsinformatik, Master, ASPO 01.04.2016
Code: KI715
SAP-Submodul-Nr.:
Die Prüfungsverwaltung mittels SAP-SLCM vergibt für jede Prüfungsart in einem Modul eine SAP-Submodul-Nr (= P-Nummer). Gleiche Module in unterschiedlichen Studiengängen haben bei gleicher Prüfungsart die gleiche SAP-Submodul-Nr..
P222-0052
SWS/Lehrform:
Die Anzahl der Semesterwochenstunden (SWS) wird als Zusammensetzung von Vorlesungsstunden (V), Übungsstunden (U), Praktikumsstunden (P) oder Projektarbeitsstunden (PA) angegeben. Beispielsweise besteht eine Veranstaltung der Form 2V+2U aus 2 Vorlesungsstunden und 2 Übungsstunden pro Woche.
2V+2U (4 Semesterwochenstunden)
ECTS-Punkte:
Die Anzahl der Punkte nach ECTS (Leistungspunkte, Kreditpunkte), die dem Studierenden bei erfolgreicher Ableistung des Moduls gutgeschrieben werden. Die ECTS-Punkte entscheiden über die Gewichtung des Fachs bei der Berechnung der Durchschnittsnote im Abschlusszeugnis. Jedem ECTS-Punkt entsprechen 30 studentische Arbeitsstunden (Anwesenheit, Vor- und Nachbereitung, Prüfungsvorbereitung, ggfs. Zeit zur Bearbeitung eines Projekts), verteilt über die gesamte Zeit des Semesters (26 Wochen).
5
Studiensemester: 1
Pflichtfach: ja
Arbeitssprache:
Deutsch
Prüfungsart:
Klausur

[letzte Änderung 16.07.2008]
Verwendbarkeit / Zuordnung zum Curriculum:
Alle Studienprogramme, die das Modul enthalten mit Jahresangabe der entsprechenden Studienordnung / ASPO-Anlage.

E1983 Elektro- und Informationstechnik, Master, ASPO 01.04.2019 , Wahlpflichtfach, technisch, Modul inaktiv seit 08.10.2019
E1983 Elektrotechnik, Master, ASPO 01.10.2013 , Wahlpflichtfach, technisch
KI715 (P222-0052) Kommunikationsinformatik, Master, ASPO 01.04.2016 , 1. Semester, Pflichtfach
PIM-WN15 Praktische Informatik, Master, ASPO 01.10.2011 , 1. Semester, Wahlpflichtfach, nicht informatikspezifisch
Arbeitsaufwand:
Der Arbeitsaufwand des Studierenden, der für das erfolgreiche Absolvieren eines Moduls notwendig ist, ergibt sich aus den ECTS-Punkten. Jeder ECTS-Punkt steht in der Regel für 30 Arbeitsstunden. Die Arbeitsstunden umfassen Präsenzzeit (in den Vorlesungswochen), Vor- und Nachbereitung der Vorlesung, ggfs. Abfassung einer Projektarbeit und die Vorbereitung auf die Prüfung.

Die ECTS beziehen sich auf die gesamte formale Semesterdauer (01.04.-30.09. im Sommersemester, 01.10.-31.03. im Wintersemester).
Die Präsenzzeit dieses Moduls umfasst bei 15 Semesterwochen 60 Veranstaltungsstunden (= 45 Zeitstunden). Der Gesamtumfang des Moduls beträgt bei 5 Creditpoints 150 Stunden (30 Std/ECTS). Daher stehen für die Vor- und Nachbereitung der Veranstaltung zusammen mit der Prüfungsvorbereitung 105 Stunden zur Verfügung.
Empfohlene Voraussetzungen (Module):
Keine.
Als Vorkenntnis empfohlen für Module:
KI820 Software-Entwicklung für Kommunikationsnetze


[letzte Änderung 01.04.2003]
Modulverantwortung:
Prof. Dr. Reinhard Brocks
Dozent/innen:
Prof. Dr. Reinhard Brocks


[letzte Änderung 01.04.2003]
Lernziele:
Der Student kann (Tele-)Kommunikationssysteme planen, formal beschreiben und Tests für solche Systeme erstellen.
Er kennt die prinzipielle Funktionsweise von Kommunikationsprotokollen. Er kann Dienste und Protokolle mit formalen Beschreibungssprachen spezifizieren und Werkzeuge der Protokollentwicklung benutzen.

[letzte Änderung 20.10.2014]
Inhalt:
Formale und graphische Beschreibungstechniken von (Tele-)Kommunikationssystemen
 
- Serialisierungstechniken insb. Abstract Syntax Notation One (ASN.1)
- Spezifikation von Nachrichtenflüssen - Message Sequence Chart (MSC)
- Spezifikation von Systemverhalten - Specification and Description Language (SDL)
- Testen von Kommunikationssystemen - Testing and Test Control Notation (TTCN-3)
- Anforderungsspezifikation - User Requirements Notation (URN)


[letzte Änderung 20.10.2014]
Literatur:
Lehrbücher
- König, Hartmut: Protocol Engineering, Springer 2012, ISBN 3642291449
 
Fachliteratur
- Dubuisson, Olivier: ASN.1, Communication between heterogenous Systems, Morgan Kaufmann, 2001, ISBN 0-12-633361-0, http://asn1.elibel.tm.fr/en/book/
 
Spezifikationen
- ITU-T Recommendation Z.120: Message Sequence Chart (MSC), 02/2011
- ITU-T Recommendation Z.101: Specification and Description Language - Basic SDL-2010, 12/2011
- ITU-T Recommendation Z.161: Testing and Test Control Notation version 3: TTCN-3 core language, 07/2013
- ITU-T Recommendation Z.150: User Requirements Notation (URN) – Language requirements and Framework, 02/2011
- ITU-T Recommendation X.680: Information technology – Abstract Syntax Notation One (ASN.1): Specification of basic notation, 11/2008
 
 


[letzte Änderung 20.10.2014]
Modul angeboten in Semester:
WS 2016/17, WS 2015/16, WS 2014/15, WS 2013/14, WS 2012/13, ... 
[Sun Dec 22 21:06:25 CET 2024, CKEY=fmtk, BKEY=kim, CID=KI715, LANGUAGE=de, DATE=22.12.2024]