Timing correctness in safety-related automotive software

SAE Technical Papers

Volumn , Issue , 2011, Pages

  Zalman, Rafael ^a   Griessing, Alexander ^a   Emberson, Paul ^b  

^a INFINEON TECHNOLOGIES AG   (Germany)

^b RAPITA SYSTEMS LTD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMOTIVE INDUSTRY; STATIC ANALYSIS; TIMING CIRCUITS;

AUTOMOTIVE APPLICATIONS; AUTOMOTIVE SOFTWARE; FUNCTIONAL REQUIREMENT; PROGRAM STRUCTURES; SAFETY RELATED SOFTWARE; SYSTEM FUNCTIONALITY; WORST CASE SCENARIO; WORST-CASE EXECUTION TIME;

ACCIDENT PREVENTION;

EID: 85072493101     PISSN: 01487191     EISSN: 26883627     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (11)

1. ISO/DIS, 26262 Road vehicles-Functional safety, Parts 1-10, 2009.
2. Klobedanz, K., Kuznik, C., Thuy, A., and Mueller, W., "Timing modeling and analysis for AUTOSAR-based software development-a case study," in Design, Automation & Test in Europe Conference & Exhibition (DATE), 2010, pp. 642-645.
3. Kästner, D., et al., "Timing Validation of Automotive Software," in ISoLA, vol. 17, 2008, pp. 93-107.
4. Rapita Systems Ltd., RapiTime White Paper, 2008, http://www. rapitasystems.com/system/files/RapiTime-WhitePaper.pdf
5. Bernat, G., et al., "Identifying Opportunities for Worst-case Execution Time Reduction in an Avionics System," Ada User Journal, vol. 28, no. 3, pp. 189-194, September 2007.
6. IEC, 61508 Functional safety of electrical/electronic/programmable electronic safety-related systems, Parts 1-7, 2000.
7. Infineon, "SafeTcore-I Safety Driver User's Manual," Release v2.0, 2010.
8. Infineon, "SafeTcore AudoFS Safety Manual," Release v0.9, 2010.
9. AUTOSAR-AUTomotive Open Svstem ARchitecture. [Online]. http://www.autosar.org
10. AUTOSAR Development Partnership, Release 3.1, 2008, http://www.autosar. org/index.php?p=3&up=2&uup=0.
11. Johansson, R., and Heurung, T., "ISO-26262 Implications on Timing of Automotive E/E System Design Processes," in SAE World Congress & Exhibition, Detroit, 2009.