Model Based Development of Embedded Systems VT 11

NEW: description of the oral exam.

Description

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

Week	Date		Time	Place	What
3	Tue	18/1	10-12	1112	Motivation, Course Overview
3	Wed	19/1	10-12	1112	Modeling in Matlab/Simulink
4	Tue	25/1	10-12	1112	CANCELLED
4	Wed	26/1	10-12	1112	Modeling Control in Simulink
5	Tue	1/2	10-12	1112	StateFlow
5	Wed	2/2	10-12	1112	Hybrid Automata
6	Tue	8/2	10-12	1112	CheckMate
6	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
9	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)
12	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
15	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

Lecturer: Bengt Jonsson, room 1435, phone 471 3157, e-mail: bengt (at) it (dot) uu (dot) se, homepage

Office 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.

The overall grade will (roughly equally) combine these three parts.

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.
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.

Links to Related Courses on the Internet

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