Program slicing across the hardware-software boundary for embedded systems
by Jeffry T. Russell, Margarida F. Jacome
International Journal of Embedded Systems (IJES), Vol. 4, No. 1, 2009

Abstract: The source code analysis technique of graph-based program slicing is extended to model interactions across the hardware-software boundary in the context of embedded systems. Specifically, this work proposes: a set of inter-process dependences to model software interacting with hardware; an asynchronous concurrency representation of dependences present in embedded systems; an algorithm to compute context-sensitive slices that can transitively follow dependences from software, through hardware, and back to software. A prototype tool applies the proposed worklist algorithm to several test cases. Additionally, a detailed, step-by-step example demonstrates its operation on a device driver interacting with hardware.

Online publication date: Sat, 18-Jul-2009

The full text of this article is only available to individual subscribers or to users at subscribing institutions.

 
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.

Pay per view:
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.

Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Embedded Systems (IJES):
Login with your Inderscience username and password:

Username:        Password:          Forgotten your password?

Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.

If you still need assistance, please email subs@inderscience.com