Model Based Design of Embedded Software, Autumn 2020

Model Based Development uses models to describe the specifications, operation and performance of a system. Simulation, verification, and testing can be performed directly on executable models. Implementation can be automated by code generation directly from the model. The student will acquire skills in modeling embedded systems, and to use models for Simulation, verification, and testing, to derive implementations. Throughout the course, Simulink (and Stateflow) will be used as the modeling language, so the students will acquire mastery of Matlab/Simulink.

Learning outcomes:

On completion of the course, the student should be able to:

apply model based construction and analysis of embedded systems, especially the software.
use current techniques and tools, e.g. Simulink and MATLAB to develop embedded software.
work in teams through the entire development cycle, from system specification to constructing a prototype and system implementation.

Topics

The following topics are central.

Model Based Development: general
Simulink: modeling, simulation, code generation.
State machines (using Stateflow)
Modeling physical systems: Differential equations, Transfer functions
Design of controlled system
Systematic simulation and test generation
Semantics of Simulink and related block-strucured modeling languages
Code generation and deployment

Location

The course is given over Zoom, using Zoom room no. 65412595962
https://uu-se.zoom.us/j/65412595962

Schedule

(The below schedule is copied from the IT depts Schedule).

Week	Date		Time	Place	What	Material (continuously updated)
	Module 1: SIMULINK modeling
36	Mon	31/8	10-12	IT5	Motivation, Overview	intro-adm.pdf, overview-mbd.pdf, matlab1.pdf,
	Wed	2/9	15-17	IT5	TUTORIAL/EXERCISES on MATLAB	To prepare, read: MATLAB Primer Sections 1,2,4,5. We will do: matlab-exercises.pdf (Suggested Exercises: 9, 12, 15, 17, 22, 25, and in particular 28)
	Thu	3/9	10-12	IT5	LECTURE Models of Computation, SysML, Simulink	simulink1.pdf, Introduction to Simulink (Eric Peasly) (except Examples 4 and 5). Possible online supplements in Getting Started with Simulink, and online,
	Thu	3/9	13-15	Zoom 65876409131	TUTORIAL/EXERCISE on Simulink	To prepare, try out Exercises on Simulink (Eric Peasly). If time permits, we will continue doing: simulink-exercises-1.pdf
	Fri	6/9	08-10	IT5	LECTURE Simulink	simulink2.pdf,
37	Mon	7/9	15-17	IT5	Simulink	simulink2.pdf, simulink3.pdf
	Tue	8/9	15-17	IT5	TUTORIAL/EXERCISE on Simulink	simulink-exercises-1.pdf (e.g., problem 2.3), simulink-exercises-2.pdf (suggested: problem 3-1, 3-2)
	Wed	9/9	08-10	IT5	Internals of Simulink simulator, Algebraic loops	simulink4.pdf, Section 3 of Simulink User Guide
	Thu	10/9	08-10	IT5	TUTORIAL/EXERCISE on Simulink	simulink-exercises-3.pdf, simulink-exercises-1.pdf, simulink-exercises-2.pdf
		Thu	10/9	24	-	Assignment 1a due
	Fri	11/9	10-12	IT5	, Intro to controller design	control1.pdf
	Module 2: STATEFLOW modeling
38	Mon	14/9	10-12	IT5	State machines	D Harel: Statecharts: A visual formalism for complex systems Science of computer programming, 1987, stateflow1.pdf
	Tue	15/9	08-10	1IT5	Modeling in Stateflow	To prepare, read chapter 1 in Stateflow User Guide, stateflow2.pdf
	Tue	15/9	13-15	IT5	Continue Lecture on Statefloe, and move towards TUTORIAL	stateflow2.pdf, stateflow-exercises-1.pdf
	Wed	16/9	15-17	IT5	Note change of time! TUTORIAL, Assignment 1a), modeling	stateflow-exercises-1.pdf, stateflow-exercises-2.pdf
	Thu	17/9	24	-	Assignment 1b due
	Fri	18/9	08-10		Stateflow (ctd.)	stateflow2.pdf StateFlow User Guide, Chapter 3, simulink-exercises-1.pdf: Examples 2.2, 3.3
39	Mon	21/9	10-12	IT5	Adding Graphical Animations	graphics1.pdf
	Tue	22/9	08-10	IT5	Hybrid Systems, Continuous-time Stateflow	stateflow3.pdf
	Wed	23/9	10-12	IT5	TUTORIAL, Return Assignment 1b, Animating Simulink/Stateflow models	graphics1.pdf, various models
	Thu	24/9	08-10	IT5	Hybrid Systems, Continuous-time Stateflow	stateflow3.pdf
	Thu	24/9	24	-	Assignment 2a due
	Fri	25/9	08-10	IT5	TUTORIAL: Continuous-time Stateflow	stateflow-exercises-2.pdf
	Module 3: Code and Test Generation
40	Mon	28/9	13-15	IT5	Design Analysis, Requirements, Monitors	testing1.pdf, Simulink Design Verifier User's Guide, Chapter 6,
	Wed	30/9	08-10	IT5	Requirements, Monitors (ctd.)	Simulink Design Verifier User's Guide, Chapter 12,
	Wed	30/9	15-17	IT5		Review: Assignment 2a, TUT Requirements, Monitors
	Thu	1/10	15-17	IT5	TUTORIAL: Stateflow	stateflow-exercises.pdf, testing-exercises-2.pdf
	Fri	2/10	13-15	IT5	LECTURE Requirements: Monitors	testing1.pdf, Simulink Design Verifier User's Guide, Chapter 12,
	Thu	4/10	24	-	Assignment 2b due
41	Mon	5/10	08-10	IT5	TUTORIAL: Requirements, Monitors	testing-exercises-1.pdf, testing-exercises-2.pdf, Simulink Design Verifier User's Guide, p 12-43 - 12-47
	Tue	6/10	08-10	IT5	Capacity of Simulink Design Verifier	testing2.pdf,testing-exercises-3.pdf -->
	Wed	7/10	15-17	IT5	Continuation: Simulink Design Verifier	testing3.pdf
	Fri	9/10	10-12	IT5	Feedback, Assignment 2b
	Fri	9/10	13-15	IT5	Models of Computation, Dataflow	moc.pdf
	Module 4: Other formalisms
42	Wed	14/10	8-10	IT5	Lecture LUSTRE (Philipp Rümmer)	lustre1-expanded.pdf, examples_2020-10-14.lus
42	Thu	15/10	13-15	IT5	Q and A on Requirements/Assignment 3
	Wed	18/10	24	-	Assignment 3 due
43	Wed	21/10	24	-	Project reports due
		Fri	23/10	8-12	IT5	PROJECT PRESENTATIONS
		Fri	23/10	13-17	IT5	Lustre Lab

Useful Material The "Material" referenced in the Schedule is posted in Studentportalen, or linked. Other material that can be useful is below.

Additional Resources

Here are some links to relevant resources: Courses, lectures that cover similar and related topics (the list will be extended)

Model Based Design
- Embedded Systems - Model-Based Design Course given at Scuola Superiore Sant'Anna in 2013.
On Modeling and Control Generation for Simulink
- Control Tutorials for MATLAB and Simulink. These give an introduction to modeling and controller design using Simulink.
Related, Relevant Courses, e.g.,
- Introduction to Model-Based System Design, course given at Rose-Hulman Institute Of Technology (you could look at lecture notes)
- Introduction to Computer Control Systems (1RT485, 5hp)

Teaching staff

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

Office Hours: as you like, room 1435
Teaching Assistant: Sarbojit Das, room 1453, e-mail: Sarbojit.Das@it.uu.se, web page
Teaching Assistant: Magnus Lång, room 1357, e-mail: magnus.lang@it.uu.se, web page