10:00 ~ 10:30 |
등 록 |
10:30 ~ 10:35 |
환영사 |
국방소프트웨어산학연협회 박찬규 부회장 |
10:35 ~ 10:40 |
축사 |
임베디드소프트웨어산업협의회 김기철 상무/사무국장 |
10:40 ~ 11:10 (30분) |
임베디드 SW 개발 라이프 사이클 관리 방안 |
성균관대 이은석 교수 |
11:10 ~ 11:40 (30분) |
SW 프로세스 기반의 품질 향상 방안 |
정보통신산업진흥원 부설 SW공학센터 SW품질인증팀 이혁재 팀장 |
11:40 ~ 12:50 (70분) |
점심식사 |
|
<세션 1> 주제 : SW 프로세스 관리 (요구사항 분석 - 모델링 - 설계 - 형상관리) |
<세션 2> 주제 : SW품질 향상 (코딩 - 테스팅 - 검증) |
12:50 ~ 13:30 (40분) |
M&S 신용성 향상을 위한 VV&A와 발전 방안 |
국방기술품질원 김형현 박사 |
열차집중제어시스템 개발 라이프 사이클 - Safety 관점 |
대아티아이 임석우 차장 |
13:30 ~ 14:10 (40분) |
UML2.0 기반의 임베디드 SW 모델링 방법 및 성공사례 |
오토에버시스템즈 서윤준 차장 |
정적 분석툴을 활용한 시스템 SW 개발 및 안정화 |
알티베이스 김성진 본부장 |
14:10 ~ 14:30 (20분) |
Coffee Break |
14:30 ~ 15:10 (40분) |
RTOS 안정성 및 신뢰성 확보 사례 |
MDS테크놀로지 장명섭 전무 |
고신뢰 차량제어기 SW의 검증방안 및 사례 |
오토에버시스템즈 이민권 선임연구원 |
15:10 ~ 15:50 (40분) |
Requirement Management 기법 소개 및 해외 선진사례 분석 |
서강대 박수용 교수 |
임베디드 SW 테스팅 기법과 사례분석 |
이화여대 최병주 교수 |
15:50 ~ 16:30 (40분) |
ABM 방법론을 이용한 효율적인 국방 아키텍처 프레임워크(MND-AF) 구축 |
한국IBM 오윤민 차장 |
UML Testing Profile 기반 모델/코드 검증의 자동화와 솔루션 |
한국IBM 오세종 차장 |
16:30 ~ 16:40 |
Wrap-up / 경품추첨 |