정형 검증 (Formal Verification) 1. 개요 정형 검증(Formal Verification)이란 수학적 모델과 논리적 추론을 사용하여 소프트웨어나 하드웨어 시스템이 설계 명세(Specification)를 엄격하게 준수하는지를 증명하는 소프트웨어 공학 기법이다. 일반적인 소프트웨어 테스트(Testing)가 특정 입력값의 집합을 선택해 실행 결…
검색 결과
"인공심박동기"에 대한 검색 결과 (총 2개)
PMA (시판 전 승인, Pre-Market Approval) 1. 개요 PMA(Pre-Market Approval, 시판 전 승인)는 고위험 의료기기가 시장에 출시되기 전, 해당 제품의 안전성과 유효성을 과학적으로 입증하여 규제 기관의 엄격한 심사를 통해 판매 승인을 받는 제도이다. 이 제도는 의료기기가 인체에 미치는 잠재적 위험이 매우 높거나, 기존에 …