« 自動計算処理による多重センサーシステムのアーキテクチャ設計と解析 | トップページ | 『アーキテクチャの設計効果&効率』のメトリクス2 »

2015年11月27日 (金)

「状態マシン」の自動作成と検証処理の自動化

状態マシンの正当性と妥当性を保証する『状態不変条件』『イベントの事前条件/事後条件』を定義した「状態マシン」を自動生成した。

Stateauto
 
「状態マシン」はどんなに複雑になってもOKであるが、状態マシンの数学的な正当性を担保する必要があるので、ツールによる状態マシンの自動作成と生成された状態マシンの自動検証は重要。
 Stateauto2

検証が終了すれば、状態マシンからコードを自動生成する。
 
まだいくつか検証すべき点があるのだが、おおむね問題無く機能する。

|

« 自動計算処理による多重センサーシステムのアーキテクチャ設計と解析 | トップページ | 『アーキテクチャの設計効果&効率』のメトリクス2 »

「パソコン・インターネット」カテゴリの記事