A Co-Analysis Method for Embedded System Designs

Abstract

In order to improve the reliability of the embedded system, it is desired to find some problems in the early stages of the development. When developing embedded system, a prime concern is how a control software(Controller) and a control target(Plant) affect each other. On the other hand, because these characteristics are different greatly, it is hard to represent and analyze in a single framework. In this paper, we propose a Co-Analysis method which is combined each design information. To give flexibility to a design of controller, it is good to use a symbolic method with non-deterministic and representation of declarative constraints in analyzing the controller. The plant, which follows the physical laws, is analyzed by numerical method. Namely, in our co-analysis method we investigate the behavior of whole embedded system by a combination of symbolic representation of controller and numerical analysis of plant. Concrete example has applied this method to the two-wheeled inverted pendulum robot model of which the controller is described in SysML and the plant in Simulink. Then we confirmed the effectiveness through experiment to check the validity of the system constraints.