概要

「ZIPC-RT」はロボティクス開発を支援する開発環境です。 「コンポーネントベース開発」と「メカ・ソフト協調開発」「ドキュメント管理環境」から構成します。

特徴

• 異常/例外系の対応モレを防ぐ状態遷移表設計手法を採用
• 早期から安全性/利用品質を検証する統合検証シミュレータ
• 実装ミスなくコードを自動生成するジェネレータ