| Scope and form: Lectures and exercise classes. |
| Evaluation: Approval of coursework/reports
|
| Examination: 13-scale |
| Previous course: 49411 |
| Prerequisites: 02220 |
| Aim: To give the participants a good knowledge of theory and principles forconstruction of safe real-time computer based systems. |
| Contents: Modelling of timed behaviour. Specification and verification ofreal-time properties. Implementation of real-time systems: Real-timekernels, operating systems, and programming languages. Process scheduling. |
| Contact: Hans Henrik Løvengreen, building 322, (+45) 4525 3763, hhl@imm.dtu.dk |
| Department: 002 Informatics and Mathematical Modelling |
| Course URL: http://www.imm.dtu.dk/courses/02224 |
| Keywords: Timed models, temporal logics, program design, process scheduling |
| Updated: 26-11-2001 |
