Computational Models for Embedded Systems
EXAM - Sample Questions - NEW
| |
Lecture | |
Seminar |
| |
1. Introduction + Synchronous |
|
1 Choose Report paper |
| |
2. Safety req + PracticalSpin + Demo |
|
|
| |
3. Asynchronous |
|
2. Model checking |
| |
Link LPCXPRESSO |
|
|
| |
5. FSM + example |
|
3. LPCXPRESSO - 1 - link information |
| |
6. FSM (2) |
|
|
| |
7. Petri Nets |
|
4. LPCXPRESSO - 2 |
| |
8. Petri Nets (2) |
|
|
| |
9. LabVIEW + tutorial |
|
5. LabVIEW - details |
| |
10.Dynamical Systems |
|
|
| |
11. NI-presentation |
|
6. LabVIEW - details |
| |
12. Timed Models + Hybrid Systems |
|
|