Loading article…
Averest は、リアクティブ システムを指定、検証、実装するための同期プログラミング言語とツール セットです。同期プログラム用のコンパイラ、シンボリック モデル チェッカー、ハードウェア/ソフトウェア合成用のツールが含まれています。
さまざまな抽象化レベルで有限状態および無限状態システムをモデル化および検証するために使用できます。ハードウェア設計、通信プロトコルのモデル化、並行プログラム、組み込みシステムのソフトウェアなど に役立ちます。
コンポーネント: 同期プログラムを遷移システムに変換するコンパイラ、シンボリック モデル チェッカー、ハードウェア/ソフトウェア合成ツール。これらは、指定から実装まで、リアクティブ システムの設計フローの大部分をカバーします。ツールは共通フレームワークの一部ですが、ほとんどが互いに独立しており、サードパーティ ツールと併用できます。
参照
参考文献
外部リンク
- Averest Toolbox 公式ホームページ
- 組み込みシステムグループ Averest Toolboxを開発する研究グループ