抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
複雑なシステムにおける予測不可能な挙動に対処することは非常に困難なタスクである。システム自体が既存のシステムで構成されているとき,システムのシステム(SoS)のケースであるとき,これはより難しくなる。多くの場合,このようなシステムの複雑さを理解するための最良の方法として,シミュレーションに依存している。SoSの場合には,構成システムの構成から生じるミス挙動を避けるために,緊急の挙動を管理することが必要である。本論文は,緊急のミス挙動がSoSを望ましくない状態または矛盾する状態に導くという仮定に基づいている。そこで,これらの望ましくないSoS状態を検出するためのシミュレーション結果を探索し,対応する誤動作とその起源を同定する設計者を支援することを提案した。SoSに対する許容可能な状態を定義するために不変パラダイムを用いた。不変量の違反は,望ましくない状態があることを意味し,したがって,いくつかの緊急のミス挙動の存在がある。血糖コントロールに関する現実的な事例研究に関する著者らのアプローチを実験し,結果は非常に有望であった。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】
