Sean Kauffman

First Name

Sean

Last Name

Kauffman

Open Access Entries from this Author

Palisade: A Framework for Anomaly Detection in Embedded Systems Dataset

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:

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

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.