Course - Engineering Distributed Real-time Systems - TTM4115
Engineering Distributed Real-time Systems
About
About the course
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
Students shall acquire very good knowledge of UML, MSC and SDL, and be able to specify and implement systems using these languages and corresponding tools. In addition they shall acquire good knowledge of metodology for engineering distributed real-time systems and basic knowledge of ASN.1 og CCS.
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
| Course code | Reduction | From |
|---|---|---|
| SIE5020 | 7.5 sp |
Subject areas
- IKT
- Program/system-utvikling
- Sivilingeniør
- Technological subjects
- Telematics
Contact information
Course coordinator
Department with academic responsibility
Department of Information Security and Communication Technology