![Scientific and Technical Journal of Information Technologies, Mechanics and Optics](/images/mag-ntv.png)
TESTING AND DEBUGGING OF EMBEDDED COMPUTING SYSTEMS BASED ON LEVEL MODELS
![Scientific and Technical Journal of Information Technologies, Mechanics and Optics](/images/mag-ntv.png)
Annotation
Subject of Research.The paper deals with the problem of organization of testing and debugging in complex (full stack) projects of embedded computing systems with heterogeneous structure. The work is aimed at unified formal method development to organize testing and debugging that is applicable to a wide range of embedded systems and invariant to their implementation. The conclusion is drawn about the prospects of using level models of embedded systems representation as a method of unified modeling of complex projects of embedded systems. Method. To develop the method, we used the abstractions of the HLD-methodology of embedded systems design, the "model-process-processor" architectural style and methods of set theory. Main Results. The embedded systems testing and debug method based on level models is developed. We enhanced the "model-process-processor" architectural style, as a part of the method, for a more accurate description of the virtualization relations. The method of embedded systems multi-level testing is developed, which allows describing the test environment at different phases of embedded systems creation in the same style, provides the formalization of the concepts of testing, verification and validation from the embedded systems level representation point of view. Examples of description of multi-level embedded systems using the developed method are given. Practical Relevance. The method provided documentation techniques of embedded systems test environments at different phases of their creation, ways to organize testing, verification, validation and debugging in complex projects of embedded systems.The proposed approach increases requirements control efficiency in the embedded systems projects owing to the end-to-end and transparent project representation as a whole and formalization of the testing and debugging procedures.
Keywords
Постоянный URL
Articles in current issue
- AUTOMATIC OBJECT CLASSIFICATION ACCORDING TO 3D-LIDAR DATA BASED ON SINGLE-PHOTON COUNTING TECHNOLOGY
- RESEARCH OF ORAL MUCOSA REGENERATION AFTER FRACTIONAL TREATMENT BY DIODE LASER WITH 980 NM WAVELENGTH
- RESEARCH OF HUMAN BLOOD OPTICAL PROPERTIES WITH CONCENTRATION CHANGES OF BLOOD COMPONENTS IN TERAHERTZ FREQUENCY RANGE
- STUDY OF OPTICAL PROPERTIES AND SPECTRAL CHARACTERISTICS OF BRAIN GLIOBLASTOMA AND LUNG ADENOCARCINOMA
- FORMATION OF INSULATING BARRIERS IN SILICA POROUS FILMS BY CO2 LASER WRITING
SPECTRAL CHARACTERISTICS STUDY OF PHASE-SHIFTED FIBER BRAGG GRATINGS UNDER PRESSURE APPLIED PERPENDICULAR TO FIBER AXIS
- POSSIBILITY OF LOW ALTITUDES MEASUREMENT ABOVE SEA SURFACE UNDER CONDITIONS OF HAZE AND FOG
- METHOD OF GAS-DISCHAGE VISUALIZATION FOR DETERMINATION OF PATHOLOGIES OF BIOLOGICAL TISSUES
- ALGORITHM OF ADAPTIVE OUTPUT CONTROL OF LINEAR SYSTEM WITH IMPROVED PARAMETRIC CONVERGENCE
- CONTROL OF THE MECHATRONIC SYSTEM WITH FLEXIBLE ROTATING LINK: THEORY AND EXPERIMENT
- STRUCTURE RESEARCH OF FILM COMPOSITIONS BASED ON CHITOSAN/ POLYHYDROXYBUTYRATE BLEND BY INFRARED AND X-RAY FLUORESCENCE SPECTROSCOPY
- MODELING AND ALGORITHMIC PROVISION OF DYNAMIC INDENTIATION PROCESS
- TESTING AND DEBUGGING OF EMBEDDED COMPUTING SYSTEMS BASED ON LEVEL MODELS
- PATTERN RECOGNITION METHODS IN CASE OF VISUAL INFORMATION SEMANTIC INTEGRITY VIOLATIONS
- ANALYSIS OF INFORMATION INTERACTION SECURITY WITHIN GROUP OF UNMANNED AERIAL VEHICLES
- COMPUTATIONALLY EFFECTIVE NUMERICAL SIMULATION METHOD FOR DIFFRACTION-BLURRED IMAGES OF OBJECTS WITH PIECEWISE-LINEAR EDGE CONTOUR
- COVERT CHANNEL TECHNIQUE BASED ON STREAMING PROTOCOL
- METHODS OF LIFE CYCLE INCREASE FOR THE INTERNET OF THINGS
- SPEECH ACQUISITION IN NOISY ENVIRONMENTS USING DUAL MICROPHONE ARRAYS
- INFORMATION ON UTILIZATION OF DATA CENTER RESOURCES WITH MESSAGE BROKER IMPLEMENTATION
- FEATURES OF NON-LOCAL SEMANTIC LINKS IN RUSSIAN TEXTS
- DETERMINATION OF OVERLAPPING REGION FOR ELECTRONIC MODULE IMAGES
- RESEARCH OF EMOJI ROLE IN ONLINE COMMUNITY
- COMPARISON OF APPROACHES TO UNKNOWN PARAMETERS IDENTIFICATION IN GYRO DRIFT MODEL
- PSEUDORANDOM NUMBER GENERATOR ON CELLULAR AUTOMATA
- RESULTS OF EXPERIMENTAL RESEARCH AND SIMULATION OF MULTI-CORE FIBER WAVEGUIDE WITH FIBER BRAGG GRATINGS ARRAY
FREQUENCY DETERMINATION OF PULSE SIGNAL WITH CONSTANT BEAT BY DINT OF RECURRENT USAGE OF FOURIER TRANSFORM