The course includes an overview of modeling techniques for CPS/IoT systems, the mapping of applications to execution platforms, the evaluation of (partial) designs and some outstanding characteristics of CPS/IoT hardware and software execution platforms. A few advanced systems will be presented toward the end of the course. The detailed brochure can be found here. The course is being taught by Prof. Peter Marwedel.
The classes are scheduled to be between Monday (12th Feb) to Tuesday (20th Feb).
| Lecture # | Date | Day | Time |
|---|---|---|---|
| 1 | 12th Feb | Mon | 3:30 pm - 5 pm |
| 2 | 13th Feb | Tue | 3:30 pm - 5 pm |
| 3-4 | 14th Feb | Wed | 2:00 pm - 5:30 pm |
| 5 | 15th Feb | Thu | 2:00 pm - 3:30 pm |
| 6 | 16th Feb | Fri | 3:30 pm - 5:00 pm |
| 7-8 | 17th Feb | Sat | 2:00 pm - 5:30 pm |
| 9 | 19th Feb | Mon | 2:00 pm - 3:30 pm |
| 10 | 20th Feb | Tue | 3:30 pm - 5 pm |
Venue: 301, Bharti Building
The complete slide set can be downloaded from here.
OpenModelica
Downloads: [WIN][LINUX][Local Mirror for Win 64-bit]
Uppaal
For all submissions, please enclose both the code and report in a zip file (entryNumber_Assg <assignmentNumber>.zip) and submit the same on moodle submission link. Email as suggested for external students in the same format.
| Assg # | Description | Due Date |
|---|---|---|
| 0 | Download and set up OpenModelica and Uppaal. Refer the Software Section above. | 13th Feb |
| 1 | Please refer to slide number 98 from the slide deck. Hint: You may have to use the pre() function for counting number of bounces. | 15th Feb |
| 2 | Please refer to slide number 151 from the slide deck. You may download the model file used in the class here. | 16th Feb |
| 3 | Please refer to slide number 248 from the slide deck. | 17th Feb |
| 4 | Please refer to slide number 301 from the slide deck. | 19th Feb |
| 5 | Please refer to slide number 400 from the slide deck. | 19th Feb |
Attendance - 50%
Assignments - 50% - Top 4 of 6 (excluding Assignment 0)
We'll follow the book "Embedded Systems Foundations of Cyber-Physical Systems" by Prof. Peter himself. The latest edition is here. A few copies have also been made available at SIT Library.