METHOD OF EMBEDDED DYNAMIC ACTUALIZATION OF FUNCTIONAL MODEL OF SYSTEM ON A CHIP
Annotation
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
Постоянный URL
Articles in current issue
- NEW APPROACH TO DATA SECURING IN INFORMATION SYSTEM
- ASSESSING THE OPERATION EFFICIENCY OF INFORMATION SYSTEM UNDER TECHNOGENIC RISK CONDITIONS
- SIMPLIFIED BACKSTEPPING ALGORITHM FOR CONTROL OF NONLINEAR SYSTEMS
- METHOD FOR ADAPTIVE COMPRESSION OF SATELLITE IMAGES OF EARTH SURFACE
- THEORETICAL MODEL OF CONTROL OVER PRODUCTION SYSTEM ON THE BASE OF THE GENERALIZED MATRIX VALUE CONCEPT
- METHOD FOR ESTIMATING OPTICAL FLUX ATTENUATION BY TWO-STAGE OPTICAL ATTENUATOR
- METHOD OF CALCULATING OF GAS-LIQUID MIXTURE PARAMETERS DISTRIBUTION IN EXPLOITATION WELL DEPTH
- MICROPHONE ARRAY FOR DIRECTIONAL ACOUSTIC ANTENNA IMPLEMENTATION
- THERMOCYCLING SETUP FOR TEMPERATURE RANGE OF 83—473 K
- DYNAMIC OF ELECTRICAL TRANSMISSION WIRES AT A DIAGNOSTIC MACHINE MOVEMENT ALONG THE LINE
- METROLOGICAL STUDY OF ATOMIC EMISSION SPECTROMETERS BASED ON CCD LINES
- PRINCIPLES OF EARTH REMOTE SENSING DATA PROCESSING SYSTEM DESIGN ON THE BASE OF SERVICE ORIENTED ARCHITECTURE
- ANALYTICAL METHOD FOR ESTIMATING THE ACCURACY OF ADAPTIVE SYSTEM OF SPACECRAFT AUTONOMOUS NAVIGATION
- METHOD OF EMBEDDED DYNAMIC ACTUALIZATION OF FUNCTIONAL MODEL OF SYSTEM ON A CHIP
- NON-REVERSIBLE DIGITAL ANGLE CONVERTER ON THE BASIS OF THE DUAL-TRACK RECURSIVE CODE SCALE