skip to content
Dependable Software Lab.
Site Tools
Tools
Backlinks
Recent changes
Media Manager
Sitemap
Login
Recent changes
Media Manager
Sitemap
Sidebar
Introduction
Contact
News
Research
International
Domestic
Patents
Project
Member
Supervisor
Researcher
Alumni
Personal Leave
Co-supervision
Course
Seminar
siteadmin
news
====== DSLab. News ======
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)
Copyright © 2014 DSLab., Gyeongsang National University, Jinju, South Korea.
news.txt
· Last modified: 2022-05-24 10:39 by
Junho Lee
Page Tools
Backlinks
Export to PDF
Back to top