Formale Methoden der Telekommunikation
E929
em
2
V
2
P
5
9
nein
Deutsch
Klausur
E929
Elektrotechnik
9
Wahlpflichtfach
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 Stunden/ECTS Punkt). Daher stehen für die Vor- und Nachbereitung der Veranstaltung zusammen mit der Prüfungsvorbereitung 105 Stunden zur Verfügung.
Prof. Dr. Reinhard Brocks
rb
Prof. Dr. Reinhard Brocks
rb
Der Student kennt die Funktionsweise von Kommunikationsprotokollen. Er kann Dienste und Protokolle mit formalen Beschreibungssprachen spezifizieren und Werkzeuge der Protokollentwicklung benutzen.
- Prinzip der Kommunikationsprotokolle, Arbeitsweise von Kommunikationsinstanzen
- Abstract Syntax Notation One (ASN.1): Abstrakte-, Konkrete- und Transfersyntax,
Presentation Context, OBJECT IDENTIFIER, Modulstruktur, einfache und
zusammengesetzte Typen, tagging, BER encoding rules
- Specification and Description Language (SDL): Agenten, Prozessspezifikation,
Senden und Empfangen von Signalen, Timer, Prozeduren
- Message Sequence Chart (MSC): Basissprachkonstrukte (Frame, Instance, Message,
Condition, Action, Timer, Create), Strukturelle Sprachkonstrukte (Coregion,
Decomposition, References, Inline expressions, High-level MSC)
- Tree and Tabular Combined Notation (TTCN-3): Protokollentwicklung, Protokolltest
Skript zur Vorlesung, Tools, die formale Beschreibungssprachen benutzen.
Lehrbücher
- König, Hartmut: Protocol Engineering, Teubner 2003, ISBN 3-519-00454-2
Fachliteratur
- Olivier Dubuisson: ASN.1, Communication between heterogenous Systems,
- Morgan Kaufmann, 2001, ISBN 0-12-633361-0, http://asn1.elibel.tm.fr
/en/book/
- Ellsberger, Hogrefe, Sarmen: SDL: Formal Object-Oriented Language for
Communicating Systems, 1997
- Mitschele-Thiel: Systems Engineering with SDL, John Wiley & Sons, 2001
Spezifikationen
- ITU-T Recommendation Z.120 : Message Sequence Charts (MSC), 1999,
- http://www.itu.int
- ITU-T Recommendation Z.100: Specification and Description Language SDL,
2000 www.itu.int/itudoc/itu-t/approved/z/index.html
Internetseiten
- http://asn1.elibel.tm.fr/ : ASN.1 Information Site
- http://www.sdl-forum.org/ : SDL-Forum Society
- http://www.iec.org/
- http://www.itu.org
- http://www.oss.com/
Fri Mar 29 09:54:28 CET 2024, CKEY=efmdt, BKEY=em, CID=[?], LANGUAGE=de, DATE=29.03.2024