SSARC 소프트웨어 안전성 보증 연구센터

교육 상세 프로그램

분류 내용 상세 내용
개론 SW 개발에서의 안전성 보증 ● SW 개발 특징
● SW 안전성 보증 활동의 필요성
임베디드 SW 연구/개발 프로세스 이해 ● 임베디드 SW 개발/연구 프로세스
● 임베디드 SW 개발 사례
안전성 분석 [개론] SW 안전성 분석을 위한 Hazard Analysis 이해 ● SW와 안전성
● Safety Engineering(안전성 공학)
● SW 안전성 분석 프로세스
Accident Causality Model의 이해 ● Accident Analysis 및 Hazard Analysis의 이해
● Traditional Accident Model
● System Theory 기반의 Accident Model
Chain of Event Model 기반의 Hazard Analysis ● HAZOP(Hazard and Operability Studies)
● FTA(Fault Tree Analysis)
● FMEA(Failure Mode Effects Analysis)
● FMEA 실습
System Theory 기반의 Safety Analysis: STAMP ● System Theory 기반의 Process Model
● Safety Requirement 및 Constraints
● Safety Control Structure
System Theory 기반의 Hazard Analysis: STPA ● STPA Process의 이해
● Hazard Analysis 실습
Safety Requirement 도구 실습 ● UML 기반의 Safety Requirement 도출 방안
● Safety Requirement 도구 실습
안전성 보증 프로세스 [개론] SW 안전성 확보를 위한 SW 개발 프로세스 ● SW 개발 프로세스 특징
● SW 안전성과 SW 개발 프로세스
SW 안전성 확보를 위한 프로세스 정의 ● 안전성 확보를 위한 SW 설계 기법
● 결합도/응집도를 고려한 SW 설계
ISO 26262의 이해 ● ISO 26262 표준의 이해
● 프로세스 정의 사례
A-SPICE의 이해 ● A-SPICE 이해
● 프로세스 정의 사례
CMMI의 이해 ● CMMI 이해
● 프로세스 정의 사례
소스코드
품질향상
[개론] 코딩 표준 및 리팩토링 ● SW 품질 향상을 위한 코딩 표준 및 리팩토링의 이해
소스코드 리팩토링 기법 ● SW 안전성과 관련한 냄새나는 소스코드 식별
● 안전하게 소스코드를 개선하는 기법
● 리팩토링 실습
코딩 표준의 이해 ● 안전성 확보를 위한 코딩 표준
● MISRA C의 이해
안전성
Gate
[개론] SW 안전성 확보를 위한 Gate ● SW 품질 점검을 위한 Gate 활용
안전성 Gate별 Checklist 및 검사 기법 ● 개발 단계 별 안전성 Gate 활동
● Checklist 및 검사 기법의 이해
● Checklist 개발 실습
SW
Visualization
[개론] SW 품질 수준 가시화와 Tool Chain ● SW Visualization 목적 및 필요성
● 가시화 적용 분야 및 도구
형상관리/이슈관리 이론 및 도구 실습 ● 형상관리 이론 및 Git/SVN 활용
● 이슈관리 이론 및 Redmine 활용
정적분석 이론 및 도구 실습 ● 소스코드 정적 분석 목적 및 필요성
● 기능 안전 표준과의 관계
● 도구 활용 및 결과 생성 실습
도구 실습: 도구 간 연계 및 결과 분석 ● Jenkins 기반의 도구 연계 기법
● 각 도구 분석 결과의 통합 분석
안전성
Verification
[개론] SW 안전성 확보를 위한 테스팅 ● SW 기능 안전성과 테스팅
● V모델과 V&V 역할
SW 테스팅 기법의 이해 ● 테스팅 단계 및 기법
● 테스팅 종류 및 커버리지
● 테스팅 자동화 도구 이해 및 실습
휴먼 에러를 고려한 결함/문제 예방 기법 ● 결함과 휴먼에러의 관계
● 결함/문제 예방을 위한 데이터 측정
● 결함/문제 데이터 분석 기법

관심 있는 기업의 연락을 기다립니다.

담당자 : 한동준 연구원
Tel. 02) 2287-8758, 8759
Mail. ssarc@ssarc.re.kr

close

작성일: