FSM의 행위 일치 알고리즘을 이용한 임베디드 시스템의 합성적 안전성 분석 기법
· 약 1분
저자: 이우진 게재지: 정보처리학회논문지D (ISSN : 1598-2866), 제14—D권, 제 5호, pp. 633-640, 2007년 10월 분야: 임베디드 소프트웨어
본 논문은 FSM의 행위 일치 알고리즘을 이용한 임베디드 시스템의 합성적 안전성 분석 기법에 관한 연구로, 임베디드 소프트웨어의 개발 및 검증 효율화를 위한 기법을 제안한다. 제안된 접근법은 임베디드 시스템의 신뢰성과 품질 향상에 기여한다.