기호사용 시뮬레이션에 의한 가상-물리 시스템의 입증 방법

전문가 제언

이 논문은 Univ. of Pennsylvania(Philadelphia)의 컴퓨터 및 정보과학과 교수 Rajeev Alur 교수가 저널 ‘COMMUNICATIONS OF THE ACM‘의 핵심 연구 분야의 기술전망 섹터에 기고한 글로, Symbolic 시뮬레이션의 실험결과로 볼 때 기존의 표준적 시뮬레이션 방법과 비교 시 경쟁력이 있다고 주장하는 내용이다.

타당성 입증문제는 컴퓨터 계산적으로는 어려운 문제이나 HW/SW 시스템의 입증 방법론, 알고리즘, 도구 개발에 지속적인 연구가 이어지고 있다. 특히 멀티프로세서 설계 및 디바이스 드라이버 코드의 수정사항 검토를 채택하고 시스템모델이 도달 가능한 모든 상태공간을 기호를 사용하여 탐색하는 기술인 모델체크방법은 실제로 성공적인 이론이다. 여기서 모델은 순전히 이산적인 모델이다.

하이브리드시스템의 도달가능 상태에 대한 기호 이용방법에 의한 컴퓨터 계산은 시스템 상태집합의 표현에 대한 선택을 필요로 한다. 단일 시뮬레이션 적용 결과는 이 표현을 이용하여 효과적으로 계산될 수 있다. 표현의 복합구성은 시뮬레이션 횟수에 따라 점차 증가시켜 관리해야 한다. 논문의 기술적 설득력은 저자가 기호를 이용한 계산의 기술적 조합에 있다. 방법의 핵심가치는 스위칭 시간범위를 계산하여 각 시뮬레이션의 결과를 근사시키는데 있다. 이 새로운 방법의 핵심은 시뮬레이션에서 기호 표현의 단순성 유지와 안정성을 위한 심층 탐색으로 압축된다.

결론: 실험결과에 의해 저자는 계산 량에 있어 기호를 이용한 시뮬레이션 방법이 기존의 산업 표준적 시뮬레이션 도구에 비해 경쟁력이 있음을 입증하므로 논문이 의미심장하다고 보고하고 있다. 하이브리드 시스템의 기술변동에 대한 탐색과 투자를 위해 Mathworks와 같은 상용화 벤더를 설득하기 위해서는 비용 대 효과에 대한 입증이 핵심이라고 주장하고 있다.

저자

Rajeev Alur

자료유형

연구단신

원문언어

영어

기업산업분류

기초과학

연도

2013

권(호)

56(10)

잡지명

Communications of the acm

과학기술
표준분류

기초과학

페이지

96~96

분석자

박*만

분석물

• 기호사용 시뮬레이션에 의한 가상-물리 시스템의 입증 방법.pdf [243,957 byte]

이미지변환중입니다.