FFX (Flow Fact in XML) format


1 Introduction

FFX (Flow Fact in XML) is an XML-based file format used to represent flow facts. Flow facts are used in WCET (Worse Case Execution Time) tools used to verify the real-time systems. Such information is used either to help to achieve the computation, or to exhibit WCET in particular situations.

Main concepts that have driven the design and the development of FFX includes:

These properties should ensure a maximum of usability for FFX.

This document describes the version 1.0 of FFX that may be separated in:

The following standard documents applies to the description of FFX: