Site Tools


news
====== DSLab. News ======
  • 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-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-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-2-25
    • 박사과정 최으뜸 선배님께서 졸업하셨습니다.
  • 2020-11-13
    • 2020 대한임베디드공학회 추계학술대회 참석
  • 2020-10-20
    • 항공우주소프트웨어학과 금산 단체 산행 참가
  • 2020-10-10
    • 한국항공우주학회지에 논문이 등재되었습니다. 등재된 논문은 다음과 같습니다.
      • 제목
        • 항공기 소프트웨어의 건전성 관리를 위해서 순서 위배 오류를 자율 수리하는 효율적인 시스템
        • An Efficient On-the-fly Repairing System of Order Violation Errors for Health Management of Airborne Software
      • 저자
  • 2020-08-04
    • 워크샵을 진행하였습니다.
      • 일자 : 8월 4일
      • 주제
        • 고신뢰소프트웨어 연구실 연구진도 (이건표)
        • UML 작성법 (우이정, 이승은, 한민균)
        • 항공기 건전성 관리시스템용 원자성 위배 자율 수리 소프트웨어 기법 (이승은)
        • 소프트웨어 진흥법 (최으뜸)
        • 연구자를 위한 특허 출원 및 등록 방법 (김태형)
  • 2020-08-03
    • 다음 두 명의 학생이 석사학위 수여 예정입니다.
  • 이승은 학생이 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시 미정

Copyright © 2014 DSLab., Gyeongsang National University, Jinju, South Korea.
news.txt · Last modified: 2022-05-24 10:39 by Junho Lee