POSTECH LabCumentary 배경민 교수 (컴퓨터공학과)

소프트웨어 검증 연구실
Software Verification Lab

더 알아보실래요?

이전

14/86

다음

소프트웨어 검증 연구실
Software Verification Lab

배경민 교수 (컴퓨터공학과)

보잉 737 맥스는 2018년과 2019년 두 차례 추락 사고로 346명의 목숨을 앗아가면서 한국을 비롯한 전 세계 40여개 국에서 운항이 중단됐다. 사고 원인으로는 비행기의 급강하를 막아주는 소프트웨어인 조종특성향상시스템(MCAS)의 결함이 지목됐다. 이는 최근 소프트웨어 활용이 급격히 늘면서 소프트웨어가 일으키는 사고 또한 심각한 피해를 일으킬 수 있다는 예로 지목된다.

 

배경민 컴퓨터공학과 교수가 이끄는 소프트웨어 검증 연구실은 소프트웨어 오류를 방지하고 신뢰성과 안전성을 높이는 기술과 이론, 알고리즘, 도구를 개발하고 있다. 지금까지는 소프트웨어의 동작을 시험하기 위해서 개발자가 수작업으로 실행 결과가 올바른지를 확인하는 방법이 활용돼왔다. 그러나 점차 소프트웨어가 복잡해지고 개발주기도 빨라지면서 사람의 손으로는 한계가 생겼다.

 

연구실은 자동차나 항공기 같은 물리적인 환경에서 한 치의 오차도 없이 동작해야 하는 소프트웨어를 검증하는 ‘사이버물리시스템’ 검증 기술을 개발중이다. 사이버물리시스템 소프트웨어는 시속 100km로 달리는 자동차가 주변 위험을 인지하고 급히 브레이크를 밟는 것과 같은 시시각각 주변 환경이 변하는 상황에서 동작한다. 기존 소프트웨어 검증기술은 소프트웨어의 논리적 오류만 찾으면 되지만 주변 상황에 따라 달라지는 복잡한 물리적 요구사항은 검증할 방법이 없었다.

 

연구실은 사이버물리시스템이 가지는 다양한 상황을 논리적 언어로 표현하여 엄밀하게 검증하는 이론을 세계 최초로 제안하고 이론에 기반한 알고리즘과 도구를 개발했다. 소프트웨어를 통해 바뀌는 물리적 환경을 구축해 디지털뿐 아니라 물리 시스템에서도 요구사항을 검증하는 것이다. 연구팀은 알고리즘이 분석해야 하는 경우의 수가 기하급수적으로 늘어나는 ‘상태폭발문제’를 추론을 통해 빠르게 알아낼 수 있는 알고리즘도 개발하고 있다.

 

자동차나 항공, 의료, 금융, 전력 등 각종 기간 시스템에 적용되는 소프트웨어가 검증된 소프트웨어이냐 아니냐는 앞으로 소프트웨어 선진국을 판가름하는 핵심 요소가 될 것으로 꼽힌다. 미국이나 유럽에서는 검증 도구를 개발해 학회에서 발표하는 등 이미 앞서나가고 있다. 배 교수는 “검증된 소프트웨어를 개발하는 기술을 세계적으로 선도해 안전한 인프라 구축에 기여할 것”이라고 말했다.

다른 연구실 둘러보기

    Media Computing & Networking Lab
    유동 물리 및 공학 연구실<br>Flow Physics and Engineering Lab
    모바일 네트워킹 연구실<br>MoNet Lab
    알고리즘 연구실<br>Algorithms Lab
    종양억제분자구조 연구실<br>Structural Biology of Cancer Lab
    IDEA Lab (Industrial Data Engineering & Analytics)
    합성생물학 연구실<br>Synthetic Biology Laboratory
    기능성 생체 분자 재료 연구실<br>Biomolecular Materials Lab
    에너지 및 지속가능성 지향 나노과학 연구실<br>The Lab of Nanoscience for Energy Technology & Sustainability
    기능성 무기재료화학 연구실<br>Functional Inorganic Materials Chemistry Lab
    열 및 에너지 연구실<br>Thermal & Energy Lab
    하폐수 변환 가속화 연구실<br>Lab on Chemical REdox Acceleration TEchnologies for Water Quality (CREATE WQ)
    디자인 인텔리전스 랩<br>Design Intelligence Lab.​
    소프트웨어 검증 연구실<br>Software Verification Lab
    분자신경의학 연구실<br>Laboratory of Molecular Neuropsychiatry
    자기힘 현미경 연구실<br>Magnetic Force Microscopy Laboratory
    세포면역유전체학 연구실<br>Molecular Genomics & Immunology Laboratory
    MADs(Microwave Antenna, Device and System) 연구실<br>Microwave Antenna, Device and System (MADs) Lab
    의료용 고분자 연구실<br>Biomedical Polymer Lab
    에너지시스템 연구실<br>Energy System Lab
    산업 인공지능 연구실<br>Industrial AI Lab
    극초고속 동역학 연구실<br>Ultrafast Dynamics Lab
    전산나노소재 연구실<br>Computational Nano-Materials Design Lab
    화학생물학 연구실<br>Chemical Biology Lab
    초음파공학연구실<br>Kim Lab – Ultrasound Research Group
    컴퓨팅 가속 플랫폼 연구실<br>Accelerated Computing Platform Lab
    합금설계실험실<br>Alloy Design Lab
    환경보건평가 연구실<br>Environmental & Health Assessment Lab
    고급 정보 시스템 연구실<br>Advanced Information System Lab
    단백질항상성 연구소<br>Proteostasis Research Institute
    고분자 전자재료 연구실<br>Polymer Electronic Materials Lab
    마이크로파 안테나 디바이스 및 시스템 연구실<br>Microwave Antenna Device and Systems Lab
    재료역학 연구실<br>Materials Mechanics Lab
    전자·원자구조 이미징 해석 연구실<br>Advanced Electron Microscopy & Functional Imaging Lab
    Innovative Device Engineering and Application (IDEA) Lab
    물류연구실<br>Logistics Lab
    LabCumentary Season Teaser
    포항가속기연구소<br>Pohang Accelerator Laboratory
    전극 물성 연구실 (Laboratory for Electrode Material Property)
    고에너지 플라즈마 연구실<br>Laboratory for High Energy Plasmas
    아날로그 집적회로 시스템 연구실<br>Analog IC Systems Lab
    극한구조역학연구실<br>Extreme Mechanics Lab
    신경후성유전학 연구실<br>Neuro-Epigenetics (NEPI) Lab
    기계학습 연구실<br>Machine Learning Lab
    고청정 철강 연구실<br>Clean Steel Lab
    구조용 나노금속・공정연구실<br>Structural Nano Metals & Processing Lab
    의료보조로봇 및 햅틱스 연구실<br>MARCH Lab
    무선통신 및 센싱 연구실<br>Wireless Communications and<br> Sensing Research Lab
    계산촉매 및 첨단소재설계 연구실<br>Computational Catalysis and<br> Emerging Materials Lab
    플렉서블 반도체 연구실<br>Flexible Electronics Group
    열수력 및 에너지 시스템 연구실<br>Thermal Hydraulics & Energy System Lab
    컴퓨터비전 연구실<br>Computer Vision Lab
    임베디드 프로세서 및 지능형 컴퓨팅 연구실<br>Embedded Processor & Intelligent Computing (EPIC) Lab
    지능형 물질 및 센서 연구실<br>Smart Materials & Sensors Lab
    기후시스템 연구실<br>Climate System Lab
    미래 소자 및 회로 연구실<br>Technology Enablement of<br> Advanced MOS structure
    지능형 레이다 시스템 및 신호처리 연구실<br>Intelligent radar system<br> and signal processing lab
    단일분자 생물물리 연구실<br>Single-molecule biophysics lab
    금융투자 및 위험관리 연구실<br> Financial Investment & Risk Management Lab
    상호작용 연구실<br> Interaction Laboratory
    친환경생체모사재료 연구실 (Laboratory for Biological, Biomimetic, Eco-friendly Materials)
    Factory Intelligence 연구실
    세포면역학 연구실<br>Cellular Immunology Lab
    분석 및 정보 관리 연구실<br>Analytics & Information Management Lab
    나노스케일 포토닉스 및 통합생산 연구실<br>Nanoscale Photonics & Integrated Manufacturing Lab
    바이오가공기술 연구실<br>Biofabrication & translational medicine lab
    양자나노소자연구실<br>Quantum Nano-electronics lab
    기후변화연구실<br>Climate Change Research Lab
    고분자 기반 에너지 소재 연구실<br>Polymer-based Energy Materials Lab
    분자생명공학연구실<br>Molecular Biotechnology Lab
    에너지 나노재료 연구실<br>Nanostructured Energy Materials Lab
    유기 인쇄 전자 연구실<br>Organic Printed Electronics Lab
    산화물 양자 소재 연구실<br>Oxide & Quantum Materials Lab
    생체 광음향 의료영상 연구실<br>Bio Optics and Acoustics Lab
    금속 상변태 연구실<br>Computational Metallurgy Laboratory
    CAD & SoC 설계 연구실<br>CAD & SoC Design Lab
    x선 회절 및 분광학 연구실<br>X-ray Scattering & Spectroscopy Lab
    컴퓨팅 및 제어 시스템 연구실<br>Computing and Control Engineering Lab
    나노스케일 공간한정 화학반응 연구단<br>Center for Nanospace-confined<br> Chemical Reactions
    펨토초 엑스선 회절 영상 연구실<br>Femtosecond Diffraction &<br> Imaging Science Laboratory
    생물정보학실험실<br>Structural Bioinformatics Lab
    화학 세포체학 연구실<br>Chemical Cellomics Lab
    응용수학 및 데이터 분석 연구실<br>Applied Mathematics and Mining Lab
    발달 신호 네트워크 실험실<br>Development Signaling Network Lab
    의료용 나노소재 연구실<br>Biomedical Nanomaterials Lab
    극한환경로봇연구실<br>Hazardous and Extreme Environment Robotics Lab