|
  |
ROSAEC, KAOC, and CEEDS Joint Workshop
| Speaker: | Sungdeok Cha, Sehun Jeong, Kwangkeun Yi, and Sungkeun Cho |
|---|---|
| Period: | 2010-04-12 15:00 ~ 2010-04-12 17:00 |
| Place: | B111, Hana Square, Korea University, Korea |
Photos
new window
Overview
이 워크숍에서는 한국인공장기센터(KAOC)의 인공심장 소프트웨어에 대한 고신뢰 융합소프트웨어 공학센터(CEEDS) 및 소프트웨어 무결점 연구센터(ROSAEC)에서의 테스트 결과 및 분석 결과에 대하여 토론하였다.
3개 기관이 연구 협력에 대한 양해각서(MOU)를 체결하였다.
Program
워크샵 머릿말
Sungdeok Cha, Korea University
H-VAD 임상실험용 코드 테스팅 결과 보고
Sehun Jeong, Korea University [slide]
SW 오류 자동 검출 및 검증기술
Kwangkeun Yi, Seoul National University [slide]
정적 분석을 이용한 인공심장 소프트웨어 분석
Sungkeun Cho, Seoul National University [slide]
This will be shown to users with no Flash or Javascript.