SPRi - 소프트웨어정책연구소 : 컨퍼런스

2016 SW안전 국제 컨퍼런스 (결과)

박태형산업정책연구실 책임연구원
진회승SW기반정책·인재연구실 책임연구원

2017.01.10

8363

글자크기

- SW안전 분야 해외 석학 및 국내 산학연 전문가를 초청하여 SW 안전에 대한 강연을 통해 안전 관련 정보 공유 및 인식 제고하고자 2016년 11월 29일에 두 번째 SW안전 국제 컨퍼런스를 주최하였다.
- 미래창조과학부가 주최하고 소프트웨어정책연구소(SPRi)와 한국정보통신기술협회(TTA)가 주관한 이 행사에 미래부, SPRi, TTA 등 정부기관 및 유관기관, SW 안전 관련 기업 관계자 및 학생 등 200여명이 참석하였다.

행사 개요

행사개요
행사명	SW안전 국제 컨퍼런스 2016
일시	2016년 11월 29일(화)
장소	코엑스 컨퍼런스룸 401호
주최/주관	미래창조과학부/소프트웨어정책연구소(SPRi), 한국정보통신기술협회(TTA)

발표자

발표자
강연자	주제	소속 및 직위/주요 경력	전문 분야
O.K. Baek	SW Modeling &Engineering for Resilience and Safety	IBM Executive Architect &Corporate Certified STSM (Senior Technical Staff Member) The Open Group Certified Distinguished IT Architect	IT Strategy Ecosystem Architecture End-to-End Solution Design Technical Governance
Philippe Massonet	Goal-Oriented Co-engineering of Safety and Security Requirements of CPS	Scientific Coordinator of CETIC[벨기에 ICT 응용연구센터] Coordinator of the BEACON H2020 European research project on SDN	SW and Security Engineering (including Verification) Distributed Systems(Grids and Cloud Computing)
Vance Hilderman	Avoiding Top Mistakes in Safety Critical SW Development	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)	Safety-critical Avionics and Transportation SW, HW, Systems Development
Jean-louis Boulanger	From Formal Method on Parisian Line 14 to Current Application in Compliance with CENELEC 50128	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)	Requirements, Software Verification and Validation, Traceability and RAMS with a special issue for SAFETY
김승주	Security for IoT vs. Assurance for CPS	고려대학교 사이버국방학과/정보보호대학원 정교수 한국정보보호학회 이사 前 한국인터넷진흥원 암호기술팀장 및 보안성평가팀장 성균관대학교 대학원 박사 (정보보호)	Security Engineering Security Threat-risk Modeling for Policy Assurance Security Testing and Evaluations Usable Security
김태효	원전 SW 사이버보안과 안전	㈜포멀웍스 대표이사 KAIST 전산학과 공학박사 KAIST 전산학과 학사 및 석사	WW 확인 및 검증 SW 정적 분석 및 정형 기법 안전성 분석 SCADA 사이버보안
신상면	항공전자 소프트웨어 안전	한국항공우주산업(주) 헬기항전소프트웨어 팀장	T-50 MC 소프트웨어 개발 FA-50 MC 소프트웨어 개발 및 리더 헬기 MC 소프트웨어 개발 관리
박태형	2016 국내 SW안전 산업 동향	소프트웨어정책연구소 SW안전연구팀 팀장/선임연구원 前 한국행정연구원 연구원 고려대학교 정보보호대학원 공학박사	소프트웨어 안전 정보보호정책 방위사업정책

발표 자료
- O.K. Baek (前IBM, Canada)
- Software Modeling & Engineering for Resilience and Safety
- ● Assessment of current computing model and software engineering method
- ● Conventional approach and method and common mistakes negatively impacting safety
- ● New challenges and requirements for IoT/CPS
- ● Efficacy and efficiency of traditional methods and systems
- O.K. Baek - Software Modeling & Engineering for Resilience and Safet
- Philippe Massonet (CETIC, Belgium)
- Goal-Oriented Co-engineering of Safety and Security Requirements of CPS
- ● Introduction to H2020 Framework programme
- ● Goal-Oriented Co-engineering of Security and Safety Requirements in Cyber-Physical Systems
- – Trend of CPS in multiple domains: automotive, railway, aerospace, space, energy
- – Security risks
- – Co-engineering of Security and Safety Requirements
- Philippe Massonet - Goal-Oriented Co-engineering of Safety and Security Requirements of CPS
- Vance Hilderman (Afuzion Inc., U.S.A)
- Avoiding Top Mistakes in Safety Critical Software Development
- ● Intro to Safety-Critical Requirements
- ● Safety-Critical Requirements Overview
- ● Requirements Examples: Weak versus Stronger
- ● Safety-Critical Requirements Best Practices
- ● Requirements Management Case Study
- Vance Hilderman-Avoiding Top Mistakes in Safety Critical Software Development
- Jean-louis Boulanger (CERTIFER, France)
- Validation and Verification of METEOR safety software
- ● METEOR presentation: A distributed architecture of redundancy calculators, Safety Calculator Architecture
- ● RATP Validation process: Functional Validation, Data validation tool
- ● The use of formal method for developing railway safety critical software in compliance with the CENELEC 50128:2011
- Jean-louis Boulanger - Validation and Verification of METEOR safety software
- 김태효 (포멀웍스 대표)
- 원전 SW 사이버보안과 안전
- ● 원전 사이버보안 활동 배경
- ● 원전 제어시스템 보안성 평가 프로그램
- ● 원전 소프트웨어 개발과 V&V
- 김태효 - 원전 SW 사이버보안과 안전
- 신상면 (한국항공우주산업 팀장)
- 항공전자 소프트웨어 안전
- ● 항공전자 소프트웨어 안전
- ● 민수 항공분야 소프트웨어 안전
- ● 군수 항공분야 소프트웨어 안전
- 신상면 - 항공전자 소프트웨어 안전
- 박태형 (소프트웨어정책연구소 선임연구원)
- 2016 국내 SW안전 산업 동향
- ● 학계 및 정부(Governing sector)
- ● SW안전 컨설팅(Supervising sector)
- ● SW 개발, 사용자 (End user sector)
- 박태형 - 2016 국내 SW안전 산업 동향