| Budget Amount *help |
¥3,510,000 (Direct Cost: ¥2,700,000、Indirect Cost: ¥810,000)
Fiscal Year 2011: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2010: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2009: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
|
|---|
| Research Abstract |
In order to improve the quality of embedded software, we studied the analysis method for extracting unexpected obstacles such as exceptions and failures. The method integrates the Embedded Systems Improving Method(ESIM) using an Analysis Matrix, and a method that uses an Information Flow Diagram(IFD). The former is a statical requirement analysis method focused on the flow of information, the latter is a dynamical analysis method focused on the state transition model. We also introduced practical techniques to decrease the analysis scope in the integrated method.
|
