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

2012년 9월 3일 월요일

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

민성기 교수님의 고성능 임베디드 통신 수업.

이번 학기는 OSPF에 대하여 잘 알기 위한 수업이다.

OSPF는 RFC2328로 Open Shortest Path First의 약자이다.

학점 처리를 위해서는
  1. OSPF Source Code 분석 및 UML 표현 (학점을 받을 수 있다)
  2. NS-3 에 OSPF Porting (A까지 받을 수 있다)
  3. OSPFD와 NS3 와의 연동 (A+ 주신다)

이를 위해 노력하자.

TCL은 뭘까?

또한 OSPF에 대한 내용에 추가적으로 TCP/IP Source에 대해서 수업한다.
Linux 3.5.3 기반의 TCP/IP에 대하여 공부하여야 하겠다.

참고 도서: OSPF Complete Implementation