Model Based Development of Embedded Systems HT 17

Overal Goals

Model Based Development uses models todescribe 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.

Schedule

(The below schedule is copied from the
IT depts Schedule. s
Week DateTimePlaceWhatMaterial
35 Mon28/813-151113Motivation, Overviewintro-adm.pdf, overview-mbd.pdf, matlab1.pdf
Thu31/810-122245Introduction to Simulinksl_gs.pdf, simulink-tex1.pdf , simulink-exercises-1.pdf
Fri1/910-121112System Modeling in Simulinksimulink-tex2.pdf
36 Tue5/915-171311Simulink semantics and simulatorSection 3 of Simulink User Guide, simulink-tex3.pdf
Wed6/910-121145State machinesGetting Started with StateFlow, stateflow1.pdf, D Harel: Statecharts: A visual formalism for complex systems Science of computer programming, 1987
Thu7/908-101113Stateflowstateflow2.pdf
37 Mon11/908-101113State machines: animation and GUI, modeling idiomsgraphics.pdf, various models
Wed13/915-171112Hybrid systems
Thu14/910-122345S-functions
38 Wed20/913-151145TBD (code generation)
Thu21/915-171112Basics of Feedback control
Fri22/910-121146Control Design and tuning
39 Tue26/913-151146Control: state-space methods
Wed27/915-171113Intro to code generation
Thu28/910-122345Coding drivers: System objects
40 Mon2/1010-121145Verification for Simulink/Stateflow models
Wed4/1015-171113Testing by simulation of models
Thu5/1010-121146Testing of generated code
41 Mon9/1015-171113Problematic aspects of Simulink/stateflow
Tue10/1010-121145Other modeling formalisms; Modelica
Thu12/1013-151113Lustre
42 Mon16/1015-171113Reserve time
Tue17/1010-121145Reserve time
  • Very Useful Material Some of the material referenced in the Schedule is posted in Studentportalen. Other important material is linked from here:

    Additional Resources

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

    Teaching staff