Dependable Software Lab.

Site Tools

Sidebar

news

DSLab. News

  • 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시 미정
  • 2019-12-26
    • 연구실 송년회
  • 2019-12-20
    • 항공기 소프트웨어 인증 교육 참여
    • 기간: 2019년 12월 16일 ~ 20일
    • 주제: DO-178C, 254, 297, 331, 332, ARP4754A, 4761, CAST-32A
  • 2019-11-28
    • 11_28_workshop.jpg
    • 워크샵을 진행하였습니다. 주제는 다음과 같습니다.
      • Redmine
      • Research topic sharing (이건표)
      • FACE overview
      • project 진행 사항 점검
  • 2019-11-04
    • 2019년 2학기 졸업예정자들의 발표 리허설 진행 예정
      • 장소 : 407동 103호
      • 시간 : 11월 5일, 오후 4시 30분
      • 발표자: 김성준, 김태형, 박상섭, 백형진, 임산하
  • 2019-10-20
    • 2019년 10월 15일부터 20일까지 서울에서 열린 Seoul ADEX 2019에 참석하였습니다.
    • adex2019_3.jpg
  • 2019-10-02
    • 2019년 10월 10일부터 24일까지 세미나를 진행합니다.
      • 주제 : Individual research topic (technical memo)
      • 장소 : 407동 604호
      • 시간 : 목요일 저녁 7시
    • 워크샵
      • 장소 : 407동 103호
      • 시간 : 10월 25일, 오후 4시
  • 2019-09-20
  • 2019-09-02
    • 학부생 인턴 2명이 새로 들어왔습니다.
  • 2019-08-29
    • 2019년 8월 29일 부터 9월 20일까지 세미나 진행.
      • 주제 : development tool study (IBM Rhapsody, Git, Redmine)
      • 장소 및 시간 : 407동 604호 오후 7시
    • 워크샵
      • 장소 : 407동 103호
      • 시간 : 9월 20일, 오후 5시
  • 2019-08-1
    • 연구분야 공유 세미나 종료
  • 2019-05-31
    • ISET 2019에서 Airborne Software Engineering 초청세션 운영
  • 2019-05-27
    • 항공우주 및 소프트웨어 공학 전공 오픈랩 행사 안내
    • 일시 : 2019. 5. 30. (목) 15:30 ~ 20:00
    • 참석 대상 : 학과 3~4 학년
    • 장소 : 407동 101호
    • 구성 : 실험실 투어, 연구 내용 발표(oral & poster), 저녁 식사
  • 2019-05-15
    • 스승의날 기념 행사 진행.
  • 2019-05-15
  • 2019-05-9
    • 2019년 5월 9일 부터 6월 21일까지 세미나 진행.
    • 주제 : Flight Management System
    • 장소 및 시간 : 407동 103호 오후 7시
  • 2019-04-29
    • 2019년 4월 24일부터 4월 27일까지 제주 KAL 호텔에서 열린 항공우주시스템공학회 2019년도 춘계학술대회에 참석하였습니다. 발표 논문은 다음과 같습니다.
      • 이건표: 병행성을 가진 항공기 소프트웨어를 모의실험하기 위한 소프트웨어 프레임워크
      • TSogbayr Jargalsaikhan, : ARINC-653 환경에서 UAV 비행제어 소프트웨어의 건전성관리 시스템
      • 김태형: 항공기 소프트웨어의 동시성 오류를 위한 감시 기법
      • 백형진: 병행 소프트웨어의 원자성위배를 위한 자율수리 기법에 대한 고찰
  • 2019-04-11
    • 경상대학교 항공기부품기술연구소에서 아래와 같이 초청세미나를 개최하오니 관심있는 분들의 많은 참석 바랍니다.
      • 일시 : 2019.4.12.(금) 16:00~
      • 장소 : 407동 101호
      • 연사 : 권경용 (국방기술품질원)
      • 주제 : 무기체계 SW 품질관리
    • 강의 10분전까지는 입실하셔서 강의 분위기가 흐려지지 않도록 해 주십시오.
    • 문의사항은 055-772-2570번(항공기부품기술연구소)으로 부탁 드립니다. 감사합니다.
  • 2019-04-6
    • 2016년도 졸업하신 팽봉준 선배님께서 2019년 4월 6일 결혼하셨습니다. 축하드립니다.
  • 2019-03-21
  • 2018-01-22
    • 2018년 1월 23일 14시부터 항공 소프트웨어 개발 및 검증 솔루션에 대한 세미나가 있습니다.

* 2015-04-16

  • 조유준(조호기) 선배님께서 오는 5월 16일 (음 3.28) 토요일 오후 2시에 포시즌 3층/로즈홀에서 결혼식을 올립니다. 많이 축하해주세요.
  • 2015-03-16
    • 2015년 3월부로 박사 과정으로 최으뜸, 석사 과정으로 송민기가 입학하였습니다. 신입생 환영회가 3월 27일(금) 저녁에 있습니다.
  • 2015-01-05
    • 2015년에도 운영체제연구실에서 교수님과 여러 선후배님들을 모시고 함께 친목과 교류의 자리를 마련하고자 합니다. 아무쪼록 함께 하시어 더욱 풍성한 시간이 되도록 자리를 빛내주시길 바랍니다.
      • 일시: 2015. 1. 24(토) 저녁 6시
      • 장소: 진주시 대평면 내촌리 내촌호수마을
      • 문의: 김현지
  • 2014-08-25
  • 2013-08-16
    • Martin (PhD), Sun-Sook (Master), and Meng Ying (Master), have successfully defended their theses and will be graduating on August 23rd, 2013. The DSLab is very proud of you!


  • 2013-02-26
    • The DSLab. has now been relocated to the 5th floor of Building 354. The new office room is 354-510-1
  • 2013-02-21
    • Martin's paper on compositional real-time scheduling has been accepted for publication in Journal of Systems and Software by Elsevier.
  • 2012-11-06
    • Dr. Ha and PhD Candidate Martin have been selected to appear in the 30th Marquis Who's Who is the World.
  • 2012-10-13
    • Prof. Jun and Martin are attending the 31st Digital Avionics Systems Conference in Williansburg, VA, USA, where Martin will be presenting his paper on concurreny faults visualization in ARINC-653 applications.
  • 2012-09-05
  • 2012-08-22
    • 박사과정 하옥균이 박사학위를 받게되었습니다. 졸업식은 8월 24일 (금) 입니다.
  • 2012-08-18
    • Martin will be presenting his paper on power-aware scheduling in the WiP Session of RTCSA'12 in Seoul in Aug.22.
  • 2012-07-11
  • 2012-06-12
    • Ph.D. Candidate Ha to present his paper in The 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2012), ACM, July 16, Minneapolis, MN.
  • 2012-06-12
    • 00학번 하삼식 동문, 2012. 6. 23(토) 서울에서 결혼합니다. 자세한 내역은 다음 청첩장 링크를 참고하세요. 청접장
      777399.jpg
  • 2012-05-10
    • 박사과정 하옥균, IT고급인력양성분야에 ITRC협의회장상(우수상) 수상
    • Ph.D. Candidate Ha to receive the ITRC Best Researcher Award. (where : COEX Hall A(ITRC Forum))
  • 2012.04.09
    • The Lab Seminar schedule will be shifted by one week. Please check the new schedule for detailed information.
  • 2012-03-23
    • Every Saturday 10am, 3.24 ~ 5.12. Schedule is here
  • 2012-03-13
    • 본 연구실 석사와 본 대학 경영정보학 박사를 취득한 가명호(Minghao Jia) 동문이 2012년 3월부로 대구가톨릭대학 전임강사로 임용되었습니다.
  • 2012-02-29
  • 2012-02-24
    • 박사과정 강문혜, 석사과정 박길준이 각각 박사학위와 석사학위를 받습니다. 2.24(금) 졸업식이 있습니다.
  • 2012-02-10
    • We won't be having lab seminar this coming Tuesday. It has been postponed to Tuesday 21st, 2012.
  • 2011-12-29
    • 오는 2012년에도 어김없이 운영체제연구실에서는 교수님과 여러 선후배님들을 모시고 함께 친목과 교류의 자리를 마련하고자 합니다. 아무쪼록 함께하시어 더욱 풍성한 시간이 되도록 자리를 빛내주시길 바랍니다.
      • 일시: 2012. 1. 28(토) 저녁 7시
      • 장소: 교수님 자택
      • 문의: 구인본, 실장 하옥균
    • 교수님 주소가 바뀌었습니다. 바뀐 주소는 개별 발송한 email에 포함되어 있습니다. 유의하시기 바랍니다.
    • 숙소가 필요하신 분은 미리 말씀하시면 숙소를 예약하도록 하겠습니다.
  • 2011-12-13
    • OS Lab. 석사과정을 졸업한 임재선님께서 오는 12월 24일 충남 공주에서 결혼식을 올립니다. 특별히 교수님께서 주례도 보게 되었습니다. 많이 축하해주세요. -임재선

  • 2011-11-07
    • For this week, the Lab Seminar will be on Friday 11, 2011 instead of Wednesday 09. The time remains unchanged, 7pm.
  • 2011-11-01
    • For this week, the Lab Seminar will be on Friday 04, 2011 instead of Wednesday 02. The time remains unchanged, 7pm.
  • 2011-11-01
    • Our traditional Sport Day for this semester will be organized on Saturday 05, 2011. The activities will start at 9 am. We are planning to have Table Tennis, Badminton, Bowling, etc
  • 2011-10-29
    • With great sadness ACM mourns the loss of Dennis Ritchie, winner with Ken Thompson of the 1983 A.M. Turing Award for their development of generic operating systems theory and the implementation of the UNIX operating system. An important pioneer of modern computing, Ritchie was the creator of C, now the second most popular programming language in the world by most measures. The C language paved the way for C++ and Java, while Unix was the basis for many of the most widely used operating systems today. His Turing Award Lecture, Reflections on Software Research, appeared in the August 1984 issue of Communications of the ACM.
  • 2011-10-29
    • ACM is sad to announce that John McCarthy, 1971 ACM Turing Award recipient, has died at age 84. He was cited for his major contributions to the field of artificial intelligence. In fact, he first coined the term "artificial intelligence" at the Dartmouth Conference in 1955. McCarthy invented the Lisp programming language and published its design in Communications of the ACM in 1960. A Professor at Stanford University, McCarthy helped set up the Stanford AI Laboratory. He retired from Stanford in 2000.
  • 2011-10-24
    • GESCA is organizing a workshop on ARINC-653 on October 28, 2011 at 3PM. The venue is at the Auditorium Room 352-216. The workshop will have three main presentations: ARINC-653 Overview, Certification and Development for ARINC-653, and Hierarchical Real-Time Scheduling Framework.
  • 2011-10-17
    • OS-Lab has welcomed two new master students from the Korean Aerospace Industries (KAI)
  • 2011-10-15
    • The fall Lab Seminar will start on October 19, 2011 and will be held every Wednesday at 7pm.
  • 2011-10-10
    • Prof. Jun will be giving a lecture at Air-Force LC (Seosan) on October 13 (Thursday).
  • 2011-10-01
    • Prof. Jun to be in the annual ITRC-Workshop, Jeju on Oct. 6-7
  • 2011-09-18
  • 2011-09-16
    • OS Lab to hold a new-term lab dinner on September 23
  • 2011-09-15
    • Suk-Joo Choi (Suresoft) is getting married in Seoul on September 17, 2011
  • 2011-08-05
    • The GESCA Summer Workshop to be held on August 10
  • 2011-08-05
    • Prof. Jun to visit Boston from August 12 to 20
  • 2011-08-05
  • 2011-01-06
    • 강문혜 & 박길준 1월 22일 결혼 합니다.
    • 연구실의 오랜 지기 두 사람이 결혼을 합니다. 많이 참석 하셔서 축하해 주세요.
      • 일시: 2011년 1월 22일 (토) 2시
      • 장소: 김해 웨딩갤러리앤 5층 글로리아홀
    • 연구실원들은 학교에 모여서 출발할 예정입니다. 혹시, 같이 출발하실 분들은 미리 연락 주세요.
  • 2010-12-13
    • Prof. Jun and all the OSLab members are attending the FGIT-2010 international conferences in Jeju Island, Korea. Ok-Kyoon and Martin will present their work in FGCN-2010 while Byung-Chul will present his paper in ASEA-2010. The Lab. will benefit from this event to visit and admire the natural beauty of the island.
  • 2010-10-19
    • 운영체제연구실에서 제공하는 연수과정에 관심이 있는 학부생 인턴을 모집합니다
      • 모집기간: 2010년 10월 18일 ~ 2010년 10월 23일
      • 모집대상: 컴퓨터과학부 정보과학과 재학생
      • 모집방법: 면담 후 결정
      • 모집인원: 2명
      • 연수기간: 2010년 11월 1일 ~ 2011념 1월 31일 (3개월)
      • 연수자격: C/C++, JAVA 프로그래밍 가능자
      • 문 의: 운영체제연구실 (담당자: 강문혜, 구인본, 하옥균, 김선숙)
      • 지원사항: 연수비 및 연구환경 제공
  • 2010-10-04
    • Prof. Jun is now participating to the 29th Digital Avionics Systems Conference (DASC-10) in Salt Lake City, USA. He will present a paper on Race Healing in ARINC-653 flight software. The conference is opened for five days from October 3 to 7, 2010.
  • 2010-03-12
    • 이진숙, 경상남도 장학사 공채 14기 합격 (최연소)
  • 2009-10-05
    • 운영체제연구실에서 제공하는 연수과정에 관심이 있는 학부학생 인턴을 모집합니다.
      • 모집기간: 2009년10월5일 ~ 10월 13일
      • 모집대상: 정보과학과 3/4학년
      • 모집방법: 면담 후 결정
      • 모집인원: 1명
      • 연수기간: 2009년10월15일~2010년2월15일 (4개월)
      • 연수자격: C/C++ 프로그래밍 능력 보유
      • 지원사항: 연수비 및 연구환경 제공
  • 2009-10-01
    • 박사과정 하옥균 ‘이공계 대학원 연구장학생’으로 선정
    • 한국장학재단에서 주관하는 ‘2009년 이공계 대학원 연구장학생 선발 사업’에 우리연구실 박사과정 하옥균군이 “OpenMP 프로그램에서의 경합 치유(Races Healing) 기법의 개발을 위한 연구”라는 주제로 응모하여 장학생으로 선정되었습니다.
    • 장학생으로 선정됨으로써 OpenMP 프로그램에서 치유기법의 연구개발을 통한 전반적인 시스템의 신뢰성을 향상시키는 목표 달성을 위해 1년 동안 연구개발을 위한 장학금이 지급될 예정입니다. 좋은 결과를 이룰 수 있도록, 축하와 격려 부탁 드립니다.
  • 2009-08-31
    • Conducted by Prof. Jun, the OSLab represented by its members Byung-Chul Kim and Mun-Hye Kang will present two papers to the PaCT-2009 conference which is holding in Novosibirsk, Russia from august 31 to september 03, 2009.
  • 2009-07-06
  • 2009-07-03
    • Prof. Jun invited to the Program Committee of ISPAN-2009.
    • ISPAN is The International Symposium on Pervasive Systems, Algorithms and Networks.
  • 2009-06-21
    • Prof. Jun invited to the Program Committee of ICHIT-2009
    • ICHIT is the most comprehensive conference focused on the various aspects of advances in Convergence and Hybrid Information Technology. All research results about the current and emerging areas of technology and other states trends to ensure efficient and cost effective deployment of governmental or commercial services, reduce the risks of innovation through IT analysis may be presented in this conference.
  • 2009-06-19
    • Prof. Jun invited to the Program Committee of NPC-2009.
    • The goal of IFIP International Conference on Network and Parallel Computing (NPC 2009) is to establish an international forum for engineers and scientists to present their excellent ideas and experiences in all system fields of network and parallel computing. NPC 2009 will be hosted by Central Queensland University, Deakin University and Swinburne University of Technology, and be held from October 19 to 21, 2009 in Gold Coast, Australia. NPC 2009 is sponsored by IFIP and technically co-sponsored by IEEE Computer Society.
  • 2009-06-14
    • Ho-Gi Cho fully employed by MacroImpact, Inc. from July, 2009.
    • MacroImpact is the first Korean company to pioneer a state-of-the art cluster file system for the Storage Area Network (SAN) Linux market that optimizes performance and scalability in highly available, mission-critical environments.
  • 2009-06-03
    • Prof. Jun invited to the Program Committee of GDC-2009.
    • The 2009 Conference on Grid and Distributed Computing(GDC 2009) Date: December 10 ~ 12, 2009 Address: International Convention Center Jeju, Jeju Island, Korea. Proceedings will be published by Springer
  • 2009-04-07
    • 박사과정 구금서군이 4월 26일 결혼합니다.
    • E-청첩장을 봐주세요.
      • 일시: 4월 26일 일요일 오전 11시
      • 장소: 삼천포해상관광호텔 구룡대
    • 두 사람이 새로이 출발하는 곳, 축복의 자리로 여러 선배님과 후배님을 초대합니다.
  • 2009-03-09
    • 김영주 선배님이 금년 3월 1일 부로 KAIST 연구교수로 임용되었습니다.
      • 연구분야 : USN (Ubiquitous Sensor Networks)
  • 2009-03-09
  • 2008-12-04
    • 2008 정보통신분야학회 합동학술대회에 제출한 하옥균의 논문("OpenMP 프로그램의 데이터 경합 탐지를 위한 Sun Thread Analyzer의 실험적 분석")이 우수 논문으로 선정되었습니다.
  • 2008-11-20
    • 전용기 교수님 Internationall Journal of Grid and Distributed Computing 편집위원으로 선임
  • 2008-09-05
    • 부산대학교에 계신 박미영 선배님과 한국정보통신대학교 (ICU)에 계신 김영주 선배님이 금년 9월 1일 부로 현재 계신 대학에서 연구교수로 임용되었습니다.
    • 박미영 선배님
      • 소 속 : 부산대학교 U-Port 정보기술 산학공동사업단
      • 연구분야 : 무선 메쉬 네트워크
    • 김영주 선배님
      • 소 속 : 한국정보통신대학교 IT 공학부 BK 사업단
      • 연구분야 : USN 분야 (Ubiquitous Sensor Networks)
  • 2007-11-07
    • 통합과정에 재학 중인 구인본 군이 한국정보처리학회(KIPS)에서 주관하는 제28회 추계학술발표에 제출한 논문(병행 Java 프로그램의 공유변수 접근사건 선택을 위한 투명한 감시도구)이 우수 논문으로 선정되었습니다.
  • 2007-11-01
  • 2007-10-29
  • 2007-10-26
  • 2007-07-25
    • 2007년도 하계 MT 및 워크샵
      • Motto: Cool Head, Warm Heart
      • 일시: 2007년 7월 27일(금) ~ 28일(토), 1박 2일
      • 장소: 전북 무주군 적상면 포내리 212 (호수 펜션)
  • 2007-06-30
  • 2007-06-06
    • 김혜린, 류우석, 조호기 학생과 함께 진행된 3기 인턴연구 프로그램이 5월부로 종료되었습니다. 그리고 이어서 6월과 7월에 걸친 4기 인턴연구 프로그램이 김혜린, 조호기 학생과 함께 다시 시작되었습니다.
  • 2007-04-14
    • 2007년 4월부로 3기 인턴연구학생으로 김혜린 학생과 류우석 학생이 인턴연수를 시작하였습니다.
  • 2007-04-13
    • 전용기 교수님이 그동안 준비해 오신 교재가 2007년 3월 1일자로 상조사에서 출간되었습니다.
  • 2007-04-12
    • Young-Joo Kim received his Ph.D. in Computer System in 2007 at Gyeongsang National University.
    • 김영주 선배가 박사학위를 취득하였습니다. 김영주 선배님은 금년 5월과 9월에 프랑스 파리와 러시아 모스크바에서 각각 논문을 발표하고 해외에서 박사후 연구원으로 취업할 예정입니다.
  • 2007-03-14
  • 2007-03-14
  • 2006-11-16
    • New internship student invited. 학부생 인턴연구원모집. 관련첨부문서를 확인하세요.
    • 첨부문서
  • 2006-10-11
  • 2006-09-12
  • 2006-07-27
  • 2006-06-16
    • Ha Geum-Suk(Ph.D) got a patent.
    • 하금숙 박사의 "내포병렬성을 가진 공유메모리 프로그램의 수행중 최초경합 탐지를 위한 효율적 기법"이 특허 등록되었습니다.
  • 2006-03-24
    • Relocating OS Lab to Building NS-4 (Natural Science 4)
    • OS Lab: 354-117
    • Prof. Jun: 354-116
  • 2006-03-06
  • 2006-01-01
  • 2005-12-18
  • 2005-11-03
  • 2005-09-01
  • …
Copyright © 2014 DSLab., Gyeongsang National University, Jinju, South Korea.
news.txt · Last modified: 2020-08-05 16:42 by I-Jeong Woo

Page Tools