「デバイスドライバとデバイスの一体設計手法へのSpecCの適用性評価」（Vol.43，No.5）

［論文概要］
　我々は，組込みシステムのデバイスドライバ開発の効率化を目的とした，デバイスドライバとデバイスの一体設計手法について研究を進めている．本論文では，システムレベル言語であるSpecCの本設計手法への適用性を評価した．具体的には，SIOシステムを例として，SpecCによる記述を行い，デバイスドライバとデバイスの一体記述が可能であることを確認した．また，SIOシステムのSpecC記述からデバイスドライバ，デバイス，およびその間のインタフェースへの変換を手作業で行い，提示した記述指針に従えばSpecC記述から実装記述への機械的生成が可能であることを確認した．

［推薦理由］
　組込みシステム開発は情報通信産業における最も重要な分野の１つとなってきている。近年、組込みシステムの大規模化・複雑化に伴い、開発コストや品質・信頼性が大きな問題となっている。著者らは、システムLSI設計の分野で研究の進んでいる上位設計技術を適用し、デバイスドライバとデバイスを一体として記述して、そこから両者を機械的に自動生成することで、インタフェース部分でのバグ発生を抑えるとともに、ハードウエアとソフトウエアの分担を柔軟に変更しやすくすることを目指している。本論文の成果はそのアプローチが現実的に可能であることを示したという点で、今後の組込みシステム設計技術の進歩につながる重要な成果であると考えられる。