Tool to translate an interactive scenario written in i-score into its UPPAAL model.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
Compilers
FPGA/Interactive_Scores
examples
.gitignore
README.md

README.md

is2uppaal

Tool to translate an interactive scenario written in i-score into its UPPAAL model. The formal model was published in

Arias, J., Desainte-Catherine, M., & Rueda, C. (2015). A Framework for Composition, Verification 
and Real-Time Performance of Multimedia Interactive Scenarios. In 2015 15th International 
Conference on Application of Concurrency to System Design (pp. 140–151). IEEE. 
https://doi.org/10.1109/ACSD.2015.8

Currently, this code was ported to C++ and it was integrated to i-score as the plugin staticanalysis.