article

FPGA based CPU instrumentation for hard real-time embedded system testing

Author:

Richard FryerAuthors Info & Claims

ACM SIGBED Review, Volume 2, Issue 2

Pages 39 - 42

https://doi.org/10.1145/1121788.1121800

Published: 01 April 2005 Publication History

Get Access

Abstract

The addition of system instrumentation features have been sporadically incorporated into processor architectures over the last several decades. Particular emphasis areas of high performance, embedded and real-time computing are reviewed in terms of software and hardware measurements and approaches representing active research directions. A novel approach is described that may be readily used with recent advances in Field Programmable Gate Array technology using embedded processors. The approach and preliminary results are described using a Xilinx device with a MicroBlaze^TM 32 bit architecture. Some system level problems are outlined and examined.

References

[1]

{1} Kishon, A., P. Hudak and C. Consel. "Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors", Proceedings of the ACM Sigplan '91 Conference on Programming Language Design and Implementation, Toronto. ACM, New York, New York, June 26-28, 1991. pp 338-352.

Digital Library

Google Scholar

[2]

{2} Xu, M. Bodik, R. and Hill, M. "A 'Flight Data Recorder' for Enabling Full-system Multiprocessor Deterministic Replay", 30th International Symposium on Computer Architecture (ISCA 2003), 9-11 June 2003, San Diego, California, USA. IEEE Computer Society 2003, ISBN 0-7695-1945-8 pp. 122-135.

Digital Library

Google Scholar

[3]

{3} Harelick, M. and Stoyen, A. "Concepts from Deadline Non-Intrusive Monitoring", 24th IFIP Workshop on Real-Time Programming, Saarland, Germany, May 1999.

Crossref

Google Scholar

[4]

{4} Carpenter, R., "Performance Measurement Instrumentation at NBS", Proceedings of the Workshop on Instrumentation for Future Parallel Computing Systems, Sante Fe, New Mexico. ACM Press, New York, New York. May 1989. pp. 159-184.

Digital Library

Google Scholar

[5]

{5} Lemon, L. M., "Hardware system for developing and validating software", Proceedings of the 13th Asilomar Conference on Circuits, Systems and Computers. Pacific Grove, CA, November 1979. IEEE Piscataway, N.J. pp. 455-459.

Google Scholar

[6]

{6} Cannon, W.J., M. T. Michael, and D. D. Beeson, "Real Time, Non-Intrusive Instrumentation of Reduced Instruction Set Computer (RISC) Microprocessors", Proceedings of the National Aerospace and Electronics Conference (NAECON). Dayton, OH. IEEE Piscataway, N.J. May 1992. pp. 550-557.

Google Scholar

[7]

{7} Shobaki, M.E. and Lindh, L., "A Hardware and Software Monitor for High-Level System-on-Chip Verification," in International Symposium on Quality Electronic Design (ISQED), March 2001 pp. 56-61.

Digital Library

Google Scholar

[8]

{8} LeBlanc, T.J. and J.M. Mellor-Crummey, "Debugging Parallel Programs with Instant Replay," in IEEE Transactions on Computers, Vol. C-36, No. 4, Apr. 1987 pp. 78-86.

Digital Library

Google Scholar

[9]

{9} Thane, H., Sundmark, D., Huselius, J. and Pettersson, A., "Replay Debugging of Real-Time Systems using Time Machines", International Parallel and Distributed Processing Symposium (IPDPS '03), IEEE Piscataway, N.J., April 2003, pp. 288-295.

Digital Library

Google Scholar

[10]

{10} Ronsse, M. et. al. "Record/Replay for Nondeterminstic Program Executions", Communications of the ACM, V46 #9, September 2003, pp. 62-67.

Digital Library

Google Scholar

[11]

{11} Telles, Matt, and Y. Hsieh, 2001 The Science of DEBUGGING, Coriolis, Scottsdale, AZ.

Digital Library

Google Scholar

[12]

{12} Sha, L. "Dependable System Upgrade", Proceedings of the IEEE Real-Time Systems Symposium, December 02-04, 1998 pp. 440-449.

Digital Library

Google Scholar

[13]

{13} Spencer Isaacson, Doran Wilde: "The Task-Resource Matrix: Control for a Distributed Reconfigurable Multi-Processor Hardware" RTOS. ERSA 2004: pp. 130-136.

Google Scholar

[14]

{14} O'Keeffe, H. "IEEE-ISTO-1999, the Nexus 5001 Forum Standard," in IEEE-ISTO Forum, (January 2000).

Google Scholar

Cited By

View all

Seo MKurdahi F(2019)Efficient Tracing Methodology Using Automata ProcessorACM Transactions on Embedded Computing Systems10.1145/335820018:5s(1-18)Online publication date: 8-Oct-2019
https://dl.acm.org/doi/10.1145/3358200
Seo MLysecky R(2018)Non-Intrusive In-Situ Requirements Monitoring of Embedded SystemACM Transactions on Design Automation of Electronic Systems10.1145/320621323:5(1-27)Online publication date: 20-Aug-2018
https://dl.acm.org/doi/10.1145/3206213
Seo MLysecky R(2017)Hierarchical Non-intrusive In-situ Requirements Monitoring for Embedded SystemsRuntime Verification10.1007/978-3-319-67531-2_16(259-276)Online publication date: 6-Sep-2017
https://doi.org/10.1007/978-3-319-67531-2_16
Show More Cited By

Index Terms

FPGA based CPU instrumentation for hard real-time embedded system testing

Recommendations

Cpu time-sharing in real-time systems
Real-time embedded systems powered by FPGA dynamic partial self-reconfiguration: a case study oriented to biometric recognition applications

This work aims to pave the way for an efficient open system architecture applied to embedded electronic applications to manage the processing of computationally complex algorithms at real-time and low-cost. The target is to define a standard ...
Implementation of Hard Real-Time Embedded Control Systems

Although the domain of hard real-time systems has been thoroughly elaborated in the academic sphere, embedded computer control systems –- being an important component in mechatronic designs –- are seldom dealt with consistently. Often, off-the-shelf ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGBED Review Volume 2, Issue 2

Special issue: IEEE RTAS 2005 work-in-progress

April 2005

42 pages

EISSN:1551-3688

DOI:10.1145/1121788

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 April 2005

Published in SIGBED Volume 2, Issue 2

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
339
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 18 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Seo MKurdahi F(2019)Efficient Tracing Methodology Using Automata ProcessorACM Transactions on Embedded Computing Systems10.1145/335820018:5s(1-18)Online publication date: 8-Oct-2019
https://dl.acm.org/doi/10.1145/3358200
Seo MLysecky R(2018)Non-Intrusive In-Situ Requirements Monitoring of Embedded SystemACM Transactions on Design Automation of Electronic Systems10.1145/320621323:5(1-27)Online publication date: 20-Aug-2018
https://dl.acm.org/doi/10.1145/3206213
Seo MLysecky R(2017)Hierarchical Non-intrusive In-situ Requirements Monitoring for Embedded SystemsRuntime Verification10.1007/978-3-319-67531-2_16(259-276)Online publication date: 6-Sep-2017
https://doi.org/10.1007/978-3-319-67531-2_16
MacNamee CHeffernan D(2015)On-Chip Instrumentation for Runtime Verification in Deeply Embedded Processors2015 IEEE Computer Society Annual Symposium on VLSI10.1109/ISVLSI.2015.38(374-379)Online publication date: Jul-2015
https://doi.org/10.1109/ISVLSI.2015.38
Pankumhang TRutherford M(2015)Iterative Instrumentation for Code Coverage in Time-Sensitive Systems2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)10.1109/ICST.2015.7102594(1-10)Online publication date: Apr-2015
https://doi.org/10.1109/ICST.2015.7102594
Jaakola MEskeli JPollari MKanstren TKaariainen JPiippola M(2010)Integrated Path from Run-Time Measurements to Design DecisionsProceedings of the 2010 Second International Conference on Advances in System Simulation10.1109/SIMUL.2010.12(144-151)Online publication date: 22-Aug-2010
https://dl.acm.org/doi/10.1109/SIMUL.2010.12
Xiang ZWang QWen H(2010)The Study of Multi-Robot Communication of Autonomous Soccer Robots Based on C/S Mode2010 International Conference on Multimedia Technology10.1109/ICMULT.2010.5630935(1-4)Online publication date: Oct-2010
https://doi.org/10.1109/ICMULT.2010.5630935
Ayeh EAgbedanu KMorita YAdamo OGuturu P(2008)FPGA Implementation of an 8-bit Simple Processor2008 IEEE Region 5 Conference10.1109/TPSD.2008.4562743(1-5)Online publication date: Apr-2008
https://doi.org/10.1109/TPSD.2008.4562743
Popa MIonel RGroza VMarcu M(2006)Educational Virtual Instrumentation Application for System Identification2006 IEEE Instrumentation and Measurement Technology Conference Proceedings10.1109/IMTC.2006.328215(842-846)Online publication date: Apr-2006
https://doi.org/10.1109/IMTC.2006.328215

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Cpu time-sharing in real-time systems

Real-time embedded systems powered by FPGA dynamic partial self-reconfiguration: a case study oriented to biometric recognition applications

Implementation of Hard Real-Time Embedded Control Systems

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations