E-RACE, A Hardware-Assisted Approach to Lockset-Based Data Race Detection for Embedded Products

  • Authors:

  • Lily Huang;Michael Smith;Albert Tran;James Miller

  • Affiliations:

  • -;-;-;-

  • Venue:
  • ISSRE '08 Proceedings of the 2008 19th International Symposium on Software Reliability Engineering
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

Limited research exists for identifying data races under the specific characteristics found in embedded systems. E-RACE is a new style of data-race identification tool which directly utilizes specialized hardware capabilities to monitor the flow of data and instructions. Compared to existing data race analysis approaches, the hardware-assisted E-RACE tool has advantages of recognizing data-race issues without requiring extensive software code instrumentation. The tool is integrated into an Embedded Unit Testing Driven Development Framework to encourage the construction of testable code and early identification of data-races.