回路デザイン研究室 >> tool >> DeKiRU



GALSシステム用性能評価ツール
GALS(大域非同期局所同期:Globally Asynchronous Locally Synchronous)システムを対象として,ペトリネットシミュレーションに基づいた性能評価を行うためのツールセットを公開しています.
本ツールセットは,STPN(確率時限ペトリネット:Stochastic Timed Petri Net)によるGALSシステムのモデルを作成するための入力インタフェースDeKiRU(Design Kit of Hierarchical and ReUsable STPN)と,DeKiRUによって生成された接続行列を対象として性能評価指数を算出するためのペトリネットシミュレーションツールSimSTPN(Simulator for STPN)から構成されています.




TOP