本稿は,組込みシステムとその動作環境の情報フローをダイアグラムに表現し,そのダイアグラムを用いて組込みソフトウェアの非正常系分析を行うための手法を提案する.近年の組込みシステムは,大規模かつ複雑化,さらに製品開発サイクル短期の要求が著しい.このような現状においては品質問題が発生しやすくなり,製品のリコールは企業にとって大きな問題となる.高品質な組込みソフトウェアを開発するには,非正常系仕様をシステムの分析・設計時に十分に検討しておくことが重要である.This paper proposes an analysis method of unexpected obstacles in embedded software by using diagrams on which information flow in embedded systems and their operational environment is drown. Recently, embedded systems have been being become large in scale and complicated. Moreover, the development cycle of the systems is required to be shortened, This trend of industry troubles the quality of products. Recall of products is one of the serious problems for companies. For improving the quality of embedded software, it is indispensable to analyze unexpected obstacles in the process of requirement analysis and design.ソフトウェアサイエンス研究会 (SS), 2005年10月13-14日, 新座市, 埼玉県, 日本