Software verification by analysis


모름지기 functional safety software를 개발한다고 하면 이정도 쯤은 해야…

놀랍게도 UA를 일으킨 Toyota의 ETC제품 sw에서 다음의 사항들에 대한 분석 evidence가 거의 없거나 매우 빈약했다.
(그렇다고 직접적인 연관이 있었다는 것은 아니고)

1. Worst-Case Execution Time Analysis

2. Memory Margin Analysis

3. Link and Memory Map Analysis

4. Load Analysis

5. Interrupt Analysis

6. Math Analysis

7. Errors and Warnings Analysis

8. Partitioning Analysis

Advertisements

답글 남기기

아래 항목을 채우거나 오른쪽 아이콘 중 하나를 클릭하여 로그 인 하세요:

WordPress.com 로고

WordPress.com의 계정을 사용하여 댓글을 남깁니다. 로그아웃 / 변경 )

Twitter 사진

Twitter의 계정을 사용하여 댓글을 남깁니다. 로그아웃 / 변경 )

Facebook 사진

Facebook의 계정을 사용하여 댓글을 남깁니다. 로그아웃 / 변경 )

Google+ photo

Google+의 계정을 사용하여 댓글을 남깁니다. 로그아웃 / 변경 )

%s에 연결하는 중