SW안전 분야 해외 석학 및 국내 산학연 전문가를 초청하여 SW 안전에 대한 강연을 통해 안전 관련 정보 공유 및 인식 제고하고자 2016년 11월 29일에 두 번째 SW안전 국제 컨퍼런스를 주최하였다.

미래창조과학부가 주최하고 소프트웨어정책연구소(SPRi)와 한국정보통신기술협회(TTA)가 주관한 이 행사에 미래부, SPRi, TTA 등 정부기관 및 유관기관, SW 안전 관련 기업 관계자 및 학생 등 200여명이 참석하였다.

□ 행사 개요

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

□ 발표자

발표자
강연자 주제 소속 및 직위/주요 경력 전문 분야

O.K. Baek

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

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

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

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 Safety (다운로드 : 733회)

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 (다운로드 : 828회)

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 (다운로드 : 698회)

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 (다운로드 : 866회)

김태효 (포멀웍스 대표)

원전 SW 사이버보안과 안전

● 원전 사이버보안 활동 배경
● 원전 제어시스템 보안성 평가 프로그램
● 원전 소프트웨어 개발과 V&V

김태효 - 원전 SW 사이버보안과 안전 (다운로드 : 949회)

신상면 (한국항공우주산업 팀장)

항공전자 소프트웨어 안전

● 항공전자 소프트웨어 안전
● 민수 항공분야 소프트웨어 안전
● 군수 항공분야 소프트웨어 안전

신상면 - 항공전자 소프트웨어 안전 (다운로드 : 1871회)

박태형 (소프트웨어정책연구소 선임연구원)

2016 국내 SW안전 산업 동향

● 학계 및 정부(Governing sector)
● SW안전 컨설팅(Supervising sector)
● SW 개발, 사용자 (End user sector)

박태형 - 2016 국내 SW안전 산업 동향 (다운로드 : 670회)