이것은 최신 릴리스를 autoCode4_v4.zip으로 다운로드할 수 있는 autoCode1.0.0라는 Linux 앱입니다. 워크스테이션용 무료 호스팅 제공업체인 OnWorks에서 온라인으로 실행할 수 있습니다.
OnWorks와 함께 autoCode4라는 이 앱을 무료로 다운로드하여 온라인에서 실행하십시오.
이 앱을 실행하려면 다음 지침을 따르세요.
- 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
자동코드4
기술
autoCode4는 선형 시간 논리(LTL)의 하위 집합에 설명된 공식 사양에서 컨트롤러를 합성하는 엔진입니다.중요한 것은 동기식 데이터 흐름 컨트롤러(Lustre 또는 Ptolemy II 형식)를 합성하고 요구 사항-코드 추적성을 유지한다는 것입니다. 이러한 기능은 안전에 중요한 시스템을 개발하는 데 필수적이며 사양 검증 또는 레거시 코드와 같은 통합 수동 구현에 필수적인 것으로 간주됩니다.
LTL 사양은 환경이 첫 번째 이동(예: 감지/입력 다음 반응/출력)하는 컨트롤러의 원하는 동작을 캡처하므로 합성된 컨트롤러를 Mealy 머신으로 볼 수 있습니다.
소프트웨어 패키지 내에서 단계별 자습서를 사용할 수 있습니다.
기능
- 정식 사양에서 제어 합성
- 요구 사항-모듈 추적성 보고서 생성
오디언스 (Audience)
항공 우주, 정보 기술, 과학/연구, 제조, 개발자
사용자 인터페이스
콘솔/터미널, 명령줄
프로그래밍 언어
자바
이것은 https://sourceforge.net/projects/autocode4/에서도 가져올 수 있는 애플리케이션입니다. 무료 운영 체제 중 하나에서 가장 쉬운 방법으로 온라인으로 실행하기 위해 OnWorks에서 호스팅되었습니다.
