文献

J-GLOBAL ID：201802275624529319   整理番号：18A1711965

臨界機械システムのための信頼できるコントローラを得るための設計戦略【JST・京大機械翻訳】

A design strategy for obtaining reliable controllers for critical mechanical systems

著者 (3件)： Kunz Guilherme (Western Parana State University, Tarquinio Joslin dos Santos 1300, Foz do Iguazu, CEP:85870-650, Brazil) ,  Perondi Eduardo (Federal University of Rio Grande do Sul, Sarmento Leite 425, Porto Alegre, CEP: 90050-170, Brazil) ,  Machado Jose (University of Minho, Guimaraes, Portugal, Campus of Azurem, Guimaraes, 4800-058, Portugal)
資料名： Mechatronics  (Mechatronics)
巻： 54  ページ： 186-202  発行年： 2018年 
JST資料番号： W0098A  ISSN： 0957-4158  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： イギリス (GBR)  言語： 英語 (EN)

抄録/ポイント： 信頼できる制御装置の開発は,主にこの目的のために特別に開発された十分に確立された体系的方法がないので,実際の制御装置におけるコード実装とリアルタイム実装問題を考慮することにより,特にこの目的のために開発された体系的方法論はない。本論文では,信頼できるシステム開発において通常用いられる4つの解析技術,モデリング,シミュレーション,形式的検証および適合性試験の統合応用に基づく,重要な機械システムのための信頼できる制御装置を得るための提案としての設計戦略を紹介した。本論文では,事例研究により,そのような技術の適切な統合実装が,信頼できる自動制御システムの開発のための系統的な同時アプローチをもたらすことを実証した。事例研究は,通信に基づくシステム(CBTC通信ベースの列車制御)の概念の中で動作する,自動化された人移動機(APM)の自動列車制御(ATC)システムの合成において,提案されたアプローチの詳細な応用から成る。この事例研究を用いて,この方法を例示し,重要な機械システムのための制御ソフトウェアの典型的な部分の開発において,提案した設計戦略を実行するために必要なステップを提示し議論した。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 制御プログラム ,  シミュレーション ,  自動制御 ,  通信 ,  自動化 ,  事例研究 ,  モデリング ,  *制御装置 ,  列車制御 ,  *臨界 ,  自動列車制御
準シソーラス用語： システム開発 ,  実時間 ,  *設計戦略 ,  *機械システム , 【Automatic Indexing@JST】

著者キーワード (7件)： 信頼できるコントローラ ,  時間付きオートマトン ,  シミュレーション ,  形式的検証 ,  適合試験 ,  自動化された人々 ,  自動列車制御

分類 (2件)： サーボ機構  (IC03030Q) ,  システム設計・解析  (IA02030D)

タイトルに関連する用語 (5件)： 臨界 ,  機械システム ,  信頼 ,  コントローラ ,  設計戦略