抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
フォールトトレラント分散アルゴリズムの作成と運用高度に安全産業における挑戦的な課題である。形式的手法を用いた複雑なアルゴリズムの設計と開発を支援する。しかし,しばしばunjustifiableオーバヘッドと認識されている形式的手法。本論文では,安全度水準(SIL)4までのTAS制御プラットフォーム,鉄道制御応用のためのプラットフォームのためのフォールトトレラントと安全モジュールをモデル化し,開発するTLA+とPlusCalを用いた場合の経験と洞察を提示した。形式的方法はこのアルゴリズムの正しさを改善するのを助け,開発効率を改善し,モデルと実装の間のギャップの一部はCコードへの翻訳によって制限を受けているかを示した。,特性駆動設計と呼ばれる特定の設計プロセス,コードカバレッジメトリックスのようなソフトウェア品質測定基準についても焦点をあてる陰を追跡して形式的モデルとツールにおける信頼性を獲得したかを記述した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】