메인메뉴로 이동 본문으로 이동

컨텐츠 내용

  1. 온라인강좌
  2. 과정정보

과정정보

Embedded Software for Life-Critical Applications
과정 이미지
Embedded Software for Life-Critical Applications 과정정보
신청기간 상시
교육기간 수강신청일로부터 90일
교육시간 22시간
담당강사 OLC
교육비 무료
강좌소개
IT교수역량 강화지원사업-SW분야

일 시 : 2012.02.06(월)~ 2012.02.10(금)
장 소 : 서울교육문화회관 대금홀
주 제 : Embedded Software for Life-Critical Applications

강사소개
성 함 : 이인섭 교수님
소 속 : University of Pennsylvania
경 력 : Chair Of IEEE Computer Society Technical Committee on Real-Time Systems(2003-2004)
co-Editor-in-chief of KISE Journal of Computng Science and Engineering(JCSE)
수료/과락 기준
수료/과락 기준
평가기준 진도 시험 과제 토론 기타
배점 100% 0% 0% 0% 0%
과락기준 80% 0점 0점 0점 0점
※ 수료기준은 각 평가항목의 점수가 과락기준 점수 이상이고 총점이 80점 이상이어야 합니다.
OLC
수료/과락 기준
OLC [강사소개]
OLC CENTER
[경력]
이력을 입력해주세요.
강의목차
차시 강의명
1차시 Cyber Physical Systems:The Next Computing Revolution
2차시 Real-Time Systems
3차시 System and Language Support for Timing Constraints
4차시 Assignment(1)
5차시 Real-Time Scheduling(1)
6차시 Real-Time Scheduling(part2)
7차시 Global Time
8차시 Review Session :Real-Time Scheduling
9차시 Assuring the Safety_Security_and Reliability of Medical-Device CPS
10차시 Modeling&Analysis of Timed Systems
11차시 UPPAAL Demo
12차시 UPPAAL Tutorial
13차시 Review Session UPPAAL Modeling
14차시 The Pacemaker Project
15차시 Code Generation from Extended Finite State Machines and Timed Automata
16차시 Review Session_The Pacemaker Project
17차시 Testing
18차시 Review Session_Global Time
19차시 Bridging the gap between specification and implementation
20차시 Assurance Cases_An Introduction
21차시 Pacemaker Project
22차시 UI Design mental Models and User Modeling