| Budget Amount *help |
¥5,330,000 (Direct Cost: ¥4,100,000、Indirect Cost: ¥1,230,000)
Fiscal Year 2014: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2013: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
Fiscal Year 2012: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
|
|---|
| Outline of Final Research Achievements |
In this research, we proposed a method to integrate multiple formal methods to cover the whole of system development phases consisting of formal specifications, designs and implementations. In addition, we succeeded in applying the proposed method to the verification of a practical automotive operating system and showing its effectiveness. Formal methods are usually used in a part of the development phases for embedded systems like automotive operating systems, however; in our approach, we suceeded in covering the whole of the phases. The automotive operating system that we verified is a practical one. By showing the fact that formal methods could be successfully applied to the practical system, we expect that adopting formal methods in industries is accelarated and reliability and safety of systems are improved more and more.
|
