This is a course in formal methods and systems engineering methodology for development of real-time systems with emphasis on telematics systems. The main topics are:

• System modelling with emphasis on logical behaviour
• Languages for system modelling UML, MSC, SDL, ProcessAlgebra
• Methods for system modelling
• Methodology for systems engineering

Students will get practical and hands-on experience through exercises and a substantial term assignment where they specify, design and execute a telematics system using UML (and Java).

After taking this course students shall have basic knowledge about systems engineering methodology, and the process algebra CCS. They will have sufficient knowledge and experiences to design and implement reactive systems using the languages MSC, SDL and UML and a supporting toolset.

The grading is based on a portfolio where the term assignment counts 25%, and the written exam counts 75%.

These are the main web pages for the course. It's learning will be used mainly for messages, discussions etc.
go to It's Learning.