Simple and intermediate queuing models are studied and used for the analysis and evaluation of communication networks, such as switches, token ring systems, slotted ring systems and broadband communication networks. This course studies formal techniques and tools to be able to handle the complexity of design and analysis of telematics systems. Both specification methods and validation methods will be addressed. The specification methods are directed towards formal specification languages for the precise and unambiguous definition of telematics systems at different abstraction levels. Validation methods consider the correctness of the design.
Important techniques are simulation, verification and testing.
An essential part of the course is the use of tools for these tasks. This course discusses the Internet management architecture and the associated protocols like SNMPv1, v2 and v3. In addition to these base courses, several advanced courses are planned. This page was last updated at 23 February '99.