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

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s