User Tools

Site Tools


automcutheory:start

Automotive Controller Theory

Model-Based (Control) Design

  • MBD1) combines 'a rigorous as possible mathematical framework' with 'the behavioral aspects of embedded system design'.
    • In the Model-Based Design of Controlsystems, development is manifested in these four steps:
    1. modeling a plant
    2. analyzing and synthesizing a controller for the plant
    3. simulating the plant and controller, and
    4. integrating all these phases by deploying the controller.

Behavior capture, verification, and transformation.

Scope Concepts Software Description
Modeling Modeling physical systems and software architectures. Hierarchical modeling. Formalizing hardware topologies and network communication.
Environmental modeling2) Modeling environmental systems spanning mechanical, electrical, hydraulic, and other physical domains.
SimScape SimScape provides fundamental building blocks that you can assemble into models of physical components, such as electric motors, inverting op-amps, hydraulic valves, and ratchet mechanisms.
Discrete modeling3) Model control systems through state transition diagrams, flow charts and truth tables
StateFlow Stateflow provides graphical and tabular interfaces for modeling system logic using state machines.
Functional modeling Modeling anything that doesn't fit above
MATLAB MATLAB
Synthesis &
Analysis
Code Generation Generate production code automatically from models, charts and functions.
Embedded Coder Embedded Coder generates C and C++ code for use on embedded processors, on-target rapid prototyping boards, and microprocessors used in mass production.
HDL Coder HDL Coder generates portable, synthesizable Verilog and VHDL code from MATLAB functions, Simulink models, and Stateflow charts.
Simulink PLC Coder Simulink PLC Coder generates hardware-independent IEC 61131-3 Structured Text from Simulink® models, Stateflow® charts, and Embedded MATLAB® functions.
Simulink Coder Simulink Coder 4) generates and executes C and C++ code from Simulink diagrams, Stateflow charts, and MATLAB functions.
TargetLink TargetLink generates production code automatically for graphically specified functions straight from MathWorks MATLAB/ Simulink/Stateflow.
Simulation
Offline Simulation Simulate the dynamic behavior of your system.
SimEvents SimEvents provides a discrete-event simulation engine and component library for modelling event-driven communication between components to analyze and optimize end-to-end latencies, throughput, packet loss, and other performance characteristics.
RT5)/HIL6) Simulation Simulating the environment of ECUs to test the function, integration, and communication of ECUs.
dSPACE Simulator dSPACE Simulator enables you to test new electronic control units (ECUs) and software largely in a virtual environment, without real vehicles or prototypes.
Verification
Validation
Polyspace Code Prover Polyspace Code Prover uses static analysis and abstract interpretation to prove the absence of overflow, divide-by-zero, out-of-bounds array access, and certain other run-time errors in C and C++ sourcecode.
Test
Polyspace Bug Finder Polyspace Bug Finder identifies defects such as numerical computation, programming, memory, and other errors by performing static program analysis on source code. It can also check compliance of source code to standards such as MISRA.

1) Model-Based Design
2) or “Analog modeling”
3) or “Digital modeling”
4) formerly Real-Time Workshop
5) Real-Time
6) Hardware-in-the-loop
automcutheory/start.txt · Last modified: 2014/01/04 07:39 by admin