프로젝트 소개
본 과제는 분산 이동 실시간 SW를 쉽게 개발·점검하기 위해 시각 기반 프로세스 대수와 도구를 만드는 연구임.
연구 목표는 DeViL(Delta Visual Language), DEM(DeViL Execution Model), DEG(DeViL Execution Graph), DVL(DeViL Visual Logic), 분석기·검증기 정의를 포함한 도구 체계를 개발하는 데 있음. 핵심 내용은 DeViL Editor, DeViL Simulator/DEG Editor, DVL Editor로 명세-모의실험-분석(A-DEG)·검증(V-DEG)을 시각화함. 기대효과는 Mission-Critical·Ad Hoc·국방·Cloud Computing 등 방대 복잡한 분산 이동 시스템 SW 개발 및 SW 공학 교육, 순공학·역공학·재공학 활용 범위 확대임.