프로젝트 소개
본 과제는 분산 이동 실시간 SW 개발을 쉽게 만들기 위한 시각화 언어와 모의실험·분석·검증 도구를 개발하는 연구임.
연구 목표는 DeViL(Delta Visual Language) 기반으로 1) 실행모델 DEM, 2) 결과 도표 DEG, 3) 분석·요구사항 명세용 DVL(DeViL Visual Logic) 및 4) 분석기·검증기(DeViL Analyzer, DeViL Verifier)를 정의하고 관련 도구(DeViL Editor, DeViL Simulator, DEG Editor, DVL Editor)를 구축하는 데 있음. 기대효과는 Mission-Critical/Ad Hoc, 국방, Cloud Computing 등 방대·복잡한 분산 이동 시스템 SW 개발과 순공학·역공학·재공학, SW·시스템 공학 교육 및 제품 활용에 기여함.