Computational Models for Embedded Systems
CMES Grades - updated on 11 June 2016 -h:18:35 - retake laboratory/report grades + EXAM grades.
- CMES - new 27 May 2016 - Lecture - bibliography
- CMES - new 27 May 2016 - Sample exam subject
|
Seminar (Laboratory) |
Lecture (tentative) |
|
|
23.02.2016 Lab01. Paper Report Assignment |
23 feb Lecture 1 |
Introduction. See also announcements section! |
|
1 march Lecture 2 |
EBS presentation = prezenta OBLIGATORIE |
|
|
8.03.2016 Lab02.
|
8 march Lecture 3 |
Safety properties. Model checking. |
|
15 march Lecture 4 |
||
|
22.03.2016 Lab03. Assignment-new
EBS presentation = prezenta OBLIGATORIE
|
22 march Lecture 5 |
ProjectLPC11U14-LED-BTN |
|
29march Lecture 6 |
+ Projects P1 (JSpin presentations by students) |
|
|
5.04.2016 Lab04. LPCXPRESSO |
5 apr Lecture 7 |
+ Projects P1 (JSpin presentations by students) |
|
12 apr Lecture 8 |
Projects P2 (LPC11U14 presentations by students) |
|
|
19.04.2016 modified to 26.04.2016 Lab05. in 26 April Remark! You can work in teams (maxim 3 students in a team) LabVIEW at NI
NI LabVIEW presentation = prezenta OBLIGATORIE |
19 apr Lecture 9 |
|
|
26 apr Lecture 10 |
LabVIEW at NI
LabVIEW practical presentation = prezenta OBLIGATORIE LabVIEW-details: software+examples |
|
|
1-8 may |
Holidays |
|
|
10.05.2016 Lab06. LabVIEW |
10 may Lecture 11 |
Timed Models |
|
17 may Lecture 12 modified to 20 may (hours 18-20, C335) |
+ LabVIEW project presentation by students |
|
