GitHub - yrke/tgstota: Lib to convert Task Graph (tgs) to UPPAAL timed automata (TA)

yrke / tgstota Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

Lib to convert Task Graph (tgs) to UPPAAL timed automata (TA)

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
src		src
AUTHORS		AUTHORS
LICENSE		LICENSE
README		README

Repository files navigation

TaskGraph to TimedAutomata 

This project converts TaskGraph definitions written in the 
Standard Task Graph Set (STG) format 
(http://www.kasahara.cs.waseda.ac.jp/schedule/) and converts them into 
UPPAAL timed automata (www.uppaal.org).

Dependencys:

The code uses the Timed Automata Libary distributed together with TAPAAL 
(www.tapaal.net) for generation of UPPAAL XML files. 

Questions and Comments:

Please email me at [email protected], and I will try to respond to your email.