4. 연구 내용

안전성 시험, 평가, 인증 및 결함감내 시스템 개발 연구 수행

• 시험기술:

  • 연구실적: fault injection simulation tool 개발 

    • Jongwhoa Na and Dongwoo Lee, "Simulated Fault Injection Using Simulator Modification Technique", ETRI Journal, valume 33, no.1, pp.50-59, Fab 2011

    • Dongwoo Lee, Jongwhoa Na, "A Novel Simulation Fault Injection Method for Dependability Analysis," IEEE Design and Test of Computers, vol. 26, no. 6, pp. 50-61, Nov./Dec. 2009, doi:10.1109/MDT.2009.135

  • 연구계획: 

    • FPGA fault injection, Hybrid (Simulation & FPGA) injection, Cloud injection 

      • 국제 안전 및 보안인증  

• 평가기술: NEW dependability metric 

  • 연구실적: Reliability improvement factor, relative reliability factor 개발

    • A study on the reliability improvement factor of fault tolerant mechanisms. Jongwhoa Na and Dongwoo Lee, Safecomp 2013 FastAbstract, Sep 2013, Toulouse, France. 

    • MTTF 를 대체하는 평가지표 개발

  • 연구계획:

    • 국제 안전 및 보안인증에서 사용가능한 safety and security metric 개발

• 인증기술: 

  • 연구실적: Simulation-based Risk analysis

    • 공중충돌경보 항전시스템 개발용 통합 시뮬레이션  유튜브

    • 통합무인기 시뮬레이터  유튜브

  • 연구목표: 안전인증 기술개발

    • DO-178C 안전인증 기술 분석 및 지원도구 개발

    • 타겟 인증규격

      • ARP4754 Certification Considerations for Highly-Integrated or Complex Aircraft Systems(SAE, 1996a) describes the system development process for complex and highly integrated systems. 

        • ARP4761 Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment(SAE, 1996b) describes the safety assessment process and techniques for complex highly integrated systems. 

      • DO-178C /ED-12B Software Considerations in Airborne Systems and Equipment Certification (EUROCAE, 1992) describes best practices for the development of critical software components (see Advisory Circular (Federal Aviation Administration, 1993), for the note suggesting its usage). 

      • DO-254/ED-80 Design Assurance Guidance for Airborne Electronic Hardware(RTCA, 2000) describes best practices for the development of hardware performing critical functions (see Advisory Circular (Federal Aviation Administration, 2005) for the note suggesting its usage)  

    • 항전 시스템 (ADC, FCC, MC, ...) 통합 시뮬레이터 개발 

    • 항공/우주 및 차량(철도)  인증 지원도구 개발  (Fault injection based FMEA FTA generation)

• 결함감내 시스템 개발 연구실적: 

  • 결함주입 도구

    • Verilog kernel modified fault injection 

    • SystemC kernel modified fault injection

    • Fault injection environment for commercial Verilog simulator 

  • 결함 감내 IP

    • Dual modular redundant (DMR) 및 triple modular redundancy (TMR) 기술을 MIPS, ARM, OpenRiSC processor IP에 적용

    • DMR MIPS/ARM/OR12K, TMR MIPS/ARM 개발

  • 결함 감내 보드

    • • Raspberry Pi DMR 보드 (Low cost but reliable ES or IoT/Ubiquitous application)