Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation

Details Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation

2007-10-25

arxiv.org/abs/0710.4753v1

Dans Design, Automation and Test in Europe - DATE'05, Munich : Allemagne (2005)

Computer Science

Logic in Computer Science

Submitted on behalf of EDAA (http://www.edaa.com/)

Scientific paper

Static program analysis by abstract interpretation is an efficient method to
determine properties of embedded software. One example is value analysis, which
determines the values stored in the processor registers. Its results are used
as input to more advanced analyses, which ultimately yield information about
the stack usage and the timing behavior of embedded software.

Affiliated with

Also associated with

No associations

Rating

Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-432361