Modeling and Verification of Safety Systems using Formal Methods for Human-Coexisting Robots

• Nakabo Yoshihiro

  Advanced Industrial Science and Technology (AIST)

• Yamada Yoji

  Advanced Industrial Science and Technology (AIST)

Bibliographic Information

Other Title

• 人と共存するロボットのための安全関連システムのモデリングと形式手法による検証
• ヒト ト キョウソン スル ロボット ノ タメ ノ アンゼン カンレン システム ノ モデリング ト ケイシキ シュホウ ニ ヨル ケンショウ

Abstract

Verification of safety-related systems based on safety standards are important for realizing safe human-coexisting robots. We have proposed UML modeling and an object-oriented approach to develop safety-related systems which is categorized by an international safety standard of system safety. In this study, we presented the verification of safety-related systems including hardware, such as emergency stop systems including safety relays and safety switches, using the formal methods to verify their robustness against failures, which is encouraged to apply for software verification by an international safety standard of functional safety.

Journal

• Journal of the Robotics Society of Japan

  Journal of the Robotics Society of Japan 27 (8), 851-856, 2009

  The Robotics Society of Japan

Keywords

• Safety Category
• UML Modeling
• System Safety
• Safety Standard
• Formal Verification

Details

• CRID: 1390001204726450048
• NII Article ID: 10026089286
• NII Book ID: AN00141189
• DOI: 10.7210/jrsj.27.851
• ISSN: 18847145
• ISSN: 02891824
• NDL BIB ID: 10468297
• Web Site: http://id.ndl.go.jp/bib/10468297
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I10468297
• Text Lang: ja
• Data Source:
  • JaLC
  • NDL
  • Crossref
  • CiNii Articles
  • KAKEN
• Abstract License Flag: Disallowed