Course content

The course is about formal methods and systems engineering methodology for developing distributed 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.
- Methodology for systems engineering.
- Verification and validation.
- Model driven development.

Learning outcome

A. Knowledge:
1) Deep understanding of the languages of UML, MSC and SDL.
2) Basic understanding of methodology for engineering distributed real-time systems.
3) Basic understanding of process algebra and CCS.
4) Understanding of techniques and principles to ensure quality and correctness.
5) Extensive knowledge about one tool at least.

B. Skills:
1) Be able to specify, analyse and implement systems.
2) Being able to effectively use at least one tool.
3) Be able to apply techniques to find, remove and avoid errors.

Learning methods and activities

Lectures and exercises. One term assignment, where the students specify a telematic system using UML and MSC and implement the system using automatic code generation to Java. The course will be held in English if international students attend. Portfolio assessment is the basis for the grade in the course. The portfolio includes a written final exam (75%) and a midterm assignment (25%). The results for the parts are given in %-scores, while the entire portfolio is assigned a letter grade. If there is a re-sit examination, the examination form may be changed from written to oral.

Recommended previous knowledge

TDT4100 Object-Oriented Programming, TDT4140 Software Engineering, TTM4100 Communication - Services and Networks, or equivalent.

Course materials

To be announced.

Credit reductions