これはautoCode4という名前のLinuxアプリで、最新リリースはautoCode4_v1.0.0.zipとしてダウンロードできます。 ワークステーション用の無料ホスティングプロバイダーOnWorksでオンラインで実行できます。
AutoCode4という名前のこのアプリをOnWorksで無料でダウンロードしてオンラインで実行します。
このアプリを実行するには、次の手順に従ってください。
-1。このアプリケーションをPCにダウンロードしました。
--2。ファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXに必要なユーザー名を入力します。
-3。このアプリケーションをそのようなファイルマネージャにアップロードします。
-4。このWebサイトからOnWorksLinuxオンラインまたはWindowsオンラインエミュレーターまたはMACOSオンラインエミュレーターを起動します。
-5。起動したばかりのOnWorksLinux OSから、必要なユーザー名でファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXにアクセスします。
-6。アプリケーションをダウンロードし、インストールして実行します。
スクリーンショットは
Ad
オートコード4
DESCRIPTION
autoCode4は、線形時相論理（LTL）のサブセットで記述された形式仕様からコントローラーを合成するエンジンです。重要なのは、同期データフローコントローラー（LustreまたはPtolemy II形式）を合成し、要件からコードへのトレーサビリティを維持することです。 このような機能は、セーフティクリティカルシステムの開発で義務付けられており、仕様の検証やレガシーコードなどの手動実装の統合に不可欠であると考えられています。
LTL仕様は、環境が最初の動き（つまり、検知/入力、次に反応/出力）を行うコントローラーの望ましい動作をキャプチャするため、合成されたコントローラーをMealyマシンと見なすことができます。
ステップバイステップのチュートリアルは、ソフトウェアパッケージ内で利用できます。
特徴
- 形式仕様からの制御合成
- 要件からモジュールへのトレーサビリティレポートを作成する
Audience
航空宇宙、情報技術、科学/研究、製造、開発者
ユーザーインターフェース
コンソール/ターミナル、コマンドライン
プログラミング言語
Java
これは、https：//sourceforge.net/projects/autocode4/からも取得できるアプリケーションです。 無料のオペレーティングシステムのXNUMXつから最も簡単な方法でオンラインで実行するために、OnWorksでホストされています。
