Model Based Development of Embedded Systems HT 18

NEWS Oct. 9

Material for lecture Oct. 9. We will first taka closer look at Breach. You can prepare by downloading Breach from https://github.com/decyphir/breach, running GenDoc(), and then read generated documentation. We will as default go through the last "Autotrans_tutorial". Second, we will explain symbolic reachability analysis. Slides will be up as soon as SP does not crash.

Overal Goals

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.

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

Schedule

(The below schedule is copied from the IT depts Schedule).
Note: the below topics and material are from a previous year. They will be updated during the first week.

Week	Date		Time	Place	What	Material
36	Wed	5/9	13-15	1145	Motivation, Overview	intro-adm.pdf, overview-mbd.pdf, matlab1.pdf, MATLAB Primer
	Thu	6/9	10-12	1113	MATLAB or Simulink	Exercises 9, 12, 15, 17, 22, 25 of add_matlab_exercises.pdf, simulink1.pdf
	Fri	7/9	15-17	1113	System Modeling in Simulink	Getting Started with Simulink, simulink2.pdf,
37	Mon	10/9	13-15	1145	System Modeling in Simulink (ctd.)	simulink3.pdf
	Tue	11/9	08-10	1145	Exercise Session	simulink-exercises-1.pdf
	Wed	12/9	15-17	1145	Simulink semantics and simulator	Section 3 of Simulink User Guide, simulink4.pdf
	Fri	14/9	08-10	1145	State machines	D Harel: Statecharts: A visual formalism for complex systems Science of computer programming, 1987,stateflow1.pdf
38	Mon	17/9	10-12	1145	Stateflow	stateflow2.pdf, Started with StateFlow, Models: kai_actions.slx, sf_ug_p_3_49.slx
	Tue	18/9	10-12	1245	Practical aspects of modeling in Stateflow	Solving problem 1 of stateflow-exercises-1.pdf. stateflow3.pdf, StateFlow User Guide,
	Fri	20/9	15-17	2415b	Exercises	stateflow-exercises-2.pdf
	Fri	21/9	13-15	1146	Hybrid Systems, Continuous-time Stateflow	stateflow4.pdf, StateFlow User Guide Section 20
39	Tue	25/9	08-10	1113	Animating Simulink/Stateflow models	graphics.pdf, various models
	Wed	26/9	13-15	1145	Code generation	codegen1.pdf, Embedded Coder: User Guide, Section 47
	Thu	27/9	10-12	1238	Code generation for STM boards
40	Mon	1/10	13-15	1145	Constructing wrappers for drivers	codegen2.pdf, Embedded Coder: User Guide, Section 42-43, Download Driver material here
	Tue	2/10	13-15	1145	Formulating Requirements	testing1.pdf, Some of slides by A. Donze
	Wed	3/10	15-17	1145	Requirements: Signal Temporal Logic	testing2.pdf, Some of slides by A. Donze plus some of these
	Fri	5/10			No Scheduled meeting	Here is the material for Assignment 3 and the Project spec with Supplementary material. You can use 1:238 as you like.
41	Tue	9/10	13-15	1145	Verification for Simulink/Stateflow models	See top of page
	Wed	10/10	13-15	1146	Models of Computation, Dataflow
	Thu	11/10	10-12	1145	LUSTRE (Philipp Rümmer)	ruemmer-slides-expanded.pdf
42	Tue	16/10	15-17	1112	LUSTRE (Philipp Rümmer)
	Thu	18/10	13-15	2344	No meeting (cancelled)	Work on Assignment 3
	Fri	19/10	10-12	1146	TBD

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, e-mail: bengt (at) it (dot) uu (dot) se, homepage

Office Hours: as you like, room 1435
Teaching Assistant: Syed Md Jakaria Abdullah, room 1316, e-mail: Jakaria.Abdullah@it.uu.se, web page
Teaching Assistant: Cong Quy Trinh, room 1453, e-mail: cong-quy.trinh@it.uu.se, web page