Toyota SW
by Hongseok Lee
1. Software Logic Model checking
1.1. skip
1.2. Interrupt Masking method
1.3. Accelator Pedal Position Learning
1.4. Sensor Input ADC
1.5. Motor Drive IC
1.6. Port Register Inputs
1.7. PWM Functionality
2. Software Algorithm Design Analysis
2.1. Secret !!!!!!!
3. SW implementation study
3.1. naming convention
3.2. Quality tools
3.3. Basic code size metrics Camry05 Software
3.4. Coding Rules
3.4.1. skip!
3.5. Access to shared Global Vatriables
3.6. Data mirroring of Persistent Parameters
3.6.1. Secret !!!!
3.6.2. Small set of critical parameters is saved in two separate places in SRAM storage
3.6.3. Two copies are mirrored to increase the level of protection that is obtained in this way
3.6.4. This means that all the bits in one of the two copies stored are inverted from the other copy
4. Scope, Facilities & Resources
5. Technologies Applied
5.1. Static Analysis
5.1.1. Coverity
5.1.2. CodeSonar
5.1.3. Uno
5.2. Software Logic Model checking
5.2.1. SPIN
5.2.2. Swarm
5.3. SW Algorithm Design Analysis
5.3.1. Matlab
5.3.2. Simulink
5.3.3. Stateflow
6. Potential SW cause for UA
6.1. 1. Coding defects
6.2. 2. algorithmic flaws
6.3. 3. task interference
6.4. 4. insufficient fault protection
7. ECM SW implementation & Basic Architecture
7.1. Dev. Environment
7.1.1. Processor
7.1.1.1. NEC V850
7.1.2. SW
7.1.2.1. ISO/ANSI C
7.1.3. Compiler
7.1.3.1. GreenHills A.4.0
7.1.4. OS
7.1.4.1. OSEK
7.1.4.2. supported by AUTOSAR
7.2. Architecture
7.2.1. Secret !!!!!!!