信頼性向上を目的とした組込みソフトウェア向けプログラミング言語の開発

概要

論文の詳細を見る
In recent years, embedded systems has become high-performance larger scale, therefore embedded software has become more complex. On the other hand, embedded software is required high-quality in development. So, this paper develops a programming language for embedded software development to improve reliability of embedded software. Specifically, the developed language has a function which can check a model at the time of compile and run-time, and has the relation of 1 to 1 between the state transition table and state chart diagram. Hence, it is expected to improve the reliability of embedded software.
2010-09-30