DOI 10.17586/0021-3454-2015-58-3-197-202
UDC 681.3
METHOD OF EMBEDDED DYNAMIC ACTUALIZATION OF FUNCTIONAL MODEL OF SYSTEM ON A CHIP
ITMO University, Saint Petersburg, 197101, Russian Federation; Associate Professor
Read the full article
Abstract. A new method of formal model generation for system on chip (SoC) real-time functioning is proposed. The model is generated by embedded means of SoC during field tests or end-user operation. The method can be used as a basis of the mechanism of SoC embedded runtime verification. In contrast to existing methods, requirements on instrumental memory size are decreased considerably.
Keywords: verification, functional model, fault, SoC, FSM, Kripke structure.
