文献

J-GLOBAL ID：201802267493113454   整理番号：18A0185826

適切な適合性関係を用いたPLCプログラムのモデルベース試験【Powered by NICT】

Model-Based Testing of PLC Programs With Appropriate Conformance Relations

著者 (3件)： Guignard Anais (LURPA, ENS Cachan, Universite ́ Paris-Sud, Universite ́ Paris-Saclay, Cachan, France) ,  Faure Jean-Marc (LURPA, ENS Cachan, Universite ́ Paris-Sud, Universite ́ Paris-Saclay, Cachan, France) ,  Faraut Gregory (LURPA, ENS Cachan, Universite ́ Paris-Sud, Universite ́ Paris-Saclay, Cachan, France)
資料名： IEEE Transactions on Industrial Informatics  (IEEE Transactions on Industrial Informatics)
巻： 14  号： 1  ページ： 350-359  発行年： 2018年 
JST資料番号： W1434A  ISSN： 1551-3203  CODEN： ITIICH  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 多数の理論的結果は,適合性試験の現場で得られた,クリティカルシステムの信頼性を改善するために非常に有望な形式的手法されてきた。それにもかかわらず,正しい適合答申を産生するプログラマブル論理コントローラ(PLC)試験法をこれに基づいて開発PLCの実際の技術的特徴を考慮する必要がある。本論文では,この目的を満たす適合性関係を提案した。寄与の利点を説明した。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 制御装置 ,  信頼性 ,  *適応性
準シソーラス用語： 試験方法 ,  *モデルベース , 【Automatic Indexing@JST】

分類 (1件)： 通信網  (ND07030A)

タイトルに関連する用語 (4件)： 適合性 ,  PLC ,  モデルベース ,  試験