Core Concepts
複雑なサイバーフィジカルシステムにおける安全性と開発制約の最適解を提供するために、マルチエージェントベースの最適化手法が提案されています。
Abstract
サイバーフィジカルシステム(CPS)は、ソフトウェアとハードウェアシステムから成る複雑な組織であり、高い安全性が求められている。
従来のFMECA(Failure Mode, Effects and Criticality Analysis)は、数千もの指定された制約を持つCPSにおいて問題を引き起こす可能性がある。
提案された方法では、AMAS(Adaptive Multi-Agent Systems)アプローチを採用し、FMECA後の推奨アクションの最適セットを提供することで、安全性とコストなど他の制約とのトレードオフを実現することが目指されている。
AMASは自己組織化能力を持ち、予防措置選択問題の複雑さをエージェント間に分散させることで拡張性が向上する。
システムモデリング:
CPSはUML/SysML表記やフォーマル言語(NuSMV、SAMLなど)を使用してモデル化される。
MDE環境は要件管理、設計、分析、検証・承認、展開などに高度なサポートを提供する。
FMECAプロセス:
FMEA(Failure Mode and Effects Analysis)やその拡張版であるFMECAは一般的なSA手法であり、重大度や発生頻度などに基づいてシステム障害の重要度を評価する。
FMEAは障害原因や影響を特定し、FMECAは障害の重要度を評価し改善策を提案する。
AMASアプローチ:
AMASでは自律エージェント群から成るシステムが機能的に妥当であるかどうかが評価される。
各エージェントは自身や周囲と協力関係を保ちつつ重要度レベルを追跡しより効果的な構成へ進化させようとする。
Stats
FMEAおよびその拡張版PFMEA, FMECA, FMEDAが推奨されている(文中)
重要度C(f) = S(f) * O(f) * D(f) (式1)
Quotes
"Since CPS are expected to interact and involve humans, they require a high-level of safety which can be achieved by following rigorous procedures defined in safety standards."
"AMAS is a promising candidate for criticality-based optimization problems like one arising from post analysis of FMECA results."