htw saar Piktogramm QR-encoded URL
Back to Main Page Choose Module Version:
emphasize objectives XML-Code

flag

Formal Methods in Telecommunications

Module name (EN):
Name of module in study programme. It should be precise and clear.
Formal Methods in Telecommunications
Degree programme:
Study Programme with validity of corresponding study regulations containing this module.
Electrical Engineering, Master, ASPO 01.10.2005
Module code: E929
Hours per semester week / Teaching method:
The count of hours per week is a combination of lecture (V for German Vorlesung), exercise (U for Übung), practice (P) oder project (PA). For example a course of the form 2V+2U has 2 hours of lecture and 2 hours of exercise per week.
2V+2P (4 hours per week)
ECTS credits:
European Credit Transfer System. Points for successful completion of a course. Each ECTS point represents a workload of 30 hours.
5
Semester: 9
Mandatory course: no
Language of instruction:
German
Assessment:
Written examination

[updated 13.03.2010]
Applicability / Curricular relevance:
All study programs (with year of the version of study regulations) containing the course.

E929 Electrical Engineering, Master, ASPO 01.10.2005 , semester 9, optional course
Workload:
Workload of student for successfully completing the course. Each ECTS credit represents 30 working hours. These are the combined effort of face-to-face time, post-processing the subject of the lecture, exercises and preparation for the exam.

The total workload is distributed on the semester (01.04.-30.09. during the summer term, 01.10.-31.03. during the winter term).
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):
None.
Recommended as prerequisite for:
Module coordinator:
Prof. Dr. Reinhard Brocks
Lecturer:
Prof. Dr. Reinhard Brocks


[updated 13.03.2010]
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 13.03.2010]
Module content:
- The principles of communication protocols, communication instances and how they
  function
- Abstract Syntax Notation One (ASN.1): Abstract, concrete and transfer syntax,  
  presentation context, OBJECT IDENTIFIER, module structure, simple and compound  
  types, tagging, BER encoding rules
- Specification and Description Language (SDL): Agents, process specifications,  
  sending and receiving signals, timers, procedures
- Message Sequence Chart (MSC): Basic language constructs (Frame, Instance,  
  Message, Condition, Action, Timer, Create), structural language constructs  
  (Coregion, Decomposition, References, Inline expressions, High-level MSC)
- Tree and Tabular Combined Notation (TTCN-3): Protocol development, protocol  
  testing

[updated 13.03.2010]
Teaching methods/Media:
Lecture notes, tools that use formal description languages

[updated 13.03.2010]
Recommended or required reading:
Textbooks
König, Hartmut: Protocol Engineering, Teubner 2003, ISBN 3-519-00454-2
 
Specialist literature
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
 
Specifications
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
 
Websites
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/

[updated 13.03.2010]
 
[Wed May  8 18:05:15 CEST 2024, CKEY=efmdt, BKEY=em, CID=E929, LANGUAGE=en, DATE=08.05.2024]