Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing-Reference-Cited by-同舟云学术

Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing

Author:

Convent Lukas,Hungerecker Sebastian,Scheffel Torben,Schmitz Malte,Thoma Daniel,Weiss Alexander

Publisher

Springer International Publishing

Link

Reference28 articles.

1. CoreSight Components: Technical Reference Manual. ARM DDI 0314H, July 2009. Issue H

2. ARM Limited, ARM IHI 0035B: CoreSight Program Flow Trace: PFTv1.0 and PFTv1.1 - Architecture Specification, March 2011. Issue B

3. ARM Limited, ARM IHI 0029B: CoreSightTM Architecture Specification v2.0 (2013). Issue D

4. ARM Limited: ARM DS-5 ARM DSTREAM User Guide Version 5.27 (2017)

5. AUTOSAR: Specification of Timing Extensions. Technical report, AUTOSAR (2017)

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. In-Field Debugging of Automotive Microcontrollers for Highest System Availability;Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques;2024-09-13

2. Automatic Test Generation to Improve Scrum for Safety Agile Methodology;Proceedings of the 18th International Conference on Availability, Reliability and Security;2023-08-29

3. Runtime Verification of AUTOSAR Timing Extensions;Proceedings of the 30th International Conference on Real-Time Networks and Systems;2022-06-07

5. nfer – A Tool for Event Stream Abstraction;Software Engineering and Formal Methods;2021