Subject systems

In folder FFSM_diff/Benchmark_SPL, you find the subject systems we used in our studies. The subject systems are the following:

In each folder, you find the FSMs and FFSMs as KISS files and feature models as XML files for each respective SPL subject system. PNG images of the state machines and feature models are available as well.

Table of contents

• Aero UC5 SPL
• Arcade Game Maker
• Card Payment Terminal SPL
• Minepump SPL
• Vending Machine SPL
• Wiping system SPL