최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기주관연구기관 | 서울여자대학교 Seoul Womans University |
---|---|
연구책임자 | 이해영 |
보고서유형 | 최종보고서 |
발행국가 | 대한민국 |
언어 | 한국어 |
발행년월 | 2016-06 |
과제시작연도 | 2015 |
주관부처 | 미래창조과학부 Ministry of Science, ICT and Future Planning |
연구관리전문기관 | 한국연구재단 National Research Foundation of Korea |
등록번호 | TRKO201700010245 |
과제고유번호 | 1711024804 |
사업명 | 신진연구자지원 |
DB 구축일자 | 2017-10-12 |
키워드 | 모델링 및 시뮬레이션.이산 사건 시스템 명세.이산 사건 및 미분 방정식 시스템 명세.타임드 시스템.하이브리드 시스템.정형 검증.모델 체킹.임베디드 시스템.가상-물리 시스템.Modeling & Simulation.DEVS.DEV&DESS.Timed Systems.Hybrid Systems.Formal Verification.Model Checking.Embedded Systems.Cyber-Physical Systems. |
DOI | https://doi.org/10.23000/TRKO201700010245 |
□ 연구의 목적 및 내용
본 연구의 목적은 이산 사건 시스템 명세(DEVS)와 이산 사건 및 미분 방정식 시스템 명세(DEV&DESS) 기반으로 작성된 타임드 및 하이브리드 시스템 시뮬레이션 모델의 도달가능성을 검증하는 모델 체킹 기술을 연구‧개발하는 것으로, 정형 검증을 위한 DEVS 기반 정형 명세, 상태 공간 탐색 기반의 DEVS 및 DEV&DESS 모델 도달가능성 검증 알고리즘, 그리고 DEVS 기반의 통합 모델링, 시뮬레이션 및 정형 검증 프레임워크의 연구‧개발을 포함한다.
□ 연구결과
DEVS는 이
□ Purpose&contents
The purpose of this project is to R&D model checking technologies for timed and hybrid system simulation models specified based on discrete event system specification (DEVS) and discrete event and differential equation system specification(DEV&DESS). The project includes R&D of
※ AI-Helper는 부적절한 답변을 할 수 있습니다.