2012년 9월 19일 수요일

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

과제가 떨어졌다.

내가 이번 학기동안 프로젝트로 진행할 Item을 선정하고 그에 관한 자료를 만들어야 한다.

나는 임베디드 소프트웨어를 만들것이므로 IEC-61508 관련 조사를 하고 자료를 만들 것이다.

우선 IEC-61508 Spec 자료를 구하고 학우들이 쉽게 이해할 수 있는 자료를 만들어보자.

자료 다운로드 :  IEC-61508 자료

2012년 9월 12일 수요일

[120910][수업]고성능 임베디드 통신

- VirtualBox를 이용하여 가상머신 4개를 만들기
- Source Insight 사용하기
- OSPFD 설치하기

파일
1. OSPF.CONF
2. ospfd-120703.tar

다음 시간까지 해 보시오~

2012년 9월 4일 화요일

[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를 만든 사람