Try Mobilus Beta
Search tips
 This content is not included in your SAE MOBILUS subscription, or you are not logged in.

Incorporating ISO 26262 Concepts in an Automated Testing Toolchain Using Simulink Design Verifier™

Journal Article
2016-01-0032
ISSN: 1946-4614, e-ISSN: 1946-4622
DOI: https://doi.org/10.4271/2016-01-0032
Published April 05, 2016 by SAE International in United States
Incorporating ISO 26262 Concepts in an Automated Testing Toolchain Using Simulink Design Verifier™
Sector:
Citation: Khastgir, S., Dhadyalla, G., and Jennings, P., "Incorporating ISO 26262 Concepts in an Automated Testing Toolchain Using Simulink Design Verifier™," SAE Int. J. Passeng. Cars – Electron. Electr. Syst. 9(1):59-65, 2016, https://doi.org/10.4271/2016-01-0032.
Language: English

References

  1. Charette RN 2009 This car runs on code IEEE Spectr 46 3
  2. ISO 2011 Road vehicles - Functional safety (ISO 26262)
  3. Altinger H , Wotawa F , Schurius M 2014 Testing methods used in the automotive industry: results from a survey Proc. of the 2014 Workshop on Joining AcadeMiA and Industry Contributions to Test Automation and Model-Based Testing - JAMAICA 2014 10.1145/2631890.2631891
  4. Simulink Design Verifier 2015 MathWorks Inc. http://uk.mathworks.com/help/releases/R2015b/sldv/index.html October 9 2015
  5. BTC Embedded Systems AG EmbeddedTester 2015 http://www.btc-es.de/index.php?lang=2&idcatside=51 October 12 2015
  6. Rao , A. , McMurran , R. , and Jones , R. A Critical Analysis of Model-Based Formal Verification Efforts within the Automotive Industry SAE Int. J. Passeng. Cars - Electron. Electr. Syst. 1 1 77 83 2009 10.4271/2008-01-0220
  7. Nörenberg R , Reissing R , Weber J 2010 ISO 26262 conformant Verification Plan INFORMATIK 2010 Fähnrich PDK-P , Franczyk PDB 515 520
  8. Conrad M 2012 Verification and Validation According to ISO 26262 : A Workflow to Facilitate the Development of High-Integrity Software Proc ERTS 2012 Embed Real Time Softw ans Syst.
  9. Carlsson D 2013 Development of an ISO 26262 ASIL D compliant verification system Dissertation Linköping University
  10. Himmler , A. , Lamberg , K. , and Beine , M. Hardware-inthe-Loop Testing in the Context of ISO 26262 SAE Technical Paper 2012-01-0035 2012 10.4271/2012-01-0035
  11. Rana R et al. 2013 Increasing Efficiency of ISO 26262 Verification and Validation by Combining Fault Injection and Mutation Testing with Model Based Development Proc Int Conf Softw Eng Appl October 2015 12
  12. Rana R et al. 2014 Early Verification and Validation According to ISO 26262 by Combining Fault Injection and Mutation Testing Software Technologies Cordeiro J , Sinderen M van 164 179
  13. Schmidt , T. , Jin , S. , Rogalli , J. , Rogier , T. et al. Efficient Testing Framework for Simulink Models with MTCD and Automated Test Assessments in the Context of ISO 26262 SAE Int. J. Passeng. Cars - Electron. Electr. Syst. 7 1 166 177 2014 10.4271/2014-01-0306
  14. Kastner D , Ferdinand C 2012 Static Verification of Non-Functional Software Requirements in the ISO-26262 Automotive - Safety & Security Klenk H , Plödereder E 39 53
  15. MacNamee C , Heffernan D , Fogarty P 2014 Runtime verification monitoring for automotive embedded systems using the ISO 26262 Functional Safety Standard as a guide for the definition of the monitored properties IET Softw 8 5 193 203
  16. Systems and software engineering - Vocabulary 2010
  17. Natick M 2011 Simulink Verification Tools Qualified to ISO 26262 http://uk.mathworks.com/company/newsroom/simulink-verification-tools-qualified-to-iso-26262.html January 8 2016
  18. Simulink ® Design Verifier TM User’s Guide R 2015b 2015
  19. Miranda B , Masini H , Reis R 2015 Using Simulink Design Verifier for Automatic Generation of Requirements-Based Tests FM 2015: Formal Methods Bjørner N , Boer F de Springer International Publishing 601 604
  20. Rajeev , A. , Mohalik , S. , and Ramesh , S. Design Verification of Automotive Controller Models SAE Int. J. Passeng. Cars - Electron. Electr. Syst. 6 2 419 424 2013 10.4271/2013-01-0428
  21. Etienne JF , Fechter S , Juppeaux E 2010 Using Simulink Design Verifier for Proving Behavioral Properties on a Complex Safety Critical System in the Ground Transportation Domain Complex Systems Design & Management Aiguier M , Bretaudeau F , Krob D Springer Berlin Heidelberg 61 72
  22. MathWorks Polyspace Static Analysis MathWorks http://uk.mathworks.com/products/polyspace/ January 8 2016
  23. Schloßer A , Khastgir S , Jentges M , Jakoby B , Richenhagen J 2014 Test Driven Model Based Series Software Deveopment for Automotive Systems Proc. of the FISITA World Automotive Congress 2014 Maastricht, Netherlands
  24. Medikeri , M. , Tasky , T. , and Richenhagen , J. Automated Verification and Validation Methods for Transmission Control Software SAE Int. J. Passeng. Cars - Electron. Electr. Syst. 8 1 99 105 2015 10.4271/2015-01-0163

Cited By

Recommended Content

Technical Paper On the Design of a Task Based Human Simulation System
Technical Paper Does Vehicle Experimental Testing give a Reliable Idea of the Behavior of the Vehicle when Driven by the Customer?
Technical Paper Signal Processing for Reliability - Based Laboratory Test