Course - Software Design for Distributed Real-Time Systems - TTM4160
Software Design for Distributed Real-Time Systems
About
About the course
Course content
The course discusses the construction of efficient and dependable software solutions for distributed real-time systems in general, and for telematics systems in particular, with the use of formal specifications expressed in the languages UML and SDL.
Implementation design in general: How abstract specifications can be transformed to concrete solutions in hardware and software.
Principles for software design: How to construct efficient and dependable software solutions from specifications, while keeping requirements for dependability, modularity and real-time.
UML-based design of distributed systems using collaboration-oriented model composition (in particular the SPACE method).
General support systems: operating system mechanisms, timers, input/output, communication systems, run-time systems for asynchronous state machines, error handling, middleware and newer service platforms.
Realisation in Java.
Principles for testing and testing languages (like U2TP or TTCN).
Learning outcome
The students shall be able to apply the principles for software design of distributed real-time systems. They shall obtain a basic understanding of the mechanisms in support systems and platforms, as well as concrete experience in realizing a telesystem by using a UML-based engineering method and a Java framework.
Learning methods and activities
Lectures and exercises. Term paper (25%) and written exam (75%). At a re-sit examination the exam may be changed from written to oral.
Recommended previous knowledge
Course TTM4115 Engineering Distributed Real-time Systems, or equivalent.
Course materials
To be announced during the start of the term.
Credit reductions
| Course code | Reduction | From |
|---|---|---|
| SIE5065 | 7.5 sp |
Subject areas
- IKT
- Program/system-utvikling
- Sivilingeniør
- Technological subjects
- Telematics
Contact information
Course coordinator
- Frank Alexander Kræmer
- Peter Michael Herrmann
Lecturers
- Frank Alexander Kræmer
- Peter Michael Herrmann
Department with academic responsibility
Department of Information Security and Communication Technology