Matlab Polyspace官方培训资料

【实例简介】
在MBD开发过程中，将生成的代码进行静态测试能够在早期以最小的代价发现并解决bug。通过polyspace能够以一种更加便捷的手段验证simulink模型生成的代码。该资料不仅对polyspace的使用方法进行了详细的介绍，并在过程...
【实例截图】
【核心代码】
文件清单
├── course
│   ├── ex1_config
│   │   ├── sbr_simulation_start.slx
│   │   ├── seatbelt_reminder.c
│   │   ├── seatbelt_reminder.h
│   │   └── slprj
│   │       ├── _cgxe
│   │       │   └── sbr_simulation_start
│   │       ├── _cprj
│   │       ├── _jitprj
│   │       │   ├── jitEngineAccessInfo.mat
│   │       │   ├── nhEMJghXj0XgYsFiN0TFU.l
│   │       │   └── nhEMJghXj0XgYsFiN0TFU.mat
│   │       └── _slcc
│   │           └── EiWorgWW17Z2Z24UXsMWjC
│   │               ├── cmdmex.log
│   │               ├── customcode_EiWorgWW17Z2Z24UXsMWjC.h
│   │               ├── EiWorgWW17Z2Z24UXsMWjC_cclib.db
│   │               ├── EiWorgWW17Z2Z24UXsMWjC_cclib.def
│   │               ├── EiWorgWW17Z2Z24UXsMWjC_cclib.dll
│   │               ├── EiWorgWW17Z2Z24UXsMWjC_cclib.dll.manifest
│   │               ├── EiWorgWW17Z2Z24UXsMWjC_cclib.exp
│   │               ├── EiWorgWW17Z2Z24UXsMWjC_cclib.lib
│   │               ├── multiword_types.h
│   │               ├── rtwtypeschksum.mat
│   │               ├── rtwtypes.h
│   │               ├── slcc_instrum1_EiWorgWW17Z2Z24UXsMWjC_cclib.c
│   │               ├── slcc_instrum1_EiWorgWW17Z2Z24UXsMWjC_cclib.obj
│   │               ├── slcc_instrumtr_EiWorgWW17Z2Z24UXsMWjC_cclib.c
│   │               ├── slcc_instrumtr_EiWorgWW17Z2Z24UXsMWjC_cclib.obj
│   │               ├── slcc_interface_EiWorgWW17Z2Z24UXsMWjC.c
│   │               ├── slcc_interface_EiWorgWW17Z2Z24UXsMWjC.h
│   │               ├── slcc_interface_EiWorgWW17Z2Z24UXsMWjC.obj
│   │               └── __tmw_ignored_macros.txt
│   ├── ex2_misra
│   │   ├── seatbelt_reminder.c
│   │   └── seatbelt_reminder.h
│   ├── ex3_metrics
│   │   ├── seatbelt_reminder.c
│   │   └── seatbelt_reminder.h
│   ├── ex4_rte
│   │   ├── sbr_simulation_fixed.slx
│   │   ├── seatbelt_reminder.c
│   │   ├── seatbelt_reminder.h
│   │   └── slprj
│   │       ├── _cgxe
│   │       │   └── sbr_simulation_fixed
│   │       ├── _cprj
│   │       ├── _jitprj
│   │       │   ├── nhEMJghXj0XgYsFiN0TFU.l
│   │       │   └── nhEMJghXj0XgYsFiN0TFU.mat
│   │       └── _slcc
│   │           └── EiWorgWW17Z2Z24UXsMWjC
│   │               ├── cmdmex.log
│   │               ├── customcode_EiWorgWW17Z2Z24UXsMWjC.h
│   │               ├── EiWorgWW17Z2Z24UXsMWjC_cclib.db
│   │               ├── EiWorgWW17Z2Z24UXsMWjC_cclib.def
│   │               ├── EiWorgWW17Z2Z24UXsMWjC_cclib.dll
│   │               ├── EiWorgWW17Z2Z24UXsMWjC_cclib.dll.manifest
│   │               ├── EiWorgWW17Z2Z24UXsMWjC_cclib.exp
│   │               ├── EiWorgWW17Z2Z24UXsMWjC_cclib.lib
│   │               ├── multiword_types.h
│   │               ├── rtwtypeschksum.mat
│   │               ├── rtwtypes.h
│   │               ├── slcc_instrum1_EiWorgWW17Z2Z24UXsMWjC_cclib.c
│   │               ├── slcc_instrum1_EiWorgWW17Z2Z24UXsMWjC_cclib.obj
│   │               ├── slcc_instrumtr_EiWorgWW17Z2Z24UXsMWjC_cclib.c
│   │               ├── slcc_instrumtr_EiWorgWW17Z2Z24UXsMWjC_cclib.obj
│   │               ├── slcc_interface_EiWorgWW17Z2Z24UXsMWjC.c
│   │               ├── slcc_interface_EiWorgWW17Z2Z24UXsMWjC.h
│   │               ├── slcc_interface_EiWorgWW17Z2Z24UXsMWjC.obj
│   │               └── __tmw_ignored_macros.txt
│   ├── ex5_autosar
│   │   ├── arProject
│   │   │   ├── arxml
│   │   │   │   ├── mSwc002_component.arxml
│   │   │   │   ├── mSwc002_datatype.arxml
│   │   │   │   ├── mSwc002_implementation.arxml
│   │   │   │   └── mSwc002_interface.arxml
│   │   │   └── code
│   │   │       ├── dep2.c
│   │   │       ├── dep3.c
│   │   │       ├── dep.c
│   │   │       ├── dep.h
│   │   │       ├── Rte_swc001.h
│   │   │       ├── Rte_swc002.h
│   │   │       ├── swc001.c
│   │   │       ├── swc001.h
│   │   │       └── swc002.c
│   │   ├── codeExample
│   │   │   ├── arxml
│   │   │   │   ├── mSwc002_component.arxml
│   │   │   │   ├── mSwc002_datatype.arxml
│   │   │   │   ├── mSwc002_implementation.arxml
│   │   │   │   └── mSwc002_interface.arxml
│   │   │   ├── autosar_project
│   │   │   │   ├── AUTOSAR
│   │   │   │   │   ├── autosar_model_key_elements.xhtml
│   │   │   │   │   ├── Compiler.h
│   │   │   │   │   ├── MemMap.h
│   │   │   │   │   ├── Os.h
│   │   │   │   │   ├── pkg
│   │   │   │   │   │   └── tst002
│   │   │   │   │   │       ├── swc001
│   │   │   │   │   │       │   └── bhv001
│   │   │   │   │   │       │       ├── psar_behavior.xhtml
│   │   │   │   │   │       │       ├── psar_codeverification_options.txt
│   │   │   │   │   │       │       ├── psar_opaque_types.h
│   │   │   │   │   │       │       ├── psar_prove_main.c
│   │   │   │   │   │       │       ├── psar_prove_rte.h
│   │   │   │   │   │       │       ├── Rte_swc001.h
│   │   │   │   │   │       │       ├── Rte_swc001_Type.h
│   │   │   │   │   │       │       └── verification
│   │   │   │   │   │       │           ├── drs-template.xml
│   │   │   │   │   │       │           ├── Polyspace_R2019b_polyspace_03_17_2020-15h12.log
│   │   │   │   │   │       │           ├── ps_comments.db
│   │   │   │   │   │       │           ├── ps_results.pscp
│   │   │   │   │   │       │           └── ps_sources.db
│   │   │   │   │   │       └── swc002
│   │   │   │   │   │           └── bhv
│   │   │   │   │   │               ├── psar_behavior.xhtml
│   │   │   │   │   │               ├── psar_codeverification_options.txt
│   │   │   │   │   │               ├── psar_opaque_types.h
│   │   │   │   │   │               ├── psar_prove_main.c
│   │   │   │   │   │               ├── psar_prove_rte.h
│   │   │   │   │   │               ├── Rte_swc002.h
│   │   │   │   │   │               ├── Rte_swc002_Type.h
│   │   │   │   │   │               └── verification
│   │   │   │   │   │                   ├── drs-template.xml
│   │   │   │   │   │                   ├── Polyspace_R2019b_polyspace_03_17_2020-15h12.log
│   │   │   │   │   │                   ├── ps_comments.db
│   │   │   │   │   │                   ├── ps_results.pscp
│   │   │   │   │   │                   └── ps_sources.db
│   │   │   │   │   ├── Platform_Types.h
│   │   │   │   │   ├── psar_target_stdint.h
│   │   │   │   │   ├── psar_user_settings.h
│   │   │   │   │   ├── psar_util.h
│   │   │   │   │   ├── Rte.h
│   │   │   │   │   ├── Rte_Main.h
│   │   │   │   │   ├── Rte_Type.h
│   │   │   │   │   └── Std_Types.h
│   │   │   │   ├── psar_project.log.xhtml
│   │   │   │   ├── psar_project.psprj
│   │   │   │   └── psar_project.xhtml
│   │   │   ├── code
│   │   │   │   ├── dep2.c
│   │   │   │   ├── dep3.c
│   │   │   │   ├── dep.c
│   │   │   │   ├── dep.h
│   │   │   │   ├── Rte_swc001.h
│   │   │   │   ├── Rte_swc002.h
│   │   │   │   ├── swc001.c
│   │   │   │   ├── swc001.h
│   │   │   │   └── swc002.c
│   │   │   ├── launchAutosar.m
│   │   │   ├── polyspaceAutosar.m
│   │   │   └── runAnalysis.m
│   │   ├── modelExample
│   │   │   ├── Step1_ImportComposition
│   │   │   │   ├── s0_clearEnv.m
│   │   │   │   ├── s1_importComposition.m
│   │   │   │   ├── s2_updateModel.m
│   │   │   │   ├── ThrottlePositionControlComposition.arxml
│   │   │   │   └── ThrottlePositionControlComposition_updated.arxml
│   │   │   ├── Step2_CodeGeneration
│   │   │   │   ├── AccelerationPedalPositionSensor.slx
│   │   │   │   ├── Controller.slx
│   │   │   │   ├── s0_clearEnv.m
│   │   │   │   ├── s1_CodeGen.m
│   │   │   │   ├── ThrottlePositionActuator.slx
│   │   │   │   ├── ThrottlePositionControlComposition.slx
│   │   │   │   ├── ThrottlePositionControlSystem.slx
│   │   │   │   ├── ThrottlePositionMonitor.slx
│   │   │   │   └── ThrottlePositionSensor.slx
│   │   │   └── Step3_CodeValidation
│   │   │       ├── AccelerationPedalPositionSensor_autosar_rtw
│   │   │       │   ├── AccelerationPedalPositionSensor.bat
│   │   │       │   ├── AccelerationPedalPositionSensor.c
│   │   │       │   ├── AccelerationPedalPositionSensor_component.arxml
│   │   │       │   ├── AccelerationPedalPositionSensor_datatype.arxml
│   │   │       │   ├── AccelerationPedalPositionSensor.h
│   │   │       │   ├── AccelerationPedalPositionSensor_implementation.arxml
│   │   │       │   ├── AccelerationPedalPositionSensor_interface.arxml
│   │   │       │   ├── AccelerationPedalPositionSensor.mk
│   │   │       │   ├── AccelerationPedalPositionSensor_private.h
│   │   │       │   ├── AccelerationPedalPositionSensor_ref.rsp
│   │   │       │   ├── AccelerationPedalPositionSensor.rsp
│   │   │       │   ├── AccelerationPedalPositionSensor_types.h
│   │   │       │   ├── buildInfo.mat
│   │   │       │   ├── codedescriptor.dmr
│   │   │       │   ├── codeInfo.mat
│   │   │       │   ├── defines.txt
│   │   │       │   ├── html
│   │   │       │   │   ├── AccelerationPedalPositionSensor_c.html
│   │   │       │   │   ├── AccelerationPedalPositionSensor_codegen_rpt.html
│   │   │       │   │   ├── AccelerationPedalPositionSensor_component_arxml.html
│   │   │       │   │   ├── AccelerationPedalPositionSensor_contents.html
│   │   │       │   │   ├── AccelerationPedalPositionSensor_datatype_arxml.html
│   │   │       │   │   ├── AccelerationPedalPositionSensor_h.html
│   │   │       │   │   ├── AccelerationPedalPositionSensor_implementation_arxml.html
│   │   │       │   │   ├── AccelerationPedalPositionSensor_interface_arxml.html
│   │   │       │   │   ├── AccelerationPedalPositionSensor_interface.html
│   │   │       │   │   ├── AccelerationPedalPositionSensor_metrics.html
│   │   │       │   │   ├── AccelerationPedalPositionSensor_private_h.html
│   │   │       │   │   ├── AccelerationPedalPositionSensor_replacements.html
│   │   │       │   │   ├── AccelerationPedalPositionSensor_subsystems.html
│   │   │       │   │   ├── AccelerationPedalPositionSensor_survey.html
│   │   │       │   │   ├── AccelerationPedalPositionSensor_trace.html
│   │   │       │   │   ├── AccelerationPedalPositionSensor_traceInfo.js
│   │   │       │   │   ├── AccelerationPedalPositionSensor_types_h.html
│   │   │       │   │   ├── Compiler_h.html
│   │   │       │   │   ├── css
│   │   │       │   │   │   └── coder_app.css
│   │   │       │   │   ├── define.js
│   │   │       │   │   ├── hilite_warning.png
│   │   │       │   │   ├── inspect.html
│   │   │       │   │   ├── js
│   │   │       │   │   │   └── coder_app.js
│   │   │       │   │   ├── nav.html
│   │   │       │   │   ├── navToolbar.html
│   │   │       │   │   ├── Platform_Types_h.html
│   │   │       │   │   ├── Rte_AccelerationPedalPositionSensor_c.html
│   │   │       │   │   ├── Rte_AccelerationPedalPositionSensor_h.html
│   │   │       │   │   ├── Rte_Type_h.html
│   │   │       │   │   ├── rtwhilite.js
│   │   │       │   │   ├── rtwmsg.html
│   │   │       │   │   ├── rtwreport.css
│   │   │       │   │   ├── rtwreport_utils.js
│   │   │       │   │   ├── rtwshrink.js
│   │   │       │   │   ├── rtwtypes_h.html
│   │   │       │   │   ├── search.js
│   │   │       │   │   ├── spinner.gif
│   │   │       │   │   ├── Std_Types_h.html
│   │   │       │   │   ├── traceInfo_flag.js
│   │   │       │   │   └── traceInfo.mat
│   │   │       │   ├── modelsources.txt
│   │   │       │   ├── rtw_proj.tmw
│   │   │       │   ├── rtwtypeschksum.mat
│   │   │       │   ├── rtwtypes.h
│   │   │       │   └── stub
│   │   │       │       ├── Compiler.h
│   │   │       │       ├── Platform_Types.h
│   │   │       │       ├── Rte_AccelerationPedalPositionSensor.c
│   │   │       │       ├── Rte_AccelerationPedalPositionSensor.h
│   │   │       │       ├── Rte_Type.h
│   │   │       │       └── Std_Types.h
│   │   │       ├── argrep.m
│   │   │       ├── autosar_project
│   │   │       │   ├── AUTOSAR
│   │   │       │   │   ├── autosar_model_key_elements.xhtml
│   │   │       │   │   ├── Company
│   │   │       │   │   │   └── Components
│   │   │       │   │   │       └── Controller
│   │   │       │   │   │           └── Controller_InternalBehavior
│   │   │       │   │   │               ├── psar_behavior.xhtml
│   │   │       │   │   │               ├── psar_codeverification_options.txt
│   │   │       │   │   │               ├── psar_opaque_types.h
│   │   │       │   │   │               ├── psar_prove_main.c
│   │   │       │   │   │               ├── psar_prove_rte.h
│   │   │       │   │   │               ├── Rte_Controller.h
│   │   │       │   │   │               ├── Rte_Controller_Type.h
│   │   │       │   │   │               └── verification
│   │   │       │   │   │                   ├── drs-template.xml
│   │   │       │   │   │                   ├── Polyspace_R2019b_polyspace_03_17_2020-15h46.log
│   │   │       │   │   │                   ├── ps_comments.db
│   │   │       │   │   │                   ├── ps_results.pscp
│   │   │       │   │   │                   └── ps_sources.db
│   │   │       │   │   ├── Compiler.h
│   │   │       │   │   ├── MemMap.h
│   │   │       │   │   ├── Os.h
│   │   │       │   │   ├── Platform_Types.h
│   │   │       │   │   ├── psar_target_stdint.h
│   │   │       │   │   ├── psar_user_settings.h
│   │   │       │   │   ├── psar_util.h
│   │   │       │   │   ├── Rte.h
│   │   │       │   │   ├── Rte_Main.h
│   │   │       │   │   ├── Rte_Type.h
│   │   │       │   │   └── Std_Types.h
│   │   │       │   ├── psar_project.log.xhtml
│   │   │       │   ├── psar_project.psprj
│   │   │       │   └── psar_project.xhtml
│   │   │       ├── Controller_autosar_rtw
│   │   │       │   ├── buildInfo.mat
│   │   │       │   ├── codedescriptor.dmr
│   │   │       │   ├── codeInfo.mat
│   │   │       │   ├── Controller.bat
│   │   │       │   ├── Controller.c
│   │   │       │   ├── Controller_component.arxml
│   │   │       │   ├── Controller_datatype.arxml
│   │   │       │   ├── Controller.h
│   │   │       │   ├── Controller_implementation.arxml
│   │   │       │   ├── Controller_interface.arxml
│   │   │       │   ├── Controller.mk
│   │   │       │   ├── Controller_private.h
│   │   │       │   ├── Controller_ref.rsp
│   │   │       │   ├── Controller.rsp
│   │   │       │   ├── Controller_types.h
│   │   │       │   ├── defines.txt
│   │   │       │   ├── html
│   │   │       │   │   ├── Compiler_h.html
│   │   │       │   │   ├── Controller_c.html
│   │   │       │   │   ├── Controller_codegen_rpt.html
│   │   │       │   │   ├── Controller_component_arxml.html
│   │   │       │   │   ├── Controller_contents.html
│   │   │       │   │   ├── Controller_datatype_arxml.html
│   │   │       │   │   ├── Controller_h.html
│   │   │       │   │   ├── Controller_implementation_arxml.html
│   │   │       │   │   ├── Controller_interface_arxml.html
│   │   │       │   │   ├── Controller_interface.html
│   │   │       │   │   ├── Controller_metrics.html
│   │   │       │   │   ├── Controller_private_h.html
│   │   │       │   │   ├── Controller_replacements.html
│   │   │       │   │   ├── Controller_subsystems.html
│   │   │       │   │   ├── Controller_survey.html
│   │   │       │   │   ├── Controller_trace.html
│   │   │       │   │   ├── Controller_traceInfo.js
│   │   │       │   │   ├── Controller_types_h.html
│   │   │       │   │   ├── css
│   │   │       │   │   │   └── coder_app.css
│   │   │       │   │   ├── define.js
│   │   │       │   │   ├── hilite_warning.png
│   │   │       │   │   ├── inspect.html
│   │   │       │   │   ├── js
│   │   │       │   │   │   └── coder_app.js
│   │   │       │   │   ├── nav.html
│   │   │       │   │   ├── navToolbar.html
│   │   │       │   │   ├── Platform_Types_h.html
│   │   │       │   │   ├── Rte_Controller_h.html
│   │   │       │   │   ├── Rte_Type_h.html
│   │   │       │   │   ├── rtwhilite.js
│   │   │       │   │   ├── rtwmsg.html
│   │   │       │   │   ├── rtwreport.css
│   │   │       │   │   ├── rtwreport_utils.js
│   │   │       │   │   ├── rtwshrink.js
│   │   │       │   │   ├── rtwtypes_h.html
│   │   │       │   │   ├── search.js
│   │   │       │   │   ├── spinner.gif
│   │   │       │   │   ├── Std_Types_h.html
│   │   │       │   │   ├── traceInfo_flag.js
│   │   │       │   │   └── traceInfo.mat
│   │   │       │   ├── modelsources.txt
│   │   │       │   ├── rtw_proj.tmw
│   │   │       │   ├── rtwtypeschksum.mat
│   │   │       │   ├── rtwtypes.h
│   │   │       │   └── stub
│   │   │       │       ├── Compiler.h
│   │   │       │       ├── Platform_Types.h
│   │   │       │       ├── Rte_Controller.h
│   │   │       │       ├── Rte_Type.h
│   │   │       │       └── Std_Types.h
│   │   │       ├── launch_on_all_SWCs.m
│   │   │       ├── ModelLevelVerification.mlapp
│   │   │       ├── polyspaceAutosar.m
│   │   │       ├── Polyspace_logo.png
│   │   │       ├── polyspaceView.m
│   │   │       ├── psar_block_code_launch.m
│   │   │       ├── psar_block_code_open_results.m
│   │   │       ├── slprj
│   │   │       │   ├── autosar
│   │   │       │   │   ├── AccelerationPedalPositionSensor
│   │   │       │   │   │   └── tmwinternal
│   │   │       │   │   │       ├── binfo.mat
│   │   │       │   │   │       ├── CompileInfo.xml
│   │   │       │   │   │       ├── minfo.mat
│   │   │       │   │   │       └── tr
│   │   │       │   │   ├── Controller
│   │   │       │   │   │   └── tmwinternal
│   │   │       │   │   │       ├── binfo.mat
│   │   │       │   │   │       ├── CompileInfo.xml
│   │   │       │   │   │       ├── minfo.mat
│   │   │       │   │   │       └── tr
│   │   │       │   │   ├── _sharedutils
│   │   │       │   │   │   ├── shared_file.dmr
│   │   │       │   │   │   └── tflSUInfo.mat
│   │   │       │   │   ├── ThrottlePositionActuator
│   │   │       │   │   │   └── tmwinternal
│   │   │       │   │   │       ├── binfo.mat
│   │   │       │   │   │       ├── CompileInfo.xml
│   │   │       │   │   │       ├── minfo.mat
│   │   │       │   │   │       └── tr
│   │   │       │   │   ├── ThrottlePositionMonitor
│   │   │       │   │   │   └── tmwinternal
│   │   │       │   │   │       ├── binfo.mat
│   │   │       │   │   │       ├── CompileInfo.xml
│   │   │       │   │   │       ├── minfo.mat
│   │   │       │   │   │       └── tr
│   │   │       │   │   └── ThrottlePositionSensor
│   │   │       │   │       └── tmwinternal
│   │   │       │   │           ├── binfo.mat
│   │   │       │   │           ├── CompileInfo.xml
│   │   │       │   │           ├── minfo.mat
│   │   │       │   │           └── tr
│   │   │       │   ├── sim
│   │   │       │   │   └── varcache
│   │   │       │   │       ├── AccelerationPedalPositionSensor
│   │   │       │   │       │   ├── checksumOfCache.mat
│   │   │       │   │       │   ├── tmwinternal
│   │   │       │   │       │   │   └── simulink_cache.xml
│   │   │       │   │       │   └── varInfo.mat
│   │   │       │   │       ├── ThrottlePositionActuator
│   │   │       │   │       │   ├── checksumOfCache.mat
│   │   │       │   │       │   ├── tmwinternal
│   │   │       │   │       │   │   └── simulink_cache.xml
│   │   │       │   │       │   └── varInfo.mat
│   │   │       │   │       ├── ThrottlePositionMonitor
│   │   │       │   │       │   ├── checksumOfCache.mat
│   │   │       │   │       │   ├── tmwinternal
│   │   │       │   │       │   │   └── simulink_cache.xml
│   │   │       │   │       │   └── varInfo.mat
│   │   │       │   │       └── ThrottlePositionSensor
│   │   │       │   │           ├── checksumOfCache.mat
│   │   │       │   │           ├── tmwinternal
│   │   │       │   │           │   └── simulink_cache.xml
│   │   │       │   │           └── varInfo.mat
│   │   │       │   └── sl_proj.tmw
│   │   │       ├── ThrottlePositionActuator_autosar_rtw
│   │   │       │   ├── buildInfo.mat
│   │   │       │   ├── codedescriptor.dmr
│   │   │       │   ├── codeInfo.mat
│   │   │       │   ├── defines.txt
│   │   │       │   ├── html
│   │   │       │   │   ├── Compiler_h.html
│   │   │       │   │   ├── css
│   │   │       │   │   │   └── coder_app.css
│   │   │       │   │   ├── define.js
│   │   │       │   │   ├── hilite_warning.png
│   │   │       │   │   ├── inspect.html
│   │   │       │   │   ├── js
│   │   │       │   │   │   └── coder_app.js
│   │   │       │   │   ├── nav.html
│   │   │       │   │   ├── navToolbar.html
│   │   │       │   │   ├── Platform_Types_h.html
│   │   │       │   │   ├── Rte_ThrottlePositionActuator_c.html
│   │   │       │   │   ├── Rte_ThrottlePositionActuator_h.html
│   │   │       │   │   ├── Rte_Type_h.html
│   │   │       │   │   ├── rtwhilite.js
│   │   │       │   │   ├── rtwmsg.html
│   │   │       │   │   ├── rtwreport.css
│   │   │       │   │   ├── rtwreport_utils.js
│   │   │       │   │   ├── rtwshrink.js
│   │   │       │   │   ├── rtwtypes_h.html
│   │   │       │   │   ├── search.js
│   │   │       │   │   ├── spinner.gif
│   │   │       │   │   ├── Std_Types_h.html
│   │   │       │   │   ├── ThrottlePositionActuator_c.html
│   │   │       │   │   ├── ThrottlePositionActuator_codegen_rpt.html
│   │   │       │   │   ├── ThrottlePositionActuator_component_arxml.html
│   │   │       │   │   ├── ThrottlePositionActuator_contents.html
│   │   │       │   │   ├── ThrottlePositionActuator_datatype_arxml.html
│   │   │       │   │   ├── ThrottlePositionActuator_h.html
│   │   │       │   │   ├── ThrottlePositionActuator_implementation_arxml.html
│   │   │       │   │   ├── ThrottlePositionActuator_interface_arxml.html
│   │   │       │   │   ├── ThrottlePositionActuator_interface.html
│   │   │       │   │   ├── ThrottlePositionActuator_metrics.html
│   │   │       │   │   ├── ThrottlePositionActuator_private_h.html
│   │   │       │   │   ├── ThrottlePositionActuator_replacements.html
│   │   │       │   │   ├── ThrottlePositionActuator_subsystems.html
│   │   │       │   │   ├── ThrottlePositionActuator_survey.html
│   │   │       │   │   ├── ThrottlePositionActuator_trace.html
│   │   │       │   │   ├── ThrottlePositionActuator_traceInfo.js
│   │   │       │   │   ├── ThrottlePositionActuator_types_h.html
│   │   │       │   │   ├── traceInfo_flag.js
│   │   │       │   │   └── traceInfo.mat
│   │   │       │   ├── modelsources.txt
│   │   │       │   ├── rtw_proj.tmw
│   │   │       │   ├── rtwtypeschksum.mat
│   │   │       │   ├── rtwtypes.h
│   │   │       │   ├── stub
│   │   │       │   │   ├── Compiler.h
│   │   │       │   │   ├── Platform_Types.h
│   │   │       │   │   ├── Rte_ThrottlePositionActuator.c
│   │   │       │   │   ├── Rte_ThrottlePositionActuator.h
│   │   │       │   │   ├── Rte_Type.h
│   │   │       │   │   └── Std_Types.h
│   │   │       │   ├── ThrottlePositionActuator.bat
│   │   │       │   ├── ThrottlePositionActuator.c
│   │   │       │   ├── ThrottlePositionActuator_component.arxml
│   │   │       │   ├── ThrottlePositionActuator_datatype.arxml
│   │   │       │   ├── ThrottlePositionActuator.h
│   │   │       │   ├── ThrottlePositionActuator_implementation.arxml
│   │   │       │   ├── ThrottlePositionActuator_interface.arxml
│   │   │       │   ├── ThrottlePositionActuator.mk
│   │   │       │   ├── ThrottlePositionActuator_private.h
│   │   │       │   ├── ThrottlePositionActuator_ref.rsp
│   │   │       │   ├── ThrottlePositionActuator.rsp
│   │   │       │   └── ThrottlePositionActuator_types.h
│   │   │       ├── ThrottlePositionMonitor_autosar_rtw
│   │   │       │   ├── buildInfo.mat
│   │   │       │   ├── codedescriptor.dmr
│   │   │       │   ├── codeInfo.mat
│   │   │       │   ├── defines.txt
│   │   │       │   ├── html
│   │   │       │   │   ├── Compiler_h.html
│   │   │       │   │   ├── css
│   │   │       │   │   │   └── coder_app.css
│   │   │       │   │   ├── define.js
│   │   │       │   │   ├── hilite_warning.png
│   │   │       │   │   ├── inspect.html
│   │   │       │   │   ├── js
│   │   │       │   │   │   └── coder_app.js
│   │   │       │   │   ├── nav.html
│   │   │       │   │   ├── navToolbar.html
│   │   │       │   │   ├── Platform_Types_h.html
│   │   │       │   │   ├── Rte_ThrottlePositionMonitor_h.html
│   │   │       │   │   ├── Rte_Type_h.html
│   │   │       │   │   ├── rtwhilite.js
│   │   │       │   │   ├── rtwmsg.html
│   │   │       │   │   ├── rtwreport.css
│   │   │       │   │   ├── rtwreport_utils.js
│   │   │       │   │   ├── rtwshrink.js
│   │   │       │   │   ├── rtwtypes_h.html
│   │   │       │   │   ├── search.js
│   │   │       │   │   ├── spinner.gif
│   │   │       │   │   ├── Std_Types_h.html
│   │   │       │   │   ├── ThrottlePositionMonitor_c.html
│   │   │       │   │   ├── ThrottlePositionMonitor_codegen_rpt.html
│   │   │       │   │   ├── ThrottlePositionMonitor_component_arxml.html
│   │   │       │   │   ├── ThrottlePositionMonitor_contents.html
│   │   │       │   │   ├── ThrottlePositionMonitor_data_c.html
│   │   │       │   │   ├── ThrottlePositionMonitor_datatype_arxml.html
│   │   │       │   │   ├── ThrottlePositionMonitor_h.html
│   │   │       │   │   ├── ThrottlePositionMonitor_implementation_arxml.html
│   │   │       │   │   ├── ThrottlePositionMonitor_interface_arxml.html
│   │   │       │   │   ├── ThrottlePositionMonitor_interface.html
│   │   │       │   │   ├── ThrottlePositionMonitor_metrics.html
│   │   │       │   │   ├── ThrottlePositionMonitor_private_h.html
│   │   │       │   │   ├── ThrottlePositionMonitor_replacements.html
│   │   │       │   │   ├── ThrottlePositionMonitor_subsystems.html
│   │   │       │   │   ├── ThrottlePositionMonitor_survey.html
│   │   │       │   │   ├── ThrottlePositionMonitor_trace.html
│   │   │       │   │   ├── ThrottlePositionMonitor_traceInfo.js
│   │   │       │   │   ├── ThrottlePositionMonitor_types_h.html
│   │   │       │   │   ├── traceInfo_flag.js
│   │   │       │   │   └── traceInfo.mat
│   │   │       │   ├── modelsources.txt
│   │   │       │   ├── rtw_proj.tmw
│   │   │       │   ├── rtwtypeschksum.mat
│   │   │       │   ├── rtwtypes.h
│   │   │       │   ├── stub
│   │   │       │   │   ├── Compiler.h
│   │   │       │   │   ├── Platform_Types.h
│   │   │       │   │   ├── Rte_ThrottlePositionMonitor.h
│   │   │       │   │   ├── Rte_Type.h
│   │   │       │   │   └── Std_Types.h
│   │   │       │   ├── ThrottlePositionMonitor.bat
│   │   │       │   ├── ThrottlePositionMonitor.c
│   │   │       │   ├── ThrottlePositionMonitor_component.arxml
│   │   │       │   ├── ThrottlePositionMonitor_data.c
│   │   │       │   ├── ThrottlePositionMonitor_datatype.arxml
│   │   │       │   ├── ThrottlePositionMonitor.h
│   │   │       │   ├── ThrottlePositionMonitor_implementation.arxml
│   │   │       │   ├── ThrottlePositionMonitor_interface.arxml
│   │   │       │   ├── ThrottlePositionMonitor.mk
│   │   │       │   ├── ThrottlePositionMonitor_private.h
│   │   │       │   ├── ThrottlePositionMonitor_ref.rsp
│   │   │       │   ├── ThrottlePositionMonitor.rsp
│   │   │       │   └── ThrottlePositionMonitor_types.h
│   │   │       ├── ThrottlePositionSensor_autosar_rtw
│   │   │       │   ├── buildInfo.mat
│   │   │       │   ├── codedescriptor.dmr
│   │   │       │   ├── codeInfo.mat
│   │   │       │   ├── defines.txt
│   │   │       │   ├── html
│   │   │       │   │   ├── Compiler_h.html
│   │   │       │   │   ├── css
│   │   │       │   │   │   └── coder_app.css
│   │   │       │   │   ├── define.js
│   │   │       │   │   ├── hilite_warning.png
│   │   │       │   │   ├── inspect.html
│   │   │       │   │   ├── js
│   │   │       │   │   │   └── coder_app.js
│   │   │       │   │   ├── nav.html
│   │   │       │   │   ├── navToolbar.html
│   │   │       │   │   ├── Platform_Types_h.html
│   │   │       │   │   ├── Rte_ThrottlePositionSensor_c.html
│   │   │       │   │   ├── Rte_ThrottlePositionSensor_h.html
│   │   │       │   │   ├── Rte_Type_h.html
│   │   │       │   │   ├── rtwhilite.js
│   │   │       │   │   ├── rtwmsg.html
│   │   │       │   │   ├── rtwreport.css
│   │   │       │   │   ├── rtwreport_utils.js
│   │   │       │   │   ├── rtwshrink.js
│   │   │       │   │   ├── rtwtypes_h.html
│   │   │       │   │   ├── search.js
│   │   │       │   │   ├── spinner.gif
│   │   │       │   │   ├── Std_Types_h.html
│   │   │       │   │   ├── ThrottlePositionSensor_c.html
│   │   │       │   │   ├── ThrottlePositionSensor_codegen_rpt.html
│   │   │       │   │   ├── ThrottlePositionSensor_component_arxml.html
│   │   │       │   │   ├── ThrottlePositionSensor_contents.html
│   │   │       │   │   ├── ThrottlePositionSensor_datatype_arxml.html
│   │   │       │   │   ├── ThrottlePositionSensor_h.html
│   │   │       │   │   ├── ThrottlePositionSensor_implementation_arxml.html
│   │   │       │   │   ├── ThrottlePositionSensor_interface_arxml.html
│   │   │       │   │   ├── ThrottlePositionSensor_interface.html
│   │   │       │   │   ├── ThrottlePositionSensor_metrics.html
│   │   │       │   │   ├── ThrottlePositionSensor_private_h.html
│   │   │       │   │   ├── ThrottlePositionSensor_replacements.html
│   │   │       │   │   ├── ThrottlePositionSensor_subsystems.html
│   │   │       │   │   ├── ThrottlePositionSensor_survey.html
│   │   │       │   │   ├── ThrottlePositionSensor_trace.html
│   │   │       │   │   ├── ThrottlePositionSensor_traceInfo.js
│   │   │       │   │   ├── ThrottlePositionSensor_types_h.html
│   │   │       │   │   ├── traceInfo_flag.js
│   │   │       │   │   └── traceInfo.mat
│   │   │       │   ├── modelsources.txt
│   │   │       │   ├── rtw_proj.tmw
│   │   │       │   ├── rtwtypeschksum.mat
│   │   │       │   ├── rtwtypes.h
│   │   │       │   ├── stub
│   │   │       │   │   ├── Compiler.h
│   │   │       │   │   ├── Platform_Types.h
│   │   │       │   │   ├── Rte_ThrottlePositionSensor.c
│   │   │       │   │   ├── Rte_ThrottlePositionSensor.h
│   │   │       │   │   ├── Rte_Type.h
│   │   │       │   │   └── Std_Types.h
│   │   │       │   ├── ThrottlePositionSensor.bat
│   │   │       │   ├── ThrottlePositionSensor.c
│   │   │       │   ├── ThrottlePositionSensor_component.arxml
│   │   │       │   ├── ThrottlePositionSensor_datatype.arxml
│   │   │       │   ├── ThrottlePositionSensor.h
│   │   │       │   ├── ThrottlePositionSensor_implementation.arxml
│   │   │       │   ├── ThrottlePositionSensor_interface.arxml
│   │   │       │   ├── ThrottlePositionSensor.mk
│   │   │       │   ├── ThrottlePositionSensor_private.h
│   │   │       │   ├── ThrottlePositionSensor_ref.rsp
│   │   │       │   ├── ThrottlePositionSensor.rsp
│   │   │       │   └── ThrottlePositionSensor_types.h
│   │   │       └── upload_metrics.m
│   │   └── multiTasking
│   │       ├── example_osek_multitasking.c
│   │       ├── example_osek_multitasking.oil
│   │       └── include
│   │           └── example_osek_multi.h
│   ├── resource
│   │   ├── Defects, HIS, MISRA C 2012.xml
│   │   └── sbr_logic.png
│   └── solution
│       ├── ex1_config_solution
│       │   └── workshop_template.cft
│       ├── ex2_misra_solution
│       │   ├── seatbelt_reminder.c
│       │   └── seatbelt_reminder.h
│       ├── ex3_metrics_solution
│       │   ├── 1_sources_more_comments
│       │   │   ├── 0_ReadMe.txt
│       │   │   ├── seatbelt_reminder.c
│       │   │   └── seatbelt_reminder.h
│       │   ├── 2_sources_cyclomatic_lang_scope_call_lvls
│       │   │   ├── 0_ReadMe.txt
│       │   │   ├── seatbelt_reminder.c
│       │   │   └── seatbelt_reminder.h
│       │   ├── 3_sources_with_model_and_function_separated
│       │   │   ├── seatbelt_reminder.c
│       │   │   ├── seatbelt_reminder.h
│       │   │   └── sfun_seatbelt_reminder.mexw64
│       │   └── final
│       │       ├── seatbelt_reminder.c
│       │       └── seatbelt_reminder.h
│       └── ex4_rte_solution
│           ├── 1_sources_check_NULL_pointer
│           │   ├── seatbelt_reminder.c
│           │   └── seatbelt_reminder.h
│           ├── 2_sources_with_model
│           │   ├── seatbelt_reminder.c
│           │   └── seatbelt_reminder.h
│           └── final
│               ├── seatbelt_reminder.c
│               └── seatbelt_reminder.h
├── PolyspaceWorkshop19b.pdf
└── startup.m

110 directories, 561 files