[120905][수업]임베디드소프트웨어인허가특별연구

- 최진영 교수님
- AVR 버터플라이 킷을 이용하여 실습
- 수업을 하는 이유 : 임베디드 소프트웨어를 잘 만들기 위해 -> 기계에 내장되므로 중요
- 표준을 만들어서 제공하고, 표준에 따라 만들었는가를 인허가 함


< V 모델 >

명세  **                          **  System Test
             **                    **
      설계  **              **  Integration Test
                   **        **
             코딩 **  **  Module(Unit) Test
                         **


< Test 방법 >

- 명세 & 설계 단계

1. 정형기법
2. Semi-Formal Method
3. Simulation

- 코딩 단계

1. 정적분석도구
2. Model Checking
3. Bounded Checking

- Assurane Case ?
- MATLAB, Simul Link
- Future Shock, Third Wave
- Sir Tim Berners Lee - WWW를 만든 사람