SWS Academic Research eLibraryEarth & Planetary Sciences

Scholarly record

COMPUTATIONAL PROCESS SPECIFICATION MODEL FOR EMBEDDED SYSTEMS TESTING AND DEBUG WITH RECORD AND DETERMINISTIC REPLAY

Vasiliy Pinkevich

First published: 2018-06-20https://doi.org/10.5593/sgem2018/2.1/s07.030View metrics

Abstract

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.

Publication Impact Profile

PlumX
  • Captures
  • Mendeley - Readers: 2
PLUMX see details

Publication details

Title
COMPUTATIONAL PROCESS SPECIFICATION MODEL FOR EMBEDDED SYSTEMS TESTING AND DEBUG WITH RECORD AND DETERMINISTIC REPLAY
Authors
Vasiliy Pinkevich
Proceedings
SGEM International Multidisciplinary Scientific GeoConference EXPO Proceedings; 18th International Multidisciplinary Scientific GeoConference SGEM2018, Informatics, Geoinformatics and Remote Sensing
Publisher
STEF92 Technology
Year
2018
Pages
231-238
SWS Citekey
Pinkevich20187231238
ISSN
1314-2704
ISBN
978-619-7408-39-3
Language
en
Publication type
Conference Paper
Keywords
embedded systemsrecord and deterministic replayhigh-level modelingverificationdebug
References0
0references registered for this publication

Structured references will appear here after the reference import pass. The count is preserved now so the scholarly record is not incomplete.

View or Download full articleAccess options
Full paper accessChoose SWS login, librarian support, or instant article download.

SWS access login

Login as SWS Scientific Committee

Authors and approved SWS contributors will read and export their own linked papers after identity matching by SWS profile, email and SGEM GlobalID.

For librarian assistance: [email protected]

Purchase Instant Access

48-hour online accessComing soon
Online-only accessComing soon
Download the full article in PDF formatEUR 35
  • Article can be downloaded after successful payment.
  • Article may be used according to SWS library access terms.
  • Article cannot be redistributed.
Get full paper

Back to publication list