KIS Entry

Dates and Locations
Wednesdays, 10:00-11:30, 46-220
Begin: 22.04.2015
14 Lectures

Lecturer
Prof. Dr.-Ing. Reinhard Gotzhein

Other involved persons
Dennis Christmann (M. Sc.): Exercises

Further Information
Presence hours: 2C+1R
Number of ECTS Credits: 4
Language: english
Module ID: 89-4131

Content

protocol specification (FSA, Mealy-machines, SDL)
collaboration specification (UML, MSC)
reachability analysis (principle, reachability graph, error types, reduced reachability analysis)
protocol testing (principle, error types, test methods)
protocol synthesis (principle, synthesis approaches)
SDL pattern approach (process model, SDL patterns, case study, assessment)
Micro protocol approach (process model, examples)
self-stabilizing protocols (definition, examples, properties, verification)

Inhalt

Protokollspezifikation (EA, Mealy-Maschinen, SDL)
Kollaborationsspezifikation (UML, MSC)
Erreichbarkeitsanalyse (Prinzip, Erreichbarkeitsgraph, Fehlertypen, reduzierte Erreichbarkeitsanalyse)
Protokolltesten (Prinzip, Fehlertypen, Testverfahren)
Protokollsynthese (Prinzip, Syntheseverfahren)
SDL-Pattern-Ansatz (Prozessmodell, SDL-Patterns, Fallstudie, Bewertung)
Mikroprotokollansatz (Prozessmodell, Beispiele)
Selbststabilisierende Protokolle (Definition, Beispiele, Eigenschaften, Korrektheitsnachweis)

Literature

J. E. Hopcroft, J. D. Ullman: Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie, Addison-Wesley, 1988
Z. Kohavi: Switching and Finite Automata Theory, McGraw Hill, USA, 1978
G. v. Bochmann: Finite State Description of Communication Protocols, Computer Networks 2, 4/5, 1978, pp. 361-372
B. S. Bosik, U. Uyar: Finite State Machine Based Formal Methods in Protocol Conformance Testing: from Theory to Implementation, Computer Networks and ISDN Systems 22 (1991), pp. 7-33
M. G. Gouda, Y. Yu: Synthesis of Communicating Finite-State Machines with Guaranteed Progress, IEEE Transactions on Communications, Vol. COM-32, No. 7, 1984, pp. 779-788
J. Ellsberger, D. Hogrefe, A. Sarma: SDL - Formal Object-Oriented Language for Communicating Systems, Prentice Hall, 1997
R. Gotzhein: Consolidating and Applying the SDL-Pattern-Approach: A Detailed Case Study, Information and Software Technology, Special Issue on Communication Software Engineering, Elsevier Sciences, Vol. 45, No. 11, 2003, pp. 727-741
M. G. Gouda, N. J. Multari: Stabilizing Communication Protocols, IEEE Transactions on Computers, Vol. 40, No. 4, 1991, pp. 448-458

Required knowledge

Formal Foundations of Programming (Formale Grundlagen der Programmierung)
Networked Systems (Vernetzte Systeme) or Mobility in Networked Systems (Mobilität in verteilten Systemen)

Final examination:
Oral or written examination

Associated events:
89-4131U Protocol Engineering (Exercise)

	Übergeordnete Seite: Protocol Engineering (SoSe 2015)
	Lecture 89-4131 (INF-41-31-V-6): 2C+1R

	Feedback
	Zu den Kontaktdetails des Verantwortlichen dieser Seite

	English
	This page in english. Diese Seite auf englisch.