연구실 정보를 불러오고 있습니다
한국형 원자력발전소 안전최우선소프트웨어 개발을 위한 정형기법 기반의 소프트웨어 개발방법론 개발
SW 요구 및 검증공학 기술연구 센터, 융합 소프트웨어를 위한 요구 및 품질검증 기술 개발
무인비행체SW 연구센터, 무인비행체용 실시간 SW 플랫폼
한국형 원자력발전소 원자로보호시스템을 위한 통합 소프트웨어 개발 패키지 개발
안전 필수 산업분야의 'SW공학 경쟁력 강화를 위한 SW안전성 품질현황 조사' 용역
안전등급 제어기기 엔지니어링 도구 성능개선 기술개발
정형기법 기반 안전등급 계측제어 소프트웨어 평가방법 개발
통합개발환경 확인 및 검증
고신뢰 자율제어 SW를 위한 CPS (Cyber-Physical Systems) 핵심 기술 개발
안전등급 계측제어 소프트웨어 위해도 평가방법 개발
상용 합성도구 검증을 위한 VIS 성능 개선
통합 모듈형 실시간 운영체제 정형 검증
Formal Method 기반 암호 알고리즘 및 보안 프로토콜 검증에 관한 연구
계층적 구조를 갖는 안전 시스템의 체계적인 위해도 분석을 위한 통합 위해도 분석 프레임워크
신뢰적인 지능형 CPS 복합체계 개발 및 On-the-fly 검증기술
무인이동체 보안ㆍ안전성 평가 모델 개발 및 제도 연구
통합 위험 분석 모델을 통한 다중 가상 물리 시스템의 시스템 테스트 케이스 생성
경수형 SMR 다양성보호계통 및 계측제어 분야 규제기반기술 개발
출처: 연구실 홈페이지
현재 재학생
수집 중
최근 5년 졸업
0명
본 페이지는 연구실 규모 파악을 위한 집계 통계(구성원 수, 진로 카테고리, 학위 과정 분포)만 제공하며, 개별 학생의 이름·전적·취업처 등은 표시하지 않습니다. 학위 과정 분포는 모든 재학생의 과정이 명확히 분류된 경우에만 표시되며 (분류 미상 학생이 1명이라도 있으면 미표시), k≥5 익명성 조건을 충족할 때만 공개됩니다 (PIPA §58-2·§28-2 + 대법원 2014다235080).
수집 중
수집 중
논문 데이터가 수집되면 연구 키워드가 자동 추출됩니다