| TDDC56 | Real Time and Embedded Systems, 4,5 ECTS credits. /Real Time and Embedded Systems/ |
|||
OBS! |
Only open for students admitted to the Computer Science Master programme |
|||
Prel. scheduled
hours: |
||||
|
Area of Education: Technology Subject area: Computer Science, Computer Engineering |
||||
| Advancement level
(G1, G2, A): A
|
||||
| Aim: The course aims at presenting techniques for the design, analysis and verification of real-time and embedded systems. It addresses modern design methodologies, with an emphasis on early design phases, including modeling, verification, hardware/software codesign, and optimization. |
||||
| Prerequisites: (valid for students admitted to programmes within which the course is offered) Undergraduate course in real-time systems. Logic (propositional log.) Logic II (proof and model theory; soundness and completeness, modal logic). Computation I. Computation II Note: Admission requirements for non-programme students usually also include admission requirements for the programme and threshhold requirements for progression within the programme, or corresponding. |
||||
| Organisation: Lectures. The course is given in an intensive format ("crash course") at a conference facility. |
||||
Course contents:
|
||||
| Course literature: |
||||
| Examination: | ||||
| Written exam. Hand in assignments. |
1,5 p 1,5 p |
/ / |
2,5 ECTS 2 ECTS |
|
| Grades given are Pass, Fail. | ||||
Course language is English. Department offering the course: IDA. Director of Studies: Examiner: Zebo Peng Link to the course homepage at the department Course Syllabus in Swedish |
||||
|
|
 |
|||||
| ||||||