Kurz poskytuje základní praktické znalosti pro model-driven návrh embedded a real-time systémů, jejich testování
a následné vygenerování kódu a jeho integraci v rámci real-time operačního systému. Kurz bude probíhat formou
cvičení s použitím nástrojů Matlab/Simulink a robotické sady Lego Mindstorms NXT. Předpokládají se vstupní znalosti na
úrovni výuky předmětu NSWE001 Vestavěné systémy a systémy reálného času.
Poslední úprava: Tajemník Katedry (04.05.2011)
The course provides basic practical knowledge of model-driven design of embedded and real-time systems, their
testing and subsequent code-generation and integration with a real-time operating system. The course has a
shape of labs, where Matlab/Simulink will be employed as well as Lego Mindstorms NXT robotic platform.
Literatura -
Poslední úprava: Tajemník Katedry (04.05.2011)
MATLAB Getting Started Guide, The MathWorks, Inc., 2011
Simulink User’s Guide, The MathWorks, Inc., 2011
Stateflow User’s Guide, The MathWorks, Inc., 2011
Embedded Coder Getting Started Guide, The MathWorks, Inc., 2011
Simulink Fixed Point User’s Guide, The MathWorks, Inc., 2011
Simulink Design Optimization Getting Started Guide, The MathWorks, Inc., 2011
Simulink Verification and Validation User’s Guide, The MathWorks, Inc., 2011
Simulink Design Verifier User’s Guide, The MathWorks, Inc., 2011
Sam Siewert: Real-Time Embedded Systems and Components, Charles River Media, 2007
Poslední úprava: Tajemník Katedry (04.05.2011)
MATLAB Getting Started Guide, The MathWorks, Inc., 2011
Simulink User’s Guide, The MathWorks, Inc., 2011
Stateflow User’s Guide, The MathWorks, Inc., 2011
Embedded Coder Getting Started Guide, The MathWorks, Inc., 2011
Simulink Fixed Point User’s Guide, The MathWorks, Inc., 2011
Simulink Design Optimization Getting Started Guide, The MathWorks, Inc., 2011
Simulink Verification and Validation User’s Guide, The MathWorks, Inc., 2011
Simulink Design Verifier User’s Guide, The MathWorks, Inc., 2011
Sam Siewert: Real-Time Embedded Systems and Components, Charles River Media, 2007
Sylabus -
Poslední úprava: Tajemník Katedry (04.05.2011)
Úvod do model-driven návrhu a simulací
Úvod do MATLABu & Simulinku. Modelování a simulace jednoduchých systémů pomocí Simulinku.
Modelování řídící logiky (data-flow, automaty). Základní PID regulátory.
Diskretizace modelů. Aritmetika s pevnou řádovou čárkou.
Modelování fyzikálního prostředí.
Generování kódu pro hardware a integrace s RTOS.
Testování, model coverage.
Poslední úprava: Tajemník Katedry (04.05.2011)
Introduction to model-driven design and simulation.
Introduction to MATLAB & Simulink. Modeling and simulating simple systems in Simulink.
Modeling control logic (data-flow modeling, automata). Basic PID controllers.
Model discretization. Fixed-point arithmetics.
Modeling physical environment.
Generating code for hardware and integration with RTOS.
