文献

J-GLOBAL ID：201302250148482013   整理番号：13A1853730

組込みCISCマイコンのアセンブリプログラムに対する振舞い抽出器の開発とモデル検査への適用~シミュレーションによるモデルの自動生成~

Development of the Behavior Extractor for Assembly Program of Embedded CISC Microcomputer and Adapting to Model Checking-Generating the Model Automatically by Simulation-

著者 (3件)： 公下亮佑 (金沢大) ,  山根智 (金沢大) ,  櫻井孝平 (金沢大)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 113  号： 269(SS2013 36-47)  ページ： 7-12  発行年： 2013年10月17日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 我々は,組込みシステムに対してモデル検査することを目的とする。そこで,本論文では,モデルを自動的に構築する,振舞い抽出器の概要について述べる。また,開発する上で困難となる要因と,解決方法について述べる。この抽出器は,状態爆発を起こす可能性があり,特に割り込みやリアクティブ性が,大きな影響を与えている。割り込みは,マスクビットなどから割り込み発生箇所を特定することができる。そのため,考慮する必要のない割り込みを取り除き,状態爆発を抑制できる。リアクティブ性は,不定値で表現することで状態爆発を軽減する。これは,ある値に対して,ビット単位での抽象的な表現を可能にしたものである。(著者抄録)

シソーラス用語： *マイクロプロセッサ ,  ディジタル計算機 ,  *アセンブリ言語 ,  計算機プログラム ,  *挙動 ,  抽出装置 ,  *モデル検査 ,  シミュレーション ,  生産 ,  組合せ問題 ,  割込み
準シソーラス用語： *CISCマシン ,  自動生成 ,  状態爆発問題 ,  *組込みプロセッサ

分類 (1件)： マイクロプログラミング  (JD03060B)

タイトルに関連する用語 (11件)： 組込み ,  CISC ,  マイコン ,  アセンブリ ,  振舞い ,  抽出器 ,  開発 ,  モデル検査 ,  シミュレーション ,  モデル ,  自動生成