Real name: 
Congratulations!  You have been automatically subscribed to IEEE DataPort and can access all datasets on IEEE DataPort!
First Name: 
Sean
Last Name: 
Kauffman

Datasets & Competitions

This dataset accompanies the article "Palisade: A Framework for Anomaly Detection in Embedded Systems."  It contains traces, programs, and specifications used in the case studies from the paper.

Categories:
380 Views

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.

Categories:
150 Views