| Type: | Open University
Language: English |
|
|
|
|
|
|
|
|
Prerequisite: 49270
|
|
|
|
Recommended semester: 7th - 9th semester
|
|
Scope and form: Lectures. 1 afternoon per week with problem solving or presentations.
|
|
Examination: Evaluation of report(s) (13-scale)
|
|
|
|
|
|
|
|
URL: http://www.it.dtu.dk/c49411
|
|
Department: Department of Information Technology
|
|
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.
|
