정형 검증 (Formal Verification) 1. 개요 정형 검증(Formal Verification)이란 수학적 모델과 논리적 추론을 사용하여 소프트웨어나 하드웨어 시스템이 설계 명세(Specification)를 엄격하게 준수하는지를 증명하는 소프트웨어 공학 기법이다. 일반적인 소프트웨어 테스트(Testing)가 특정 입력값의 집합을 선택해 실행 결…
검색 결과
"고신뢰성 시스템"에 대한 검색 결과 (총 3개)
RAID 6 요 RAID 6은 undant Array of Independent Disks독립 디스크의 중복 배열 기술 중 하나로, 데이터 안정성과 가용 높이기 위해 설계된 스토지 기술입니다 RAID 6은 RAID 5의 단 보완하여, 두 개의스크가 동시에 실패하더라도 데이터를 복구할 수 있는 이중 패리티(Dual Parity) 기능을 제공합니다. 이로 인해…
Field-Programmable Gate Array 개요 Field-Programmable Gate Array(FPGA 현장 프로그머블 게이트레이)는 사용자가 소프트웨어 통해 하드웨어 구조를 재구성할 수 있는 반도체 장치입니다. FPGA는통적인 고정 기능의 집적회로(IC)와 달리, 출하 후에도 사용자가 원하는 논리 회로를 프로그래밍하여 구현할 수 있어 매…