抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
ソフトウェアシステムを設計して,環境に関する仮定によって実行した。しかし,このシステムが展開されると,実際の環境は,その期待される挙動から逸脱し,恐らく,システムの望ましい特性に陥る可能性がある。潜在的環境偏差に対してロバストであるシステムの系統的設計を可能にするために,ソフトウェアシステムのためのロバスト性の厳密な概念を提案した。特に,システムのロバスト性は,システムが望ましい特性を保証することができる環境行動を逸脱する最大のセットとして定義される。ロバスト性の概念に基づく設計解析問題の新しいセットと,その挙動記述を与えるシステムのロバスト性を自動的に計算するための技術について述べた。ネットワークプロトコルと安全クリティカルインタフェイスを含む2つの事例研究に関するロバスト性概念の適用可能性を実証した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】