プログラムのプロパティを検証するためのさまざまな正式な検証ツールがあることを認識しています (たとえば、SPIN モデル チェッカー)。リアルタイム組み込みシステムのタイミング要件を検証するための一般的なツール/方法はありますか? 例: 「このアルゴリズムは常に 50 ミリ秒以内に終了する必要があります」。この種の検証は通常どのように行われますか?
2 に答える
4
レート単調分析は、すべてのタスクのアクティブ化の待ち時間と期限を考慮して、システムがスケジュール可能かどうかを判断するのに役立ちます。数値計算を行うためのパッケージが利用可能ですが、関連する計算はスプレッドシートを超えるものではないと思います.
それを超えて、あなたが言及したタイプの技術的要件を検証するのは難しい場合があります。アルゴリズムがアクティブになっている時間を測定する可視性がある場合でも、考えられるすべてのシナリオをテストして、期限を超えていないことを確認することは、多くの場合不可能です。
ペースメーカーやアビオニクスなどの重要なアプリケーションで私が見たのは、必要な期限を超えないようにアルゴリズムを設計することです。これは、1 回のアクティベーションで処理できるデータ量を制限するか、期限を超えた場合に関数自体の時間を早めて終了する (そしてエラーを返す) ことによって行うことができます。これが役立つことを願っています。
于 2012-11-20T16:09:20.780 に答える
0
タイミング システムのモデル チェックを行うためのツール UPPAAL、IF ツールセットがあります。その時限オートマトンの理論に基づいています。
于 2014-05-03T06:41:09.070 に答える