HOME
Full Articles List
Search by Author
Title: COMPUTATIONAL PROCESS SPECIFICATION MODEL FOR EMBEDDED SYSTEMS TESTING AND DEBUG WITH RECORD AND DETERMINISTIC REPLAY
BibTex 
Open this article in the author's DB |
|
COMPUTATIONAL PROCESS SPECIFICATION MODEL FOR EMBEDDED SYSTEMS TESTING AND DEBUG WITH RECORD AND DETERMINISTIC REPLAY
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
1314-2704
|
|
|
|
||
|
|
English
|
|
|
|
18
|
|
|
|
2.1
|
|
|
|
|
|
|
|
||
|
|
The article deals with the problem of embedded computing systems testing and debug. The embedded systems design process, actual problems and existing solutions are analyzed from this perspective. The method of testing and debug based on model-oriented record and replay of the computational process is proposed, as well as the corresponding specification model for real-time computational processes. The specification model is a modified control flow graph. The key advantage of the proposed method is an abstract definition of the computational process, not tied to the implementation technology. This advantage allows test data transfer between different phases of the embedded system design and implementation as well as between various implementation options. This also allows using this method for systems implemented on heterogeneous computing platforms. An important feature of the proposed model is the support of the unambiguous identification of the current point of the computational process. This feature allows automating the analysis of test data and implementing replay of a partial set of computational process events and data. The article describes the proposed testing method and specification model of the computational process, as well as examples of specification model application.
|
|
|
|
conference
|
|
|
|
||
|
|
||
|
|
18th International Multidisciplinary Scientific GeoConference SGEM 2018
|
|
|
|
18th International Multidisciplinary Scientific GeoConference SGEM 2018, 02-08 July, 2018
|
|
|
|
Proceedings Paper
|
|
|
|
STEF92 Technology
|
|
|
|
International Multidisciplinary Scientific GeoConference-SGEM
|
|
|
|
Bulgarian Acad Sci; Acad Sci Czech Republ; Latvian Acad Sci; Polish Acad Sci; Russian Acad Sci; Serbian Acad Sci & Arts; Slovak Acad Sci; Natl Acad Sci Ukraine; Natl Acad Sci Armenia; Sci Council Japan; World Acad Sci; European Acad Sci, Arts & Letters; Ac
|
|
|
|
231-238
|
|
|
|
02-08 July, 2018
|
|
|
|
website
|
|
|
|
cdrom
|
|
|
|
524
|
|
|
|
embedded systems; record and deterministic replay; high-level modeling; verification; debug
|
|
Download PDF