이것은 최신 릴리스를 redlib.a.130816.tar.gz로 다운로드할 수 있는 REDLIB라는 Linux 앱입니다. 워크스테이션용 무료 호스팅 제공업체인 OnWorks에서 온라인으로 실행할 수 있습니다.
OnWorks가 포함된 REDLIB라는 앱을 무료로 온라인으로 다운로드하여 실행해 보세요.
이 앱을 실행하려면 다음 지침을 따르세요.
- 1. 이 애플리케이션을 PC에 다운로드했습니다.
- 2. 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX에 원하는 사용자 이름을 입력합니다.
- 3. 이러한 파일 관리자에서 이 응용 프로그램을 업로드합니다.
- 4. 이 웹사이트에서 OnWorks Linux 온라인 또는 Windows 온라인 에뮬레이터 또는 MACOS 온라인 에뮬레이터를 시작합니다.
- 5. 방금 시작한 OnWorks Linux OS에서 원하는 사용자 이름으로 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX로 이동합니다.
- 6. 응용 프로그램을 다운로드하여 설치하고 실행합니다.
레드리브
Ad
기술
* CRD(Clock-Restriction Diagrams) 기술이 적용된 C의 밀집시간 모델을 갖춘 실시간 시스템용 모델 확인/시뮬레이션 확인 라이브러리입니다. * HRD(Hybrid-Restriction Diagram) 기술이 적용된 C 언어의 선형-하이브리드 시스템을 위한 파라메트릭 분석 라이브러리
특징
- 기호 모드 확인 및 시뮬레이션 확인
- CTA(Timed Automata) 모델 및 LHA(Linear-Hybrid Automata) 모델 통신
- 오픈 인터페이스 라이브러리
- 공정성 가정을 통한 TCTL 모델 확인
- CTA 공정 시뮬레이션
- LHA 매개변수 안전 분석
- API 제어를 통한 모델 편집 및 기호 시뮬레이션에 사용 가능한 GUI
- ompca(OpenMP C 분석기), pathg(CTA용 기호 시뮬레이터), 스도쿠 솔버, 도달 가능성 그래프 생성자 등을 포함한 다양한 애플리케이션을 사용할 수 있습니다.
오디언스 (Audience)
정보 기술, 과학/연구, 교육, 통신 산업
프로그래밍 언어
C
카테고리
이는 https://sourceforge.net/projects/redlib/에서도 가져올 수 있는 애플리케이션입니다. 무료 운영 체제 중 하나에서 가장 쉬운 방법으로 온라인으로 실행하기 위해 OnWorks에서 호스팅되었습니다.