Skip to content

Hierarchical Scheduling Composition (HSC) model in the form of IMITATOR input

License

Notifications You must be signed in to change notification settings

imitator-model-checker/HSC

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

2 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

HSC

Hierarchical Scheduling Composition (HSC) model in the form of IMITATOR input

Author:: Sun Youcheng

URL: https://sites.google.com/site/theyoucheng/component-based-analysis-of-hierarchical-scheduling-using-linear-hybrid-automata/gen_hsc

gen_HSC.py is a python script to generate the Hierarchical Scheduling Composition (HSC) model in the form of IMITATOR input. gen_HSC.py reads a JSON file containing declarations of the periodic server and its tasks. The file test.json is given as an example.

To run the script:

python gen_HSC.py <input_file> <output_file>

About

Hierarchical Scheduling Composition (HSC) model in the form of IMITATOR input

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages