uppaal. 실시간 시스템의 모델링, 검증 및 검증을위한 통합 공구 환경
지금 다운로드

uppaal. 순위 및 요약

uppaal. 태그

모델 확인 확인하다 프로세스 모델링 환경 확인 도구 소프트웨어 검증 도구 실시간 시스템 모델러 실시간 시스템 확인 실시간 시스템 검증 정보 시스템 유효성 검사 모델링 환경

uppaal. 설명

UPPAAL은 Timed Automata의 네트워크로 모델링 된 실시간 시스템을 설계, 검증 및 확인할 수있는 포괄적 인 소프트웨어 응용 프로그램입니다. Java로 개발되어 사용자 친화적 인 Workspace에 래핑됩니다. Java 외에도 필요합니다. uppaal이 거의 휴대 할 수있는 설정 팩이 없으며 설치 팩이 없습니다. Java가 컴퓨터에 설치되어 있으면 프로그램 파일을 디스크의 일부로 저장하고 JAR 파일을 클릭하여 도구를 시작할 수 있습니다. 또 다른 가능성은 펜 드라이브에 저장하여 Java가 설치된 모든 PC에서 직접 실행하는 것입니다. 고려 가치가있는 중요한 측면은 Windows 레지스트리 설정을 수정하거나 허가없이 디스크에 추가 파일을 만들지 않는다는 것입니다. 편집, 시뮬레이션 및 확인 도구 관리 GUI는 프로젝트 편집, 시뮬레이션 및 확인을 위해 세 개의 탭으로 나뉘는 단일 창에서 작성됩니다. 편집기는 프로젝트 부품 (예 : 선언, 템플릿) 및 코드 작성 코드를 탐색하기 위해 두 개의 프레임으로 분리되며, 시뮬레이터는 모델링 중에 시스템의 가능한 동적 실행을 조사하고 검증 할 수 있으며 검증 도구는 프로젝트의 개요를 용이하게하여 프로젝트의 개요를 촉진합니다. 쿼리 및 주석을 작성하십시오. 프로그램 설정 구성, 레이블을 확대 / 축소하고, 시뮬레이터를 다시로드하고, 그리드에 스냅, 구문을 확인하고 변환하여 검색 순서를 변경하고, 검색 순서를 변경하고, 먼저 먼저 먼저 깊이를 선택하십시오. 표현, 진단 추적, 외삽 및 해시 테이블 크기 등을 선택하십시오. 평가 및 결론 우리는 uppaal이 중단, 충돌 또는 팝업 오류 메시지가 아니기 때문에 테스트의 안정성 문제를 발생하지 않았습니다. 그것은 시스템 성능에 좋은 응답 시간과 최소한의 영향을 미치므로 CPU와 RAM이 아닙니다. 모든 uppaal은 실시간 시스템을 모델링, 검증 및 검증하기위한 통합 환경에서 일하기를 원하는 학생들에게 유용합니다. 2015 년 1 월 4 일에 마지막으로 업데이트 된 Elena Opris의 검토

uppaal. 관련 소프트웨어