The Effects of Toolchain Configuration on the WCET of SCADE Generated Software: Dataset

Citation Author(s):
Sean
Kauffman
University of Waterloo
Sebastian
Fischmeister
University of Waterloo
Submitted by:
Sean Kauffman
Last updated:
Fri, 08/30/2019 - 14:27
DOI:
10.21227/ffkx-a427
Data Format:
License:
Creative Commons Attribution
155 Views
Categories:
0
0 ratings - Please login to submit your rating.

Abstract 

This dataset uses a newly introduced method for the analysis of the effects on WCET of the toolchain configurations used in real-time systems. It is the result of a full factorial experiment comparing SCADE code generation tools (SCADE 5 and 6), compilers (Wind River, GCC, Code Warrior), optimization settings, and WCET analysis tools (high water mark measurement, Rapita RVS, Otawa, AbsInt aiT). SCADE generated software is targeted due to its prevalence in hard real-time systems that require WCET analysis for scheduling. The Freescale MPC5554, commonly used in the automotive and aerospace domains, is used as the target hardware.

Instructions: 

The dataset is in CSV format with a header row.  The meaning of each column is the following:

  1. model -- the id of the generated SCADE model
  2. scade -- the SCADE major version (5,6)
  3. compiler -- the compiler used for the experiment (CodeWarrior, GCC, WindRiver)
  4. opt -- the optimization setting (1 is on, 0 is off)
  5. real -- the bit width for floating point operations (float for 32 bit, double for 64 bit)
  6. tool -- the WCET tool used (hwm for ad-hoc measurement using NI equipment, rvs for Rapita RVS, abs for AbsInt aiT, ota for Otawa)
  7. stat -- redundant (wcet) used because some tools output other values
  8. value -- the raw WCET number computed from the tool result
  9. ratio -- the normalized WCET number based on the model
  10. range -- the range of results for a model and toolchain (max (measured) - min (measured)) / max (measured) note that this number is the same regardless of tool

Dataset Files

LOGIN TO ACCESS DATASET FILES
Open Access dataset files are accessible to all logged in  users. Don't have a login?  Create a free IEEE account.  IEEE Membership is not required.