印刷対象項目：
1名が検索されました。氏名をクリックすると研究者の詳細情報が表示されます。
情報学
計算機システム
| キーワード | 研究者名 | 研究情報 |
|---|---|---|
| リアルタイムOS、動的再構成可能システム、モデル検査 | 山根 智 |
共同研究希望テーマ
・組込みソフトウェアの検証
研究課題
・分散並列リアルタイムシステム ・リアルタイムシステムの設計実装検証 ・動的再構成可能組込みシステム＆センサネットワークのモデル化、設計、検証、実装
出願済みの発明名称
・分散データベース格納方式
科研費採択テーマ
・時相論理と並行計算，オートマトンの統合化による自律性のある分散システムの設計支援 ・ハイブリッドモデルによる組込みシステムの高信頼性設計方法論の構築と支援環境の開発 ・述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検証手法 ・音響心理の定量的計測を目標とした心理モデルの構築と実験的検討 ・動的ハイブリッドオートマトンによる動的再構成可能組込みシステムの高度な設計検証 |