Abstract
In this paper, we propose a design methodology for on-board diagnosis engine of embedded systems. A boolean function for diagnosis circuit can be mechanically designed from the system dynamics given by the linear differential equation if it is observable, and also if the relation is given between the set of abnormal physical parameters and the faulty part. The size of diagnosis circuit is not so large that it can be implemented in FPGA or fabricated in a simple chip.