한글내용
(Korean Abstract) |
임베디드 시스템의 설계 복잡도가 높아지고, 설계 확인 및 수정 비용이 증가하면서 목표 아키텍처가 결정되기 전, 즉 시스템의 설계 초기 단계에서의 적절한 소프트웨어 검증이 더욱 더 중요해지고 있다. 이러한 초기 단계의 시뮬레이션은 높은 성능을 보이면서도 기능과 타이밍, 하드웨어 아키텍처, 태스크 할당, 그리고 스케줄링 정책 등을 잘 반영해야 한다. 특히 외부와의 시간 의존적인 상호 작용이 있는 경우 이를 반영하는 것은 어려운 문제인데 기존 연구[1]에서는 반복 시뮬레이션을 통해 이를 반영할 수 있도록 하였으나, 시뮬레이션 결과의 수렴 속도에 따라 총 시뮬레이션 시간이 증가한다는 약점이 있었다. 본 연구에서는 시스템의 명세 조건에 따라, 가능한 경우 반복 시뮬레이션을 피하고 단일 시뮬레이션만으로 시뮬레이션 결과를 얻음으로써 시뮬레이션 시간을 크게 단축할 수 있는 방법을 제시하였다. 연구의 결과는 반복 시뮬레이션 예제, 로봇 예제, 센서 네트워크 예제 등의 예제를 통해 검증되었으며 시뮬레이션 성능은 평균적으로 약 2.31 배 향상되었다. |
