研究課題
基盤研究(C)
リアルタイムオブジェクト指向言語を開発して、オブジェクトが生成消滅するシステムに対して、構造と時間の抽象化精錬で直接に検証できる、動的リアルタイムCEGARの開発と実装に取り組んだ。その結果、動的リアルタイムCEGARの実現により、オブジェクトの生成消滅といった構造の変化及びリアルタイム性を同時に抽象化精錬して、リアルタイムオブジェクト指向システムの効率的なモデル検査が実現できることを明らかにした。
すべて 2010 2009 2008 2007
すべて 雑誌論文 (21件) (うち査読あり 15件) 学会発表 (16件) 図書 (1件)
mbedded Systems: Status and Perspective, pp. 1-15, American Scientific publishers (in press)
Embedded Systems : Status and Perspective (In press)
電子情報通信学会ハンドブック/知識ベース (オーム社) (電子版公開予定)
ページ: 1-6
計測と制御 Vol.48No.11
ページ: 810-815
10026206099
日本ソフトウェア科学会 Vol.26,No.3
ページ: 155-170
電子情報通信学会論文誌 No.1
ページ: 25-38
110007380048
コンピュータソフトウェア 26(3)
130004549140
計測と制御 48(11)
電子情報通信学会論文誌 J91-D-I, No. 1
Theory and Applications No.11
ページ: 3206-3206
コンピュータソフトウェア(日本ソフトウェア科学会) Vol.25,No.3
ページ: 148-193
110004809759
ページ: 81-87
電子情報通信学会 Vol.2,No.1
ページ: 22-34
コンピュータソフトウェア Vol. 25, No. 3
情報処理学会論文 Vol.48,No9
ページ: 2410-2421
110006423003
Real-Time Systems: Modeling, Design, and Applications, volume 8 of AMAST Series in Computing
ページ: 137-152
Embedded Software and Systems, Lecture Notes in Computer Science 4523
ページ: 109-120
volume 8 of AMAST Series in Computing 8
情報処理学会論文誌 Vol.48,No9
Lecture Notes in Computer Science 4523
