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

2
Issue
vol 67 / February, 2024
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. V. Bykovsky
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.