REL 広島大学 ディペンダブルシステム論研究室

公開ツール

研究で用いているアルゴリズムを、そのまま使える形で公開しています。すべて GitHub 上にあり、Python・R・Julia のパッケージは各エコシステムからインストールできます。

ソフトウェア信頼性モデリング

pysrat Python

非同次ポアソン過程 (NHPP) に基づくソフトウェア信頼性モデルを当てはめ、解析する Python パッケージ。

今後の主力パッケージ。

インストール

Rsrat R

故障データからソフトウェア信頼性を評価する R パッケージ。

Rphsrm R

位相型ソフトウェア信頼性モデル (PHSRM) を R で扱うパッケージ。

msrat R

開発工程で収集したメトリクスを使って信頼性を評価する R パッケージ。

gof4srm R

ソフトウェア信頼性モデルの適合度検定（Kolmogorov–Smirnov 検定、EIC）。

shinyRsrat R

Rsrat をブラウザから使えるようにした Shiny アプリ。

ソフトウェア開発支援

JuliaMBD.jl Julia

ブロック線図によるモデル駆動開発 (MBD) を Julia で行う支援ツール。

確率モデルの数値解析

PhaseTypeInference.jl Julia

打ち切り・切断・グループ化を含む不完全なデータから位相型分布を推定する。AIC / EIC によるモデル選択つき。

旧 PhaseTypeDistributions.jl の後継です。

NMarkov.jl Julia

マルコフ連鎖の数値計算を行う Julia パッケージ。

DEQuadrature.jl Julia

二重指数関数型公式による一次元数値積分。有限区間・半無限区間に対応。

mapfit R

位相型分布とマルコフ到着過程のパラメータ推定を行う R パッケージ。CRAN で公開。

インストール

ディペンダビリティ・性能評価

gospn Go

確率ペトリネットの解析ツール。

relib-rs Rust

決定図（BDD・ZDD・MDD 等）と信頼性解析のための Rust ライブラリ。

保証対象外のもの

動作する可能性はありますが保守しておらず、新しい環境では動かないことがあります。

phsrm Java

位相型ソフトウェア信頼性モデルの Java 実装。

保証対象外

SRATS2017 C#

表計算ソフト上でソフトウェア信頼性を評価する Excel アドイン。

新しい Windows では動作しない可能性があります。

保証対象外 配布ページ

SRATS2010 C

SRATS の旧版（Excel アドイン）。

保証対象外