2016 SW안전 국제 컨퍼런스 (결과)
  • 박태형산업정책연구실 책임연구원
  • 진회승SW기반정책·인재연구실 책임연구원
날짜2017.01.10
조회수6866
글자크기
  • SW안전 국제 컨퍼런스 2016
    • 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
    • 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
    • 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
    • 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
    • 김태효 (포멀웍스 대표)
    • 원전 SW 사이버보안과 안전
    • ● 원전 사이버보안 활동 배경
    • ● 원전 제어시스템 보안성 평가 프로그램
    • ● 원전 소프트웨어 개발과 V&V
    • 신상면 (한국항공우주산업 팀장)
    • 항공전자 소프트웨어 안전
    • ● 항공전자 소프트웨어 안전
    • ● 민수 항공분야 소프트웨어 안전
    • ● 군수 항공분야 소프트웨어 안전
    • 박태형 (소프트웨어정책연구소 선임연구원)
    • 2016 국내 SW안전 산업 동향
    • ● 학계 및 정부(Governing sector)
    • ● SW안전 컨설팅(Supervising sector)
    • ● SW 개발, 사용자 (End user sector)