Model Based Development of Embedded Systems VT 12

Overal Goals

Modeling physical parts of a system and its environment. Major techniques include differential equations and difference equations, and transfer functions.
Modeling discrete changes in behavior, and controllers. Major techniques include automata (which can be combined with differential equations), state machines of different forms.
Modeling various aspects of implementations, including scheduling, networks, parallel execution.
Using tools for modeling and analysis, primarily Matlab and Simulink

Week	Date		Time	Place	What
3	Mon	16/1	10-12	1146	Motivation, Course Overview
	Tue	17/1	13-15	1146	Continuous systems State-space form, transfer functions
	Thu	19/1	13-15	1345	Start of Project
4	Mon	23/1	15-17	1345	Project meeting
	Tue	24/1	13-15	1146	Modeling of controlled, continuous systems
	Thu	26/1	13-15	1345	Project meeting
5	Mon	30/1	15-17	1406	Project meeting
	Tue	31/1	13-15	1345	Project meeting
	Thu	2/2	13-15	1146	Modeling of controlled, continuous systems
6	Mon	6/2	15-17	1345	Project meeting
	Tue	7/2	13-15	1146	Modeling of controlled, continuous systems
	Thu	9/2	13-15	1345	Project meeting
7	Mon	13/2	15-17	1345	Project meeting
	Tue	14/2	13-15	1146	Modeling of controlled, continuous systems
	Thu	16/2	13-15	1345	Project meeting
8	Mon	20/2	15-17	1345	Project meeting
8	Thu	23/2	13-15	1345	Project meeting
9	Mon	27/2	15-17	1345	Project meeting
9	Tue	28/2	13-15	1146	Modeling of controlled, continuous systems
12	Mon	19/3	10-12	1146	Specification and test case generation
	Tue	20/3	13-15	1146	Verification and testing
	Thu	22/3	13-15	1146	TBD
13	Mon	26/3	10-12	1146	Influence of Scheduling and Networking
13	Tue	27/3	13-15	1146	TrueTime
16	Thu	19/4	13-15	1345	ARMAX modeling of MikroKopter
22	Mon	28/5	TBD	TBD	Final exam

Office Hours: as you like, room 1435 and TBD

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
Lecturer: Kai Lampka, room 1435, phone 471 3157, e-mail: bengt (at) it (dot) uu (dot) se, homepage

Office Hours: as you like, room 1435

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

Links to Related Courses on the Internet

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