Datasets
Open Access
The Effects of Toolchain Configuration on the WCET of SCADE Generated Software: Dataset
- Citation Author(s):
-
SeanKauffman
University of WaterlooSebastianFischmeisterUniversity 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
166 Views- Categories:
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:
- model -- the id of the generated SCADE model
- scade -- the SCADE major version (5,6)
- compiler -- the compiler used for the experiment (CodeWarrior, GCC, WindRiver)
- opt -- the optimization setting (1 is on, 0 is off)
- real -- the bit width for floating point operations (float for 32 bit, double for 64 bit)
- tool -- the WCET tool used (hwm for ad-hoc measurement using NI equipment, rvs for Rapita RVS, abs for AbsInt aiT, ota for Otawa)
- stat -- redundant (wcet) used because some tools output other values
- value -- the raw WCET number computed from the tool result
- ratio -- the normalized WCET number based on the model
- 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
wcet_factors_dataset.csv (3.12 MB)
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.
