http://event.com2us.com/ci/2013/07/tf_healing/main/event/DUXRRzW
미니게임
2013년 7월 26일 금요일
2013년 7월 1일 월요일
2012년 11월 8일 목요일
2012년 10월 23일 화요일
2012년 9월 19일 수요일
[120918][수업]임베디드소프트웨어인허가특별연구
과제가 떨어졌다.
내가 이번 학기동안 프로젝트로 진행할 Item을 선정하고 그에 관한 자료를 만들어야 한다.
나는 임베디드 소프트웨어를 만들것이므로 IEC-61508 관련 조사를 하고 자료를 만들 것이다.
우선 IEC-61508 Spec 자료를 구하고 학우들이 쉽게 이해할 수 있는 자료를 만들어보자.
자료 다운로드 : IEC-61508 자료
내가 이번 학기동안 프로젝트로 진행할 Item을 선정하고 그에 관한 자료를 만들어야 한다.
나는 임베디드 소프트웨어를 만들것이므로 IEC-61508 관련 조사를 하고 자료를 만들 것이다.
우선 IEC-61508 Spec 자료를 구하고 학우들이 쉽게 이해할 수 있는 자료를 만들어보자.
자료 다운로드 : IEC-61508 자료
2012년 9월 12일 수요일
[120910][수업]고성능 임베디드 통신
- VirtualBox를 이용하여 가상머신 4개를 만들기
- Source Insight 사용하기
- OSPFD 설치하기
파일
1. OSPF.CONF
2. ospfd-120703.tar
다음 시간까지 해 보시오~
- Source Insight 사용하기
- OSPFD 설치하기
파일
1. OSPF.CONF
2. ospfd-120703.tar
다음 시간까지 해 보시오~
2012년 9월 4일 화요일
[120905][수업]임베디드소프트웨어인허가특별연구
- 최진영 교수님
- AVR 버터플라이 킷을 이용하여 실습
- 수업을 하는 이유 : 임베디드 소프트웨어를 잘 만들기 위해 -> 기계에 내장되므로 중요
- 표준을 만들어서 제공하고, 표준에 따라 만들었는가를 인허가 함
< V 모델 >
명세 ** ** System Test
** **
설계 ** ** Integration Test
** **
코딩 ** ** Module(Unit) Test
**
< Test 방법 >
- 명세 & 설계 단계
- 코딩 단계
- Assurane Case ?
- MATLAB, Simul Link
- Future Shock, Third Wave
- Sir Tim Berners Lee - WWW를 만든 사람
- AVR 버터플라이 킷을 이용하여 실습
- 수업을 하는 이유 : 임베디드 소프트웨어를 잘 만들기 위해 -> 기계에 내장되므로 중요
- 표준을 만들어서 제공하고, 표준에 따라 만들었는가를 인허가 함
< V 모델 >
명세 ** ** System Test
** **
설계 ** ** Integration Test
** **
코딩 ** ** Module(Unit) Test
**
< Test 방법 >
- 명세 & 설계 단계
- 정형기법
- Semi-Formal Method
- Simulation
- 코딩 단계
- 정적분석도구
- Model Checking
- Bounded Checking
- Assurane Case ?
- MATLAB, Simul Link
- Future Shock, Third Wave
- Sir Tim Berners Lee - WWW를 만든 사람
피드 구독하기:
글 (Atom)