Abstract
The use of program tracing subsystems is already ubiquitous during the validation phase of an application’s life-cycle. However, these functionalities are also extremely useful in the domain of embedded fault tolerance. In this paper we explore the ARM CoreSight Debug and Trace architecture as a new tool for fault diagnosis and control flow assurance. The CoreSight is a dedicated ARM architecture that provides support for Program Flow Tracing without overhead costs for the running application. New FPGA integrated System-on-Chips (SoCs) enable the implementation of Hardware modules with direct access to system peripherals, bypassing the use of external control interfaces such as JTAG or Serial Wire Debug (SWD). We show here a new implementation for an integrated configurable hardware controller that can collect and send program trace data for a ARM Cortex-A9 integrated FPGA SoC. We also propose the use of this interface to measure hang latency, the time between the occurrence of a fault and failure detection.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
ARAMIS-II: ARAMIS-II Project Homepage. https://www.aramis2.com/. Accessed 12 Nov 2017
ARM: ARM CoreSight Architecture Specification v2.0
ARM: Procedure Call Standard for the ARM Architecture
Chielle, E., Rosa, F., Rodrigues, G.S., Tambara, L.A., Tonfat, J., Macchione, E., Aguirre, F., Added, N., Medina, N., Aguiar, V., Silveira, M.A.G., Ost, L., Reis, R., Cuenca-Asensi, S., Kastensmidt, F.L.: Reliability on ARM processors against soft errors through SIHFT techniques. IEEE Trans. Nucl. Sci. 63, 1–9 (2016). https://doi.org/10.1109/tns.2016.2525735
Du, B., Reorda, M.S., Sterpone, L., Parra, L., Portela-Garcia, M., Lindoso, A., Entrena, L.: Online test of control flow errors: a new debug interface-based approach. IEEE Trans. Comput. 65(6), 1846–1855 (2016). https://doi.org/10.1109/tc.2015.2456014
Fazeli, M., Farivar, R., Miremadi, S.: A software-based concurrent error detection technique for power PC processor-based embedded systems. In: 20th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (DFT 2005). IEEE Computer Society (2005). https://doi.org/10.1109/dftvs.2005.14
Mukherjee, S., et al.: A systematic methodology to compute the architectural vulnerability factors for a high-performance microprocessor. In: 22nd Digital Avionics Systems Conference. IEEE (2003)
Oberhumer: LZO Compression Library. http://www.oberhumer.com/opensource/lzo/. Accessed 12 Nov 2017
Xilinx: Zynq-7000 All Programmable SoC - Technical Reference Manual (2017)
Xilinx: Zynq UltraScale+ Device - Technical Reference Manual (2017)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Hoppe, A.W., Kastensmidt, F.L., Becker, J. (2018). Control Flow Analysis for Embedded Multi-core Hybrid Systems. In: Voros, N., Huebner, M., Keramidas, G., Goehringer, D., Antonopoulos, C., Diniz, P. (eds) Applied Reconfigurable Computing. Architectures, Tools, and Applications. ARC 2018. Lecture Notes in Computer Science(), vol 10824. Springer, Cham. https://doi.org/10.1007/978-3-319-78890-6_39
Download citation
DOI: https://doi.org/10.1007/978-3-319-78890-6_39
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-78889-0
Online ISBN: 978-3-319-78890-6
eBook Packages: Computer ScienceComputer Science (R0)