SW 안전 분야 해외 석학 및 국내 산학연 전문가를 초청하여 SW 안전에 대한 강연을 통해 안전 관련 정보 공유 및 인식 제고

□ 행사 개요

행사개요
행사명 SW안전 국제 컨퍼런스 2016
일시 2016년 11월 29일(화)
장소 코엑스 컨퍼런스룸 401호
주최/주관 미래창조과학부/소프트웨어정책연구소(SPRi), 한국정보통신기술협회(TTA)
참석대상 미래부, SPRi, TTA 등 정부기관 및 유관기관, SW 안전 관련 기업 관계자 및 학생 등 300여명
주요내용 주요 귀빈 환영사 및 축사, 해외 석학 초청 세미나, SW 안전 분야 기술 세미나

 

□ 프로그램

프로그램
시간 주요내용 비고
09:30-10:00 등록 -
10:00-10:10 개회사 김명준 소장
(소프트웨어정책연구소)
10:10-10:50 Software Modeling & Engineering Principles and Methods for Resilience and Safety OK Baek
(前 IBM, CANADA)
10:50-11:30 Co-engineering of safety and security requirements of CPS. Philippe Massonet
(CETIC, BELGIUM)
11:30-12:10 Avoiding The Top 10 Mistakes Developing Safety-Critical Software Vance Hilderman
(Afuzion Inc., USA)
12:10-13:30 점심시간  
13:30-14:10 From formal method on Parisian line 14 to current application in compliance with CENELEC 50128 Jean-louis Boulanger
(ISA, FRANCE)
14:10-14:40 Security for IoT v.s Assurance for CPS 김승주 교수
(고려대학교)
14:40-15:10  원전 SW 사이버보안과 안전 김태효 대표
(포멀웍스)
15:10-15:30 Coffee Break  
15:30-16:00 항공전자 소프트웨어 안전 신상면 팀장
(한국항공우주산업)
16:00-16:30 2016 국내 SW안전 산업 동향 박태형 박사
(소프트웨어정책연구소)
16:30-16:50 경품추첨 및 폐회 사회자

* 상기 일정은 사정에 따라 일부 조정될 수 있습니다.

□ Speaker Information

Speaker Information
강연자 소속 및 직위 / 주요 경력 강연 제목 전문 분야
ok-baekOK Baek ● IBM Executive Architect & Corporate Certified STSM (Senior Technical Staff Member)
● The Open Group Certified Distinguished IT Architect
SW Modeling & Engineering Principles and Methods for Resilience and Safety ● IT Strategy
● Ecosystem Architecture
● End-to-End Solution Design
● Technical Governance
philippe-massonetPhilippe Massonet ● Scientific Coordinator of CETIC[벨기에 ICT 응용연구센터] ● Coordinator of the BEACON H2020 European research project on SDN Co-engineering of Safety and Security Requirements of CPS ● SW and Security Engineering (including Verification)
● Distributed Systems(Grids and Cloud Computing)
vance-hildermanVance Hilderman ● CEO of Afuzion Inc.(Safety-critical Engineering Services Company)
● Former Founder, CEO and CTO of TekSci(Avionics/Safety-critical SW Services Company)
● Former Co-Founder and President of HighRely Inc.(SW Certification Consultancy)
Avoiding The Top 10 Mistakes Developing Safety-Critical SW ● Safety-critical Avionics and Transportation SW, HW, Systems Development
jean-louis-boulangerJean-louis Boulanger ● Independent Safety Assessor in the Railway Domain for SW Part
● Inspecteur/Evaluateurfor for CERTIFER(the French Notified Body in the field of Certification of Safety Critical Railway Application based on SW)
From Formal Method on Parisian Line 14 to Current Application in Compliance with CENELEC 50128 ● Requirements, Software Verification and Validation, Traceability and RAMS with a special issue for SAFETY
seungjoo-kim김승주 ● 고려대학교 사이버국방학과/정보보호대학원 정교수
● 한국정보보호학회 이사
● 前 KISA(한국인터넷진흥원) 암호기술팀장 및 보안성평가팀장
● 성균관대학교 대학원 박사 (정보보호)
Security for IoT vs. Assurance for CPS ● Security Engineering
● Security Threat-risk Modeling for Policy Assurance
● Security Testing and Evaluations
● Usable Security
taihyo-kim김태효 ● ㈜포멀웍스 대표이사
● KAIST 전산학과 공학박사
● KAIST 전산학과 학사 및 석사
원전 SW 사이버보안과 안전 ● SW 확인 및 검증
● SW 정적 분석 및 정형 기법
● 안전성 분석
● SCADA 사이버보안
신상면신상면 ● 한국항공우주산업(주) 헬기항전소프트웨어 팀장 항공전자 소프트웨어 안전 ● T-50 MC 소프트웨어 개발
● FA-50 MC 소프트웨어 개발 및 리더
● 헬기 MC 소프트웨어 개발 관리
tae-hyoung-park박태형 ● 소프트웨어정책연구소 SW안전연구팀 팀장/선임연구원
● 前 한국행정연구원 연구원
● 고려대학교 정보보호대학원 공학박사
2016 국내 SW안전 산업 동향 ● 소프트웨어 안전
● 정보보호정책
● 방위사업정책