htw saar
Back to Main Page

Choose Module Version:


Formal Methods in Telecommunications

Module name (EN): Formal Methods in Telecommunications
Degree programme: Computer Science and Communication Systems, Master, ASPO 01.04.2016
Module code: KI715
Hours per semester week / Teaching method: 2V+2U (4 hours per week)
ECTS credits: 5
Semester: 1
Mandatory course: yes
Language of instruction:
Written examination
Curricular relevance:
E1983 Electrical Engineering and Information Technology, Master, ASPO 01.04.2019, optional course, technical, course inactive since 08.10.2019
E1983 Electrical Engineering, Master, ASPO 01.10.2013, optional course, technical
KI715 Computer Science and Communication Systems, Master, ASPO 01.04.2016, semester 1, mandatory course
PIM-WN15 Applied Informatics, Master, ASPO 01.10.2011, semester 1, optional course, not informatics specific
60 class hours (= 45 clock hours) over a 15-week period.
The total student study time is 150 hours (equivalent to 5 ECTS credits).
There are therefore 105 hours available for class preparation and follow-up work and exam preparation.
Recommended prerequisites (modules):
Recommended as prerequisite for:
KI820 Software Development for Communication Networks

[updated 01.04.2003]
Module coordinator:
Prof. Dr. Reinhard Brocks
Prof. Dr. Reinhard Brocks

[updated 01.04.2003]
Learning outcomes:
Students will acquire an understanding of how communication protocols function. They will be able to specify services and protocols using formal descriptive languages and will be able to deploy protocol development tools.

[updated 08.05.2008]
Module content:
The principles of communication protocols, communication instances and how they function
Message Sequence Charts (MSCs):
        -        Basic language constructs (Frame, Instance, Message, Condition, Action, Timer, Create)
        -        Structural language constructs (Coregion, Decomposition, References, Inline expressions, High-level MSC)
Specification and Description Language (SDL):
        -        Agents
        -        Process specification
        -        Transmitting and receiving signals
        -        Timers
        -        Procedures
Abstract Syntax Notation One (ASN.1):
-        Abstract, concrete and transfer syntax
-        Presentation context
-        Object identifiers
-        Module structure
-        Simple and compound types
-        Tagging
-        BER encoding rules
Testing and Test Control Notation (TTCN-3):
-        Protocol development
-        Protocol testing

[updated 08.05.2008]
Recommended or required reading:
-        König, Hartmut: Protocol Engineering, Teubner 2003, ISBN 3-519-00454-2
Specialist literature
-        Dubuisson, Olivier: ASN.1, Communication between heterogeneous systems, Morgan Kaufmann, 2001, ISBN 0-12-633361-0,
-        Ellsberger, Hogrefe, Sarmen: SDL: Formal Object-Oriented Language for Communicating Systems, 1997
-        Mitschele-Thiel: Systems Engineering with SDL, John Wiley & Sons, 2001
-        ITU-T Recommendation Z.120 : Message Sequence Charts (MSC), 2004
-        ITU-T Recommendation Z.100: Specification and Description Language SDL, 2002
-        ITU-T Recommendation Z.140: Testing and test control notation version 3 (TTCN-3): Core language, 2003
Lecture notes
-        Brocks, R.: Lecture notes
- : International Telecommunication Union
- : ASN.1 Information Site
- : SDL-Forum Society
- : International Engineering Consortium
- : OSS Nokalva

[updated 08.05.2008]
Module offered in:
WS 2016/17, WS 2015/16, WS 2014/15, WS 2013/14, WS 2012/13, ...
[Thu Jul  9 04:35:49 CEST 2020, CKEY=fmtk, BKEY=kim, CID=KI715, LANGUAGE=en, DATE=09.07.2020]