Scholarly record
COMPUTATIONAL PROCESS SPECIFICATION MODEL FOR EMBEDDED SYSTEMS TESTING AND DEBUG WITH RECORD AND DETERMINISTIC REPLAY
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
Publication details
References15
Lee E. A., Seshia S. A., Introduction to Embedded Systems - A Cyber-Physical Systems Approach, Second Edition, MIT Press, 2017.
Marwedel P., Embedded System Design. Embedded Systems Foundations of Cyber-Physical Systems, 2nd ed. Springer, 2011.
Law G., Speeding up software debugging, Embedded Computing Design, 2014. URL: http://embedded-computing.com/articles/speeding-software-debugging/
Bailey B., Martin G., ESL models and their application, New York: Springer Publication, 2010.
Platunov A., Control embedded systems, Control Engineering Russia, vol. 5 (42), p. 26-34, 2012 (in Russian).
Broekman B.,Notenboom E., Testing Embedded Software, Pearson Education, 2003.
Platunov, A., Kluchev, A., Penskoi, A. Expanding design space for complex embedded systems with HLD-methodology, International Congress on Ultra Modern Telecommunications and Control Systems and Workshops, 2015-January, pp. 157-164.
System Generator for DSP. Xilinx, Inc. URL: https://www.xilinx.com/products/design-tools/vivado/integration/sysgen.html
Embedded Coder. MathWorks, Inc. URL: https://www.mathworks.com/help/ecoder/index.html
Lettnin D., Winterholer M., Embedded Software Verification and Debugging, Springer, 2017.
Honarmand N., Torrellas J., Replay debugging: Leveraging record and replay for program debugging, 2014 ACM/IEEE 41st International Symposium on Computer Architecture (ISCA), Minneapolis, MN, 2014, pp. 455-456.
Abramovici M., Bradley P., Dwarakanath K., Levin P., Memmi G., Miller D., A Reconfigurable Design-for-Debug Infrastructure for SoCs, Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco,CA, USA, July 24-28, 2006.
Kustarev, P., Bykovskii, S., Milin, V., Antonov, A. Model-Driven Runtime Embedded Monitoring for Industrial Controllers, Proceedings - 14th IEEE Intern. Conf. on Trust, Security and Privacy in Comput. and Comm., TrustCom 2015, 3, pp. 281-286.
Teich J., Hardware/software codesign: the past, the present, and predicting the future, Proceedings of the IEEE, 2012, vol. 100, pp.1411–1430.
Amellal S.,Kaminska B.,Functional Synthesis of Digital Systems with TASS, IEEE Trans. on Comp. Aided Des. of Integr. Circ. and Syst., v.13, pages 537–552, May 1994.
View or Download full articleAccess options
SWS access login
Login as SWS Scientific CommitteeLogin as SWS Scientific PartnerLogin as SWS AuthorAuthors 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
- Article can be downloaded after successful payment.
- Article may be used according to SWS library access terms.
- Article cannot be redistributed.
