Abstract
Model-based development has become a standard software development approach in the automotive field. Evidence for this is provided by its incorporation in the ISO 26262 safety and process standard. This standard proposes different measures and methods that can already be applied at model level. These techniques contribute towards ensuring and increasing the quality of the software that is finally generated and deployed on the embedded controller. The benefit of this approach is clear: Failures and defects are discovered earlier on in the development cycle. How quality measures and methods can be applied within development projects is however far from obvious. In this paper we introduce best practices for model reviews of software models with the aim of ensuring safety-related objectives and adherence to ISO 26262. We summarize the main benefits that can be achieved with our best practice approach, which is a combination of automated (tool supported) and manual reviews. Finally, we report on our review experiences with Simulink and TargetLink models of safety-related systems from serial projects.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
MES Strong Data Typing toolbox – guidelines and checks, http://www.model-engineers.com/en/our-products/model-examiner/sdt-toolbox.html
MISRA AC SLSF: Modelling design and style guidelines for the application of Simulink and Stateflow (2009) 978-906400-07-1
MISRA AC TL: Modelling style guidelines for the application of TargetLink in the context of code generation (2009) 978-906400-07-1
dSPACE Modeling Guidelines for TargetLink (2010)
dSPACE: TargetLink – Production Code Generator (2011), http://www.dspace.com
The MathWorks (product information) (2011), http://www.mathworks.com/products
The MathWorks simulink modeling guidelines for high-integrity systems (2011)
Fagan, M.E.: Design and code inspections to reduce errors in program development. IBM Syst. J. 38, 258–287 (1999)
Fey, I., Stürmer, I.: Quality assurance methods for model-based development: A survey and assessment. In: SAE World Congress & Exhibition, number 2007-01-0506 (2007)
MathWorks Automotive Advisory Board (MAAB). Control Algorithm Modeling Guidelines Using Matlab®, Simulink®, and Stateflow® (July 2011)
Stürmer, I., Pohlheim, H., Rogier, T.: Calculation and visualization of model complexity in model-based design of safety-related software. In: Keller, B. (ed.) Automotive - Safety & Security, pp. 69–82. Shaker (2010)
Stürmer, I., Stamatov, S., Eisemann, U.: Automated checking of misra targetlink and autosar guidelines. SAE Int. J. Passeng. Cars, 68–76 (2009)
Stürmer, I., Pohlheim, H.: Model Quality Assessment in Practice: How to Measure and Assess the Quality of Software Models During the Embedded Software Development Process. In: Proc. of Int. Congress of Embedded Real Time Software and Systems (ERTS 2012), Toulouse, France (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Stürmer, I., Salecker, E., Pohlheim, H. (2012). Reviewing Software Models in Compliance with ISO 26262. In: Ortmeier, F., Daniel, P. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2012. Lecture Notes in Computer Science, vol 7612. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33678-2_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-33678-2_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33677-5
Online ISBN: 978-3-642-33678-2
eBook Packages: Computer ScienceComputer Science (R0)