Dependable Software Lab.

====== DSLab. News ======

• 2022-10-07
  • 워크샵을 진행합니다.
    • 주제
      • Pervasive Detection of Process Races (이준호)
      • Finding Concurrency Errors in Sequential Code Os-level, In-vivo Model Checking for Process Race (한민균)
      • SimRacer: An Automated Framework to Support Testing for Process-Level Races (박진석)
      • RRF: A Race Reproduction Framework for Use in Debugging Process-Level Races (정재욱)
      • An automated framework to support testing for process-level race conditions (배창희)
      • ReDPro: An Automated Technique to Detect and Regenerate Process-level Concurrency Failures (정지원)
      • 학위논문 발표 리허설 (배창희)
    • 장소 : 407동 604호
    • 시간 : 10월 7일 오후 3시

• 2022-07-29
  • 2022년 8월 4일부터 9월 1일까지 세미나를 진행합니다.
    • 주제
      • RRF: A Race Reproduction Framework for Use in Debugging Process-Level Races(정재욱)
      • Pervasive Detection of Process Races (이준호)
      • ReDPro: An Automated Technique to Detect and Regenerate Process-level Concurrency Failures (정지원)
      • SimRacer: An Automated Framework to Support Testing for Process-Level Races (박진석)
      • An automated framework to support testing for process-level race conditions (배창희)
      • Finding Concurrency Errors in Sequential Code OS-level, In-vivo Model Checking of Process Races (한민균)
    • 장소 : 407동 310호
    • 시간 : 목요일 오후 4시

• 2022-07-08
  • 2022년 7월 7일부터 7월 8일까지 부산 아난티 힐튼 호텔에서 열린 2022 한국항공우주공학회 항공우주전자 심포지엄에 참석하였습니다. 발표 논문은 다음과 같습니다.
    • 한민균 : 등산로에서 산불 감시를 위한 무인기의 경로 생성 도구의 적용 가능성 분석

• 2022-05-20
  • 2022년 5월 17일부터 5월 20일까지 제주 서귀포 칼호텔에서 열린 2022 항공우주시스템공학회 춘계학술대회에 참석하였습니다. 발표 논문은 다음과 같습니다.
    • 이준호 : 병렬 소프트웨어 설계의 연구 동향
    • 정지원 : 항공기 건전성 관리 시스템의 기술 동향
    • 박진석 : 오픈 항공기 소프트웨어 기반의 접근 결함 벤치마크

• 2022-03-16
  • 2022년 3월 24일부터 4월 7일까지 세미나를 진행합니다.
    • 주제
      • Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software (정재욱)
      • AI: A Lightweight System for Detecting and Tolerating Concurrency Bugs (이준호)
      • Learning from Mistakes — A Comprehensive Study on Real (박진석)
      • Atom-Aid: Detecting and Surviving Atomicity Violations (정지원)
      • ColorSafe: Architectural support for debugging and dynamically avoiding multi-variable atomicity violations (배창희)
      • Lightweight Labeling Scheme for On-the-fly Race Detection of Signal Handlers (한민균)
    • 장소 : 407동 310호
    • 시간 : 목요일 오후 4시

• 2022-02-25
  • Book 워크샵을 진행합니다.
    • 장소 : 407동 604호
    • 시간 : 3월 4일 오후 4시
    • 교재
      • Software Fault Tolerance Techniques and Implementation (Pull01)
    • 주제
      • Chapter 1 -Introduction (정재욱)
      • Chapter 2-Structuring Redundancy for Software Fault Tolerance (이준호)
      • Chapter 3-Design Methods, Programming Techniques and Issues (박진석)
      • Chapter 4-Design Diverse Software Fault Tolerance Techniques (정지원)
      • Chapter 5-Data Diverse Software Fault Tolerance Techniques (배창희)
      • Chapter 6-Other Software Fault Tolerance Techniques (한민균)

• 2022-02-25
  • 박사과정 TSogbayar Jargalsaikhan 선배님께서 졸업하셨습니다.

• 2022-02-11
  • 최으뜸 선배님께서 Applied Sciences 저널에 제출한 논문이 등재되었습니다.
  • 주제: On-the-Fly Repairing of Atomicity Violations in ARINC 653 Software

• 2022-02-10
  • 2022년 2월 10일부터 2월 24일까지 Book 세미나를 진행합니다.
    • 교재
      • Software Fault Tolerance Techniques and Implementation (Pull01)
    • 주제
      • Chapter 1 -Introduction (정재욱)
      • Chapter 2-Structuring Redundancy for Software Fault Tolerance (이준호)
      • Chapter 3-Design Methods, Programming Techniques and Issues (박진석)
      • Chapter 4-Design Diverse Software Fault Tolerance Techniques (정지원)
      • Chapter 5-Data Diverse Software Fault Tolerance Techniques (배창희)
      • Chapter 6-Other Software Fault Tolerance Techniques (한민균)
    • 장소 : 407동 310호
    • 시간 : 목요일 오후 3시

• 2022-01-25
  • TSogbayar Jargalsaikhan 박사과정이 Aerospace 저널에 제출한 논문이 등재되었습니다.
  • 주제: Architectural Process for Flight Control Software of Unmanned Aerial Vehicle with Module-Level Portability

• 2021-12-1
  • 박사과정 이건표가 전문연구요원으로 ANH STRUCTURE에서 근무하게 되었습니다. 기존에 수행하던 연구는 업무시간 외를 이용해서 계속 진행합니다.

• 2021-10-5
  • 한국컴퓨터정보학회지 9월호에 논문( A Tool for On-the-fly Repairing of Atomicity Violation in GPU Program Execution)이 등재되었습니다.

• 2021-9-17
  • 팽봉준 선배님께서 경상대학교에서 전산직 공무원으로 근무하게 되었습니다.

• 2021-6-18
  • 한국항공우주학회지에 논문이 등재되었습니다. 등재된 논문은 다음과 같습니다.
    • 제목
      • 국내 개발 인공위성을 위한 저비용 원격명령 처리 시스템 구현 및 분석
      • Development and Analysis of Low Cost Telecommand Processing System for Domestic Development Satellites
    • 저자
      • 박상섭, 이성진, 전용기

• 2021-06-17
  • 2021년 6월 17일부터 7월 1일까지 세미나를 진행합니다.
    • 주제
      • JGKM11: System Health Management (이건표, TSogbayr Jargalsaikhan, 최으뜸, 한민균, 배창희)
      • Learning from Mistakes - A Comprehensive Study on Real World Concurrency Bug Characteristics (박진석)
      • AI: A Lightweight System for Tolerating Concurrency Bugs (이준호)
  • 장소 : 407동 310호
    • 시간 : 목요일 오후 4시
  • 워크샵
    • 장소 : 407동 604호
    • 시간 : 7월 2일, 오후 4시

• 2021-5-25
  • 석사 졸업자 백형진이 6월부터 모아소프트에서 산업 기능요원으로 복무하게 되었습니다.
• 2021-4-26
  • 연구실 구성원이 변경되었습니다. 자세한 사항은 연구자 목록을 참조해 주세요
• 2021-4-19
  • 항공기 소프트웨어의 건전성 관리를 위한 개방형 시스템 과제 착수회의 진행했습니다.
• 2021-3-1
  • 과학기술정보통신부의 지원을 받는 이공분야기초연구사업, 중견연구자지원사업 항공기 소프트웨어의 건전성 관리를 위한 개방형 시스템 과제를 시작하였습니다.
• 2021-2-25
  • 석사 졸업생 김태형이 Korea Aerospace Industries (한국항공우주산업주식회사)에 입사했습니다.

• 2021-2-25
  • 박사과정 최으뜸 선배님께서 졸업하셨습니다.

• 2020-11-13
  • 2020 대한임베디드공학회 추계학술대회 참석

• 2020-10-20
  • 항공우주소프트웨어학과 금산 단체 산행 참가
  • 

• 2020-10-11
  • Digital Avionics Systems Conference (DASC) 가상 학술대회 참석 (10/11~10/17)

• 2020-10-10
  • 한국항공우주학회지에 논문이 등재되었습니다. 등재된 논문은 다음과 같습니다.
    • 제목
      • 항공기 소프트웨어의 건전성 관리를 위해서 순서 위배 오류를 자율 수리하는 효율적인 시스템
      • An Efficient On-the-fly Repairing System of Order Violation Errors for Health Management of Airborne Software
    • 저자
      • 김태형, 최으뜸, 전용기

• 2020-09-8
  • Integrated Communications, Navigation and Surveillance Conference, ICNS 가상 학술대회 참석 (9/8~9/11)

• 2020-08-28
  • 김태형, 백형진 두명이 석사학위를 취득하였습니다.

• 2020-08-04
  • 워크샵을 진행하였습니다.
    • 일자 : 8월 4일
    • 주제
      • 고신뢰소프트웨어 연구실 연구진도 (이건표)
      • UML 작성법 (우이정, 이승은, 한민균)
      • 항공기 건전성 관리시스템용 원자성 위배 자율 수리 소프트웨어 기법 (이승은)
      • 소프트웨어 진흥법 (최으뜸)
      • 연구자를 위한 특허 출원 및 등록 방법 (김태형)

• 2020-08-03
  • 다음 두 명의 학생이 석사학위 수여 예정입니다.
    • 졸업자: 김태형, 백형진
    • 일자: 8월 28일
• 이승은 학생이 9월부로 학석사과정에서 석사과정으로 편입될 예정입니다.

• 2020-07-15
  • 한국항공우주학회지에 논문이 등재되었습니다. 등재된 논문은 다음과 같습니다.
    • 제목
      • 항공기 건전성 관리시스템용 원자성 위배 자율 수리 소프트웨어 기법
      • On-the-fly Atomicity Violation Repairing Technique for Airborne Health Management Systems
    • 저자
      • 최으뜸, 이동수, 전용기, 이성진

• 2020-06-01
  • 워크샵을 진행합니다.
    • 장소 : 407동 604호
    • 시간 : 6월 11일 오후 4시
    • 주제
      • VxWorks SDK (우이정)
      • 졸업예정자 발표 리허설 (김태형, 백형진)

• 2020-01-08
  • 무기한 연기중
  • 2020년 1월 9일부터 2월 6일까지 2월 14일까지 세미나를 진행합니다.
    • 주제 : DO-178C
    • 장소 : 407동 103호
    • 시간 : 목요일 저녁 5시
  • 워크샵
    • 장소 : 407동 103호
    • 시간 : 2월 6일, 오후 4시 미정

• Old News (~2020)