Behavioral Verification in Hichart Development Environment for Embedded Software

Developing embedded systems is becoming more complicated. However, the time taken to develop an embedded system must be shortened. Software development environments especially for test purposes are still inadequate. To reduce bugs, specifications in the upper process need to be checked, and model checking-methodologies are often used to do so. So far we have developed a visual software development environment for Hichart that targets LEGO MINDSTORM. We also enhanced the behavioral specifications table function to make it applicable to the environment for checking physical parameters of real machine. In this paper, we adopt model-checking methodologies to the environment. We propose a visual software development environment for embedded software with physical and logical checking.