Embedded 시스템의 신뢰도 측정을 위한 복잡도의 척도에 관한 연구

본 논문에서는 기존의 cyclomatic number, software science 에 의한 소프트웨어 복잡도, 신뢰도 척도가 embedded 시스템에 적용하기 부족함을 보이고, Petri Net을 이용하여 cyclomatic number, V(PG), 와 N (place + transition수) 를 정적인 복잡도의 척도로서 이용할 수 있음을 보였다. 또한 동적인 복잡도의 척도로서 reachable state 수와 토큰수를 제시하였고, cyclomatic number 만으로도 충분히 척도로 이용할 수 있음을 보였다. Reachability분석시에 발생하는 기하 급수적 state 폭발 문제를 liveness, safeness의 판단능력을 지닌 OR-parallel firing 규칙을 이용하면 다소 해결할 수 있음을 보였다.