topics , Schedule , Lecture material , Examination , Homework Assignments , Course Material , Reference Material

- model based development and analysis of embedded systems, particularly the software part
- Use of tools and techniques, e.g., Simulink, to model and analyze
- Use these techniques and tools in projects

- Models of computation for embedded and parallel systmes
- Heterogeneous embedded systems
- Prototyping and modeling and code generation
- Design space exploration
- Simulation, verification, testing

Week | Date | Time | Place | What | |
---|---|---|---|---|---|

3 | Tue | 18/1 | 10-12 | 1112 | Motivation, Course Overview |

Wed | 19/1 | 10-12 | 1112 | Modeling in Matlab/Simulink | |

4 | Tue | 25/1 | 10-12 | 1112 | CANCELLED |

Wed | 26/1 | 10-12 | 1112 | Modeling Control in Simulink | |

5 | Tue | 1/2 | 10-12 | 1112 | StateFlow |

Wed | 2/2 | 10-12 | 1112 | Hybrid Automata | |

6 | Tue | 8/2 | 10-12 | 1112 | CheckMate |

Thu | 10/2 | 15-17 | 1112 | CANCELLED | |

7 | Tue | 15/2 | 10-12 | 1112 | Verification for Hybrid Automata. Preparation: Download and install Checkmate and go through a demo, like e.g., ph |

Wed | 16/2 | 10-12 | 1112 | CheckMate lab | |

Thu | 17/2 | 14-15 | 1113 | CheckMate lab(ctd) | |

9 | Mon | 28/2 | 08-10 | 1112 | Cancelled |

Tue | 1/3 | 10-12 | 1112 | Cancelled | |

10 | Tue | 8/3 | 08-10 | 1112 | Modeling OS and networks, True Time |

11 | - | - | - | - | note: no lectures this week |

12 | Thu | 24/3 | 13-15 | -- | CANCELLED (will be moved to later) |

Fri | 25/3 | 13-15 | 1112 | Modeling OS and networks, True Time | |

13 | Wed | 30/3 | 10-12 | 1112 | True Time |

14 | Mon | 4/4 | 10-12 | 1112 | True Time |

Mon | 4/4 | 13-17 | 2315D | Lab: TrueTime | |

Tue | 5/4 | 10-12 | 1112 | Lab: trueTime f. Networks | |

Wed | 6/4 | 10-12 | 1112 | Project start | |

15 | Tue | 12/4 | 10-12 | 1112 | TBD |

Fri | 14/3 | 10-12 | 1313D | lab (HW3-4) | |

18 | Thu | 5/4 | 10-12 | 1311 | Guest lecture by Jakob Engblom, Wind River |

21 | Fri | 27/5 | TBD | TBD | Final exam |

Office Hours: as you like, room 1435 and TBD |

- Lecture 1
- Lecture 2 (new corrected version)
- Lecture 3
- Lecture 4, matlab commands
- Lecture on Integration of Scheduling and Control, TrueTime. Some material taken from lectures (second period) at this page
- Slides w. Project Info

- Train from Jan. 26: Matlab model, Parameter values, Simulink model

- Lecturer: Bengt Jonsson, room 1435, phone 471 3157,
e-mail:
`bengt (at) it (dot) uu (dot) se`, homepageOffice Hours: as you like, room 1435 - Assistant: Siddharth Mondal, room 1409,
e-mail:
`siddharthmondal (at) gmail (dot) com`, -->

- Homework Assignments,
- Mini-Project (period 4),
- Oral Exam, on the theory parts, project and homework assignment. Please look here for a description of the oral exam.

- Homework 1, due 100128: Solve Exercise 6 from Chapter 2 (page 41) of the book
Edward A. Lee and Sanjit A. Seshia,
*Introduction to Embedded Systems, A Cyber-Physical Systems Approach*, (available here. using both Matlab and using Simulink. - Assignment 2 (updated version here) has been handed out and is due 100311. Note: If Checkmate "verify" is too buggy, it is sufficient to use the "explore" function.
- Assignment 3 (updated version here) has been handed out and is due 100412.
- Assignment 4 has been handed out and is due 100426.
- Mini-project: a short specification (1-2 pages) is due April 28.

- possible reading that covers the material of lectures.
- Getting Started with Simulink:
- Getting Started with StateFlow:
- Control Tutorials for MATLAB and Simulink:
- Edward A. Lee and Sanjit A. Seshia, Introduction to Embedded Systems, A Cyber-Physical Systems Approach,
- Automatic Control Labs for Course at IT/UU (in Swedish)

- CS 522, Embedded Systems by Purandar Bhaduri (has some links to related courses)