TESTING AND DEBUGGING OF EMBEDDED COMPUTING SYSTEMS BASED ON LEVEL MODELS

TESTING AND DEBUGGING OF EMBEDDED COMPUTING SYSTEMS BASED ON LEVEL MODELS

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...

Full description

Bibliographic Details
Main Authors: Pinkevich V.Yu., Platunov A.E.
Format: Article
Language:English
Published: Saint Petersburg National Research University of Information Technologies, Mechanics and Optics (ITMO University) 2018-06-01
Series:Naučno-tehničeskij Vestnik Informacionnyh Tehnologij, Mehaniki i Optiki
Subjects:
embedded systems
testing
verification
validation
debug
high-level design
virtual machine
computing platform
Online Access:https://ntv.ifmo.ru/file/article/18136.pdf

Internet

https://ntv.ifmo.ru/file/article/18136.pdf

Similar Items