文献

J-GLOBAL ID：202102275579703246   整理番号：21A0150427

遅延抽象化と精密化に基づく組込み組立プログラムのリアルタイム特性のためのソフトウェアモデル検査【JST・京大機械翻訳】

Software Model Checking for Real-time Properties of Embedded Assembly Programs Based on Lazy Abstraction and Refinement

著者 (3件)： Wu Yajun (Kanazawa University,Kakuma-machi,Kanazawa,Japan,920-1192) ,  Kamide Hiromu (Kanazawa University,Kakuma-machi,Kanazawa,Japan,920-1192) ,  Yamane Satoshi (Kanazawa University Institute of Science and Engineering,Kakuma-machi,Kanazawa,Japan,920-1192)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2020  号： GCCE  ページ： 62-65  発行年： 2020年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 近年,組込みシステムの信頼性はますます注目されている。埋込みプログラムの検証において,検証効率の改善と状態爆発を避けることが重要である。さらに,実時間特性の検証も非常に重要である。本研究では,ラザイ抽象化と精密化に基づく組立プログラムの実時間特性を検証する。この目的のために,補間を用いて抽象モデルを洗練するための時間と別の方法で組立プログラムをモデル化する一つの方法を提案した。最後に,提案した方法の有効性を検証実験によって示した。Copyright 2021 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 信頼性 ,  内挿法 ,  *ソフトウェア ,  精密化 ,  有効性 ,  *モデル検査 ,  組込みシステム
準シソーラス用語： 実時間 ,  検証実験 , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (8件)： 遅延 ,  抽象化 ,  精密化 ,  組込み ,  組立 ,  リアルタイム ,  ソフトウェア ,  モデル検査