文献

J-GLOBAL ID：201802235672146837   整理番号：18A0450552

ユーザレベル実時間特性パターンの形式的検証【Powered by NICT】

Formal verification of user-level real-time property patterns

著者 (3件)： Ge Ning (School of Software, Beihang University Beijing, China) ,  Pantel Marc (IRIT/INPT Toulouse, France) ,  Zilio Silvano Dal (LAAS-CNRS Toulouse, France)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： TASE  ページ： 1-8  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： リアルタイム要求の発現を容易にするために,最も有用なユースケースをカバーするリアルタイム性パターンの集合を同定するために,次にKonrad,Dwyerは既存システムの大規模コレクションを研究した。目標は,システム設計者は,複雑な時相論理式を用いての代わりに要求を表現するために具体化できることを再利用可能なパターンのセットを提供することであった。この方法の限界は,パターンの選択は,効率よりも表現力に向けてより多く指向しことである;パターン検査の計算量を考慮していないことを意味している。この目的のために,著者らは定性的及び定量的リアルタイム要求の検証専用,原子特性パターンの集合を定義した。エンドユーザ要求は,予め定義されたメタモデルとマッピングライブラリーを用いたこれらのパターンの組成として表すことができる。これらの特性は基本的オブザーバとモデル検査手法を用いて効率的にチェックできる。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】

分類 (2件)： 人工知能  (JE08000Z) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (2件)： 実時間 ,  形式的検証