This repository contains UPPAAL models used in the paper submitted to FTSCS 2013.
FTSCS2013_SR1_20130906.xml --> The UPPAAL model of example system SR1
FTSCS2013_SR2_20130906.xml --> The UPPAAL model of example system SR2
The two models have same FlexRay model with different application model and parameter settings.
.q files are related quries/properties for the corresponding systems.
The queries are listed in the same order as in the paper.
That's all. Cheers.