최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기주관연구기관 | 전북대학교 Chonbuk National University |
---|---|
연구책임자 | 이문근 |
보고서유형 | 최종보고서 |
발행국가 | 대한민국 |
언어 | 한국어 |
발행년월 | 2018-06 |
과제시작연도 | 2017 |
주관부처 | 교육부 Ministry of Education |
등록번호 | TRKO201900023700 |
과제고유번호 | 1345261388 |
사업명 | 개인기초연구(교육부) |
DB 구축일자 | 2020-08-08 |
키워드 | 프로세스 대수.시각화 언어.시각화 도구.실시간 시스템. |
□ 연구개요
본 연구의 목표는 분산 이동 실시간 SW 개발을 위한 새로운 시각 프로세스 대수와 도구를 개발하는 것이다. 이를 위해, 1) DeViL(Delta Visual Language), 2) 이를 모의실험하기 위한 실행모델, 즉 DEM (DeViL Execution Model), 3) 그 결과인 DEG(DeViL Execution Graph), 4) DEG를 대상으로 분석과 검증을 하기 위한 DVL(DeViL Visual Logic), 5) DVL 기반 분석기, 6) DVL 기반 검증기를 정의한다. 그리고 관련 도구들을
※ AI-Helper는 부적절한 답변을 할 수 있습니다.