最終更新: twoflat1017 2009年07月04日(土) 12:05:55履歴
組み込み系において操るものといえば、ハードウェアではあるものの、システム内にそれは複数存在する。それらを破綻なく適切に動作させるためには、どのタイミングでどういう順で動作させるかをある程度決めることが先決となる。しかしながら、実際に動かしてみないことには分からない側面があるのも組み込み系の特徴である。
そこで、特定のルールを記述することで、破綻がないことを確認できるツールを作成することを目的とする。
そこで、特定のルールを記述することで、破綻がないことを確認できるツールを作成することを目的とする。
コメントをかく