|
|
| Offered by:
Department of Information Technology
(IT) |
| Prerequisite: 49270/C4334 |
| Recommended semester:
7th - 9th semester |
| Scope and form: Lectures. 1 afternoon per week with problem solving or presentations. |
| Examination:
Evaluation of report(s)
(13 point scale
) |
| Contact person: |
Hans Henrik Løvengreen, IT, Building 343, Tel. +45 4525 3763E-mail: hhl@it.dtu.dk |
|
| Aim: Participants learn theory and principles for design of safe, real-time computer based systems. This provides an introduction to current research in the Computer Systems Section. |
| Contents: The contents will vary with the research topics of the lecturers. Currently, the topics are: Duration calculus (DC), timed transition systems, timed process algebras, systematic design with DC, and verification tools. |
