述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検証手法

フォーマット:

論文

責任表示:

山根, 智 ; Yamane, Satoshi

言語:

日本語

出版情報:

金沢大学 理工研究域電子情報通信学系, 2010-04-01

著者名:

• 山根, 智
• Yamane, Satoshi

掲載情報:

平成23(2009)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2009 Fiscal Year Final Research Report

巻:

2007-2009

開始ページ:

4p.

バージョン:

author

概要:

リアルタイムオブジェクト指向言語を開発して、オブジェクトが生成消滅するシステムに対して、構造と時間の抽象化精錬で直接に検証できる、動的リアルタイムCEGARの開発と実装に取り組んだ。その結果、動的リアルタイムCEGARの実現により、オブジェクトの生成消滅といった構造の変化及びリアルタイム性を同時に抽象化精錬して、リアルタイムオブジェクト指向システムの効率的なモデル検査が実現できることを明らかにした。<br />研究課題/領域番号:19500025, 研究期間(年度 … ):2007-2009 続きを見る

URL:

http://hdl.handle.net/2297/00053964