本学研究者の紹介

情報科学研究科

中田 明夫(ナカタ アキオ)
専攻等 システム工学専攻 組込みデザイン研究室
職名 教授
研究分野 組込みシステム、形式的手法、リアルタイムスケジューリング
研究概要 各種の機器に組み込まれてその制御を行うコンピュータシステムを組込みシステムと呼びます。組込みシステムは通常のコンピュータシステムよりも高い信頼性が要求され、また、限られたハードウェア資源の下でリアルタイム性などの厳しい制約を満たして動作する必要があります。そのような組込みシステムの設計を行うために、その仕様を数学的モデルで記述し、動作の正しさや制約の充足を数学的に検証する手法である形式的手法、および、特にリアルタイム性を充足するためのスケジューリング手法の研究を行っています。
研究テーマ マルチタスク組込みシステム仕様に対する性能検証、省メモリとデッドライン充足を共に実現するリアルタイムスケジューリング
研究キーワード リアルタイムシステム、組込みシステム、分散システム、設計検証、設計最適化、形式的手法、モデル検査
教員総覧URL http://rsw.office.hiroshima-cu.ac.jp/Profiles/2/0000139/profile.html

情報科学研究科研究者一覧に戻る