| 摘要 |
<p><P>PROBLEM TO BE SOLVED: To trace a control object state before and after the occurrence of a fault, without affecting the operation of an embedded control system even when a state transition unpredicted in a design stage occurs in an embedded control system program. <P>SOLUTION: A model element addition section 23a for accepting addition of a model element is incorporated. There is provided a fault detection condition set section 23 for accepting setting of a first detection condition for the model element configuring an operation model. Depending on the state of a control object 2, a simulation for an operation model, in which the addition of the model element is accepted, is executed. With reference to the above simulation result and control data collected by a control data collection section 22, it is decided whether or not the fault detection condition concerned is satisfied. <P>COPYRIGHT: (C)2007,JPO&INPIT</p> |
