ISSN 0021-3454 (print version)
ISSN 2500-0381 (online version)
Menu

11
Issue
vol 60 / NOVEMBER, 2017
Article

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

S. . Bykovsky
Saint Petersburg National Research University of Information Technologies, Mechanics and Optics; “LMT”, Ltd; postgraduate; engineer,


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.