LogFire：信頼性の高いシステム監視のためのルールベース実行時検証

ルールベースシステムは、実行時検証（RV）/プログラム監視に自然な選択のように見えます。仕様記法の観点から、ルールベースシステムは実行時検証コミュニティが通常記述する種類の特性表現に非常に適しています。ルールシステムで記述された仕様は操作的な風味を持ち、視点によって欠点にも利点にもなり得ます。操作的風味は仕様を宣言的時間論理や正規表現より長くしますが、書きやすいです。核心アイデアを習得すれば、ルール記述はプログラミングのように直截的です。より宣言的な仕様は正しく記述するのがトリッキーな場合があります。この観察は、非自明な特性を状態機械として定式化する方が、時間論理式や正規表現より簡単な場合があるという観察と似ています。

JPLのローバーと宇宙船は動作時にテレメトリストリームを生成します。テレメトリストリームは本質的にイベントシーケンスで、地上でログとして持続メモリに保存されます。ミッション運用では、これらのログが正しいことを自動チェックする必要があります。LogFireはこれらのログチェックに使用できます。例えばLogFireを使えば、運用エンジニアがローバーが正しい手順を実行していることを自動的に保証できます。

LogFireはログファイルを読み込み、形式仕様と照合します。仕様はルールベース言語で定式化できます。ルールベース仕様言語はScalaプログラミング言語のAPIとして実装されています。これにより、ルールと従来のプログラミングを混在できるため、非常に強力な仕様言語になります。

ScalaでのAPIとしてのルールベース言語定義は、Scalaの内部DSL定義サポートによりDSL（ドメイン固有言語）の外観を持ちます。よく知れたRETEアルゴリズムベースのルールエンジンはさらに、通常のルールエンジンが扱う長寿命ファクトとは対照的に瞬時的なイベントの概念で拡張されています。最後に、データを伴うイベントを処理するためにインデックス手法でエンジンを最適化しています。

さらにLogFireは、仕様パターンを容易にエンコードしてルール生成できます。時間論理とタイムラインの断片として仕様パターンを定義するのは比較的簡単で、それらのインスタンスがルールに翻訳されます。興味深いニュアンスは、これらテンプレートがデータパラメータ化イベントを許容することです。実装を他の6つの実行時検証・ルールベースシステムと比較実験しました。

NASAはこのソフトウェアをフリーライセンスで提供し、オープンソースプロジェクトで一般利用可能にすることを求めています。NASAライセンシングコンシェルジュまでお問い合わせください。電話：202-358-7432。

金ナノ粒子タトゥーセンサーが継続的健康監視を革新脳波駆動型人工内耳が正確な聴覚キャリブレーションを実現

センサー