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

Verification and Validation According to IEC 61508: A Workflow to Facilitate the Development of High-Integrity Applications

Journal Article
2009-01-2929
ISSN: 1946-391X, e-ISSN: 1946-3928
DOI: https://doi.org/10.4271/2009-01-2929
Published October 06, 2009 by SAE International in United States
Verification and Validation According to IEC 61508: A Workflow to Facilitate the Development of High-Integrity Applications
Sector:
Citation: Conrad, M., Friedman, J., and Sandmann, G., "Verification and Validation According to IEC 61508: A Workflow to Facilitate the Development of High-Integrity Applications," SAE Int. J. Commer. Veh. 2(2):272-279, 2010, https://doi.org/10.4271/2009-01-2929.
Language: English

References

  1. Aldrich W. Coverage Analysis for Model-Based Design Tools TCS 2001
  2. Baresel A. Conrad M. Sadeghipour S. Wegener J. The Interplay Between Model Coverage and Code Coverage, 11 European Int. Conf. on Software Testing, Analysis and Review (EuroSTAR '03) Amsterdam, Netherlands 2003
  3. Begic G. Checking Modeling Standards Implementation The MathWorks News & Notes June 2007
  4. Conrad M. Fey I. Testing Automotive Control Software Navet N. Simonot-Lion F. Automotive Embedded Systems Handbook CRC Press 2009
  5. Conrad M. Model-Based Design for IEC 61508: Towards Translation Validation of Generated Code Proc. Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle Praxis, colocated with Software Engineering 2008 Munich February 2008
  6. Faller R. The Evolution of European Safety Standards exida.com 2002
  7. Fey I. Müller J. Conrad M. Model-Based Design for Safety-Related Applications Proc. Convergence 2008 Detroit, Ml, USA Oct. 2008
  8. IEC 61508-3:1998 Int. Standard Functional Safety of Electrical/Electronic/ Programmable Electronic Safety-Related Systems - Part 3: Software Requirements First 1998
  9. IEC 61508 Certification Kit The MathWorks, Inc. www.mathworks.com/products/iec-61508
  10. Jablonski T. Schumann H. Busse C Haussmann H. Hallmann U. Dreyer D. Schöttler F. Die neue elektromechanische Lenkung APA-BS, ATZelektronik 01/2008 3 2008 01 30 35
  11. Lovric T. Sicherheitsanforderungen an Fahrer-assistenzsysteme. 2. Sachverständigentag (SVT 06) 2006
  12. Stürmer I. Conrad M. Test Suite Design for Code Generation Tools 18. IEEE Int. Conf. on Automated Software Engineering (ASE '03) Montreal, Canada 2003
  13. Stürmer I. Conrad M. Ein Testverfahren für optimierende Codegeneratoren Inform. Forsch. Entwickl 19 4 213 223 2005
  14. Stürmer I. Conrad M. Dörr H. Pepper P. Systematic Testing of Model-Based Code Generators. IEEE Transactions on Software Engineering Sep 2007 622 634
  15. Smith D. J. Simpson K. G. L. Functional Safety Elsevier 2005
  16. Conrad M. Sadeghipour S. Wiesbrock H-W. Automatic Evaluation of ECU Software Tests SAE 2005 Transactions, Journal of Passenger Cars - Mechanical Systems March 2006

Cited By