安全監視器の音開発【JST・京大機械翻訳】

Gleirscher Mario; Plecher Lukas; Peleska Jan

プレプリント

J-GLOBAL ID：202202209783044081 整理番号：22P0305567

安全監視器の音開発【JST・京大機械翻訳】

Sound Development of Safety Supervisors

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (3件)： , ,
資料名：
発行年： 2022年03月16日プレプリントサーバーでの情報更新日： 2022年03月16日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

安全監督者は,安全状態を安全状態に保ってシステムを維持することによって,安全特性を強制する制御装置である。そのような高品位成分の開発は,形式的設計と検証を統合する厳密なワークフローから利益を得ることができる。本論文では,2つの世界のうち最良を組み合わせ,合成と完全な試験を検証する,安全監督者の音開発のためのワークフローを提示した。合成は問題仕様とモデル検証に焦点を当てた。試験は,抽象,形式,およびツール境界の交差を補償し,サービスへの参入前に認証信用を得るための重要な要素である。厳密な議論を通して著者らのワークフローの健全性を確立した。提案アプローチは,最新の自律システムを目的とし,協調ロボット例を用いて例証された。【JST・京大機械翻訳】

, , , , , , , , , , , ,
, , , 【Automatic Indexing@JST】

計算機システム開発 , ロボットの運動・制御 , 人工知能 , 信号,保安

, ,

前のページに戻る