본 발명에 따른 IMD 기반 인공 췌장 시스템을 위한 명세 기반의 오동작 탐지 시스템은 IMD 기반 인공 췌장 시스템에서 생성되는 각 메시지의 전송 이벤트에 대한 위협을 파악하기 위한 복수의 제1 행위규칙을 검증하고, 위반된 행위규칙이 있는 경우에 해당 행위규칙에 대응된 ASI(Attack State Indicator)값을 출력하는 동작 검증부, 상기 IMD 기반 인공 췌장 시스템에서 전송한 각 메시지에 대한 위협을 파악하기 위한 복수의 제2 행위규칙을 검증하고, 위반된 행위규칙이 있는 경우에 해당 행위규칙에 대응된 ASI값을 출력하는 메시지 검증부, 상기 IMD 기반 인공 췌장 시스템의 각 구성에서 출력하는 데이터에 대한 위협을 파악하기 위한 복수의 제3 행위규칙을 검증하고, 위반된 행위규칙이 있는 경우에 해당 행위규칙에 대응된 ASI값을 출력하는 BGL 검증부, 그리고 상기 동작 검증부, 상기 메시지 검증부 및 상기 BGL 검증부에서 출력한 ASI값을 수신하고, 수신한 ASI값을 합산하며 합산한 ASI값이 설정 임계값을 초과한 경우에 오동작이라고 판정하는 오동작 판정부를 포함한다.