ロボティクス・メカトロニクス講演会講演概要集
Online ISSN : 2424-3124
セッションID: 3A1-G08
会議情報
3A1-G08 AADLを使った安全な車椅子ロボットの正式モデル(安全・安心なRT構築を目指して)
Geoffrey BIGGS藤原 清司穴田 啓樹
著者情報
会議録・要旨集 フリー

詳細
抄録
As the complexity of robots deployed in the real world increases, the use of formal specifications in the development of safety-critical robot systems is becoming increasingly important. A formal specification gives confidence in the correctness, completeness, and accuracy of a system design. In this paper, we present a model of a redundant control architecture for a mobile robot. The model is specified using the Architecture Analysis and Design Language (AADL). This formal language allows the model to be analysed to prove system properties such as sufficient processor capacity and control latency. We present the results of a model completeness analysis, a processor capacity analysis, and a latency analysis.
著者関連情報
© 2014 一般社団法人 日本機械学会
前の記事 次の記事
feedback
Top