Embedded Software Verification for IEC 61508 and ISO 26262
IEC 61508 and ISO 26262 certification for embedded software describes certain aspects of safety related to code verification. Embedded software engineers, project managers, and quality assurance managers are involved in the process of matching safety objectives of the standard with operational constraints at the development process level. Attend this webinar and learn more about how code verification products from MathWorks fit into the overall IEC 61508 certification process.
Highlights of this webinar include how to:
- Utilize Polyspace code verification products to help cover some tables of the IEC 61508 standard
- Effectively enforce MISRA C and MISRA C++ coding standards
- Reduce testing activities and still increase the confidence in the software reliability
- Understand the difference between finding errors and proving their absence
- Prove the absence of over/underflows, dividing by zeros, illegally dereferencing pointers, and other run-time errors
Presenter: Marc Lalo
Presenter Bio: Marc is the product manager for Polyspace products. He has been working in the embedded software verification and safety standards field for more than 10 years.
Recorded: 11 May 2010
Related Products
Learn More
Featured Product
Polyspace Bug Finder
Up Next:
Related Videos:
웹사이트 선택
번역된 콘텐츠를 보고 지역별 이벤트와 혜택을 살펴보려면 웹사이트를 선택하십시오. 현재 계신 지역에 따라 다음 웹사이트를 권장합니다:
또한 다음 목록에서 웹사이트를 선택하실 수도 있습니다.
사이트 성능 최적화 방법
최고의 사이트 성능을 위해 중국 사이트(중국어 또는 영어)를 선택하십시오. 현재 계신 지역에서는 다른 국가의 MathWorks 사이트 방문이 최적화되지 않았습니다.
미주
- América Latina (Español)
- Canada (English)
- United States (English)
유럽
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
아시아 태평양
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)