Previous page | Current version Archive 1999/2000 
49411 Real-Time Systems
Danish title: Tidstro systemer
Language: English Credit points: 5
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)
Contact person: Hans Henrik Løvengreen, Building 322, Tel. +45 4525 3763, email hhl@it.dtu.dk, http://www.it.dtu.dk/~hhl

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.