Partial flow analysis with oRange

Authors:
Marianne De Michiel;Armelle Bonenfant;Clément Ballabriga;Hugues Cassé
Affiliations:
Université de Toulouse, Institut de Recherche en Informatique de Toulouse;Université de Toulouse, Institut de Recherche en Informatique de Toulouse;Université de Toulouse, Institut de Recherche en Informatique de Toulouse;Université de Toulouse, Institut de Recherche en Informatique de Toulouse
Venue:
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Year:
2010

Citing 3
Cited 1

Generalizing parametric timing analysis

Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation

RTCSA '08 Proceedings of the 2008 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models

Proceedings of the 7th annual IEEE/ACM International Symposium on Code Generation and Optimization

Leveraging transactional memory for a predictable execution of applications composed of hard real-time and best-effort tasks

Proceedings of the 21st International conference on Real-Time Networks and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In order to ensure that timing constrains are met for a Real-Time Systems, a bound of the Worst-Case Execution Time (WCET) of each part of the system must be known. Current WCET computation methods are applied on whole programs which means that all the source code should be available. However, more and more, embedded software uses COTS (Components ...), often afforded only as a binary code. Partialisation is a way to solve this problem. In general, static WCET analysis uses upper bound on the number of loop iterations. oRange is our method and its associated tool which provide mainly loop bound values or equations and other flow facts information. In this article, we present how we can do partial flow analysis with oRange in order to obtain component partial results. These partial results can be used, in order to compute the flow analysis in the context of a full application. Additionally, we show that the partial analysis enables us to reduce the analysis time while introducing very little pessimism.