아베레스트
Averest |
Avest는 반응 시스템을 지정, 확인 및 구현하기 위한 동기 프로그래밍 언어 및 도구 세트입니다.동기 프로그램용 컴파일러, 심볼 모델 체커 및 하드웨어/소프트웨어 합성을 위한 도구를 포함합니다.
다양한 추상화 수준에서 유한 및 무한 상태 시스템을 모델링하고 검증하는 데 사용할 수 있습니다.하드웨어 설계, 통신 프로토콜 모델링, 동시 프로그램, 임베디드 시스템의 소프트웨어 등에 유용합니다.
컴포넌트: 동기 프로그램을 이행 시스템으로 변환하는 컴파일러, 심볼 모델 체커, 하드웨어/소프트웨어 합성 도구.여기에는 지정에서 구현에 이르기까지 사후 대응형 시스템의 설계 흐름의 많은 부분이 포함됩니다.툴은 공통 프레임워크의 일부이지만 대부분 서로 독립적이며 서드파티 툴과 함께 사용할 수 있습니다.
「 」를 참조해 주세요.
외부 링크
- Avest Toolbox 공식 홈 사이트
- Avest Toolbox를 개발하는 Embedded Systems Group Research 그룹
