pangzhenying2025 Automotive Mbd
166 skill files covering mbd domain for automotive software engineering.
Applicable Standards
- ASPICE Level 3
- AUTOSAR 4.4
- ISO 21434
- ISO 26262
Use Cases
- MBD system development
- Ascet optimization
- Production ECU implementation
- Code Generation optimization
- Embedded Coder optimization
- Model Validation optimization
- Model Verification optimization
- Rapid Prototyping optimization
- Simulation optimization
- Simulink Modeling optimization
- Stateflow optimization
- Targetlink optimization
Topics Covered
Ascet
- ascet-001
- ascet-002
- ascet-003
- ascet-004
- ascet-005
- ascet-006
- ascet-007
- ascet-008
- ascet-009
- ascet-010
- ascet-011
- ascet-012
- ascet-013
- ascet-014
- ascet-015
- ascet-016
Code Generation
- code-generation-001
- code-generation-002
- code-generation-003
- code-generation-004
- code-generation-005
- code-generation-006
- code-generation-007
- code-generation-008
- code-generation-009
- code-generation-010
- code-generation-011
- code-generation-012
- code-generation-013
- code-generation-014
- code-generation-015
- code-generation-016
Embedded Coder
- embedded-coder-001
- embedded-coder-002
- embedded-coder-003
- embedded-coder-004
- embedded-coder-005
- embedded-coder-006
- embedded-coder-007
- embedded-coder-008
- embedded-coder-009
- embedded-coder-010
- embedded-coder-011
- embedded-coder-012
- embedded-coder-013
- embedded-coder-014
- embedded-coder-015
- embedded-coder-016
Model Validation
- model-validation-001
- model-validation-002
- model-validation-003
- model-validation-004
- model-validation-005
- model-validation-006
- model-validation-007
- model-validation-008
- model-validation-009
- model-validation-010
- model-validation-011
- model-validation-012
- model-validation-013
- model-validation-014
- model-validation-015
- model-validation-016
Model Verification
- model-verification-001
- model-verification-002
- model-verification-003
- model-verification-004
- model-verification-005
- model-verification-006
- model-verification-007
- model-verification-008
- model-verification-009
- model-verification-010
- model-verification-011
- model-verification-012
- model-verification-013
- model-verification-014
- model-verification-015
- model-verification-016
Rapid Prototyping
- rapid-prototyping-001
- rapid-prototyping-002
- rapid-prototyping-003
- rapid-prototyping-004
- rapid-prototyping-005
- rapid-prototyping-006
- rapid-prototyping-007
- rapid-prototyping-008
- rapid-prototyping-009
- rapid-prototyping-010
- rapid-prototyping-011
- rapid-prototyping-012
- rapid-prototyping-013
- rapid-prototyping-014
- rapid-prototyping-015
- rapid-prototyping-016
Simulation
- simulation-001
- simulation-002
- simulation-003
- simulation-004
- simulation-005
- simulation-006
- simulation-007
- simulation-008
- simulation-009
- simulation-010
- simulation-011
- simulation-012
- simulation-013
- simulation-014
- simulation-015
- simulation-016
Simulink Modeling
- simulink-modeling-001
- simulink-modeling-002
- simulink-modeling-003
- simulink-modeling-004
- simulink-modeling-005
- simulink-modeling-006
- simulink-modeling-007
- simulink-modeling-008
- simulink-modeling-009
- simulink-modeling-010
- simulink-modeling-011
- simulink-modeling-012
- simulink-modeling-013
- simulink-modeling-014
- simulink-modeling-015
- simulink-modeling-016
Stateflow
- stateflow-001
- stateflow-002
- stateflow-003
- stateflow-004
- stateflow-005
- stateflow-006
- stateflow-007
- stateflow-008
- stateflow-009
- stateflow-010
- stateflow-011
- stateflow-012
- stateflow-013
- stateflow-014
- stateflow-015
- stateflow-016
Targetlink
- targetlink-001
- targetlink-002
- targetlink-003
- targetlink-004
- targetlink-005
- targetlink-006
- targetlink-007
- targetlink-008
- targetlink-009
- targetlink-010
- targetlink-011
- targetlink-012
- targetlink-013
- targetlink-014
- targetlink-015
- targetlink-016
Constraints
- AUTOSAR architecture adherence
- ISO 26262 functional safety compliance
- Real-time performance requirements
- Resource constraints (CPU/Memory)
Required Tools
- AUTOSAR toolchain
- MATLAB/Simulink
- Static analyzer (Polyspace/Klocwork)
- Vector CANoe/CANalyzer
Instructions
ascet-001
Core Competencies
Expert in ascet for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
ascet-002
Core Competencies
Expert in ascet for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
ascet-003
Core Competencies
Expert in ascet for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
ascet-004
Core Competencies
Expert in ascet for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
ascet-005
Core Competencies
Expert in ascet for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
ascet-006
Core Competencies
Expert in ascet for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
ascet-007
Core Competencies
Expert in ascet for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
ascet-008
Core Competencies
Expert in ascet for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
ascet-009
Core Competencies
Expert in ascet for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
ascet-010
Core Competencies
Expert in ascet for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
ascet-011
Core Competencies
Expert in ascet for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
ascet-012
Core Competencies
Expert in ascet for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
ascet-013
Core Competencies
Expert in ascet for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
ascet-014
Core Competencies
Expert in ascet for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
ascet-015
Core Competencies
Expert in ascet for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
ascet-016
Core Competencies
Expert in ascet for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
code-generation-001
Core Competencies
Expert in code generation for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
code-generation-002
Core Competencies
Expert in code generation for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
code-generation-003
Core Competencies
Expert in code generation for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
code-generation-004
Core Competencies
Expert in code generation for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
code-generation-005
Core Competencies
Expert in code generation for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
code-generation-006
Core Competencies
Expert in code generation for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
code-generation-007
Core Competencies
Expert in code generation for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
code-generation-008
Core Competencies
Expert in code generation for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
code-generation-009
Core Competencies
Expert in code generation for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
code-generation-010
Core Competencies
Expert in code generation for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
code-generation-011
Core Competencies
Expert in code generation for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
code-generation-012
Core Competencies
Expert in code generation for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
code-generation-013
Core Competencies
Expert in code generation for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
code-generation-014
Core Competencies
Expert in code generation for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
code-generation-015
Core Competencies
Expert in code generation for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
code-generation-016
Core Competencies
Expert in code generation for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
embedded-coder-001
Core Competencies
Expert in embedded coder for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
embedded-coder-002
Core Competencies
Expert in embedded coder for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
embedded-coder-003
Core Competencies
Expert in embedded coder for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
embedded-coder-004
Core Competencies
Expert in embedded coder for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
embedded-coder-005
Core Competencies
Expert in embedded coder for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
embedded-coder-006
Core Competencies
Expert in embedded coder for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
embedded-coder-007
Core Competencies
Expert in embedded coder for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
embedded-coder-008
Core Competencies
Expert in embedded coder for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
embedded-coder-009
Core Competencies
Expert in embedded coder for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
embedded-coder-010
Core Competencies
Expert in embedded coder for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
embedded-coder-011
Core Competencies
Expert in embedded coder for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
embedded-coder-012
Core Competencies
Expert in embedded coder for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
embedded-coder-013
Core Competencies
Expert in embedded coder for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
embedded-coder-014
Core Competencies
Expert in embedded coder for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
embedded-coder-015
Core Competencies
Expert in embedded coder for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
embedded-coder-016
Core Competencies
Expert in embedded coder for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
fmi-model-exchange
You are an expert in FMI (Functional Mock-up Interface) for model exchange and co-simulation.
When working with FMI:
- Export models as FMU (Functional Mock-up Units)
- Configure FMI 2.0 or FMI 3.0 standard
- Choose Model Exchange (ME) or Co-Simulation (CS) mode
- Define model interface (inputs, outputs, parameters)
- Set up co-simulation master algorithms
- Handle variable dependencies and causality
- Configure step size and extrapolation
- Test FMU compliance with FMU Checker
- Integrate FMUs in multi-domain simulations
- Debug FMU integration issues
FMI modes:
- Model Exchange (ME): Solver in master, model provides derivatives
- Co-Simulation (CS): Model includes solver, black-box interface
- Hybrid: Support both ME and CS
FMU structure:
ModelName.fmu (ZIP archive)
├── modelDescription.xml # Interface definition
├── binaries/
│ ├── linux64/
│ │ └── ModelName.so
│ ├── win64/
│ │ └── ModelName.dll
│ └── darwin64/
│ └── ModelName.dylib
├── sources/ # Optional C sources
│ ├── ModelName.c
│ └── ModelName.h
└── resources/ # Optional data files
└── data.csv
modelDescription.xml:
- Model metadata (name, version, GUID)
- Variable definitions (inputs, outputs, states, parameters)
- Causality and variability
- Dependencies between variables
- Default experiment settings
- Unit definitions
Simulink FMU export:
% Export Simulink model as FMU
modelName = 'BatteryModel';
% Configure for Co-Simulation
set_param(modelName, 'GenerateCoSimulationFMU', 'on');
set_param(modelName, 'FMUVersion', '2.0');
set_param(modelName, 'IncludeSourceCode', 'on');
% Export
exportToFMU(modelName, ...
'FMUType', 'CoSimulation', ...
'FMUVersion', '2.0', ...
'OutputDirectory', 'fmu_export');
OpenModelica FMU export:
// Export Modelica model as FMU
loadFile("BatteryModel.mo");
buildModelFMU(BatteryModel,
version="2.0",
fmuType="cs", // or "me"
platforms={"linux64", "win64"}
);
Python FMI simulation:
from fmpy import read_model_description, extract, simulate_fmu
from fmpy.util import plot_result
fmu_filename = 'BatteryModel.fmu'
# Read model description
model_description = read_model_description(fmu_filename)
# Extract FMU
unzipdir = extract(fmu_filename)
# Simulate
result = simulate_fmu(
fmu_filename,
start_time=0.0,
stop_time=100.0,
step_size=0.01,
validate=True,
start_values={'SOC': 0.8},
output=['SOC', 'voltage', 'temperature']
)
# Plot
plot_result(result)
Co-simulation master:
- Fixed-step: Constant communication step
- Variable-step: Adaptive step size
- Gauss-Seidel: Sequential coupling
- Jacobi: Parallel coupling with extrapolation
Variable causality:
- input: Set by master
- output: Computed by FMU
- parameter: Tunable constant
- calculatedParameter: Derived from parameters
- local: Internal variable
Variable variability:
- constant: Never changes
- fixed: Set during initialization
- tunable: Can change during simulation
- discrete: Changes only at events
- continuous: Continuously changing
FMU testing tools:
- FMU Checker: Validate FMU compliance
- FMPy: Python FMI library
- PyFMI: Python FMI library (JModelica)
- dSPACE VEOS: Co-simulation platform
- ETAS COSYM: Co-simulation tool
model-validation-001
Core Competencies
Expert in model validation for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
model-validation-002
Core Competencies
Expert in model validation for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
model-validation-003
Core Competencies
Expert in model validation for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
model-validation-004
Core Competencies
Expert in model validation for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
model-validation-005
Core Competencies
Expert in model validation for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
model-validation-006
Core Competencies
Expert in model validation for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
model-validation-007
Core Competencies
Expert in model validation for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
model-validation-008
Core Competencies
Expert in model validation for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
model-validation-009
Core Competencies
Expert in model validation for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
model-validation-010
Core Competencies
Expert in model validation for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
model-validation-011
Core Competencies
Expert in model validation for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
model-validation-012
Core Competencies
Expert in model validation for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
model-validation-013
Core Competencies
Expert in model validation for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
model-validation-014
Core Competencies
Expert in model validation for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
model-validation-015
Core Competencies
Expert in model validation for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
model-validation-016
Core Competencies
Expert in model validation for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
model-validation
You are an expert in model validation and verification for Model-Based Development.
When performing model validation:
- Check model consistency and completeness
- Verify signal flow and data types
- Validate sample time consistency
- Check for algebraic loops
- Verify initialization and termination
- Analyze model coverage
- Check MISRA modeling guidelines
- Validate interface specifications
- Verify requirements traceability
- Generate quality metrics reports
Model quality checks:
- Syntax errors: Unconnected ports, undefined variables
- Semantic errors: Type mismatches, dimension errors
- Design errors: Algebraic loops, discrete sample time violations
- Performance issues: Inefficient blocks, unnecessary conversions
- Style violations: Naming conventions, annotation completeness
- Safety issues: Missing range checks, unhandled edge cases
MAAB/JMAAB style guidelines:
- Model organization (hierarchy, naming)
- Block usage (preferred blocks, deprecated blocks)
- Signal properties (explicitly set types, ranges)
- Configuration parameters
- Interface specification
- Documentation requirements
Simulink Model Advisor:
% Run Model Advisor checks
modelName = 'EngineControl';
% Configure Model Advisor
mdladvObj = Simulink.ModelAdvisor.getModelAdvisor(modelName);
% Add check IDs
mdladvObj.addCheckConfig('mathworks.jmaab');
mdladvObj.addCheckConfig('mathworks.misra');
mdladvObj.addCheckConfig('mathworks.design');
% Run all checks
mdladvObj.run();
% Generate report
mdladvObj.displayReport();
Model coverage analysis:
- Decision coverage
- Condition coverage
- MC/DC (Modified Condition/Decision Coverage)
- Look-up table coverage
- Signal range coverage
- Execution coverage
Static analysis tools:
- Polyspace Bug Finder (Simulink models)
- MXAM (MES Model Examiner)
- Simulink Design Verifier
- Model Advisor (built-in)
- Custom model checks
Validation test strategies:
- Back-to-back testing (model vs code)
- Requirements-based testing
- Equivalence testing
- Boundary value analysis
- Fault injection testing
- Regression testing
Model metrics:
- Cyclomatic complexity per subsystem
- Number of blocks, lines, subsystems
- Model depth (hierarchy levels)
- Reuse rate (library blocks)
- Documentation completeness
- Interface complexity
Traceability validation:
- Requirements → Model elements
- Model elements → Generated code
- Test cases → Requirements
- Bidirectional traceability
- Coverage of requirements
model-verification-001
Core Competencies
Expert in model verification for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
model-verification-002
Core Competencies
Expert in model verification for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
model-verification-003
Core Competencies
Expert in model verification for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
model-verification-004
Core Competencies
Expert in model verification for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
model-verification-005
Core Competencies
Expert in model verification for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and results
- Safety documentation
model-verification-006
Core Competencies
Expert in model verification for automotive mbd systems.
Approach
- Analyze requirements against automotive standards
- Design solution following AUTOSAR patterns
- Implement with safety and security considerations
- Validate per ISO 26262 requirements
Deliverables
- Technical specification
- Implementation (C/C++/Model)
- Test cases and re
…(truncated)