FOrmal Real-Time Scheduler (FORTS). FORTS is a model checker on Linear Hybrid Automata (LHA) that I write in C++. The basic parts of FORTS compose a parser to read LHA models in script inputs and an engine to perform reachability analysis for the safety property. It is specialized for Real-Time Scheduling problems.
Keywords for this software
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- Sun, Youcheng; Lipari, Giuseppe: A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor global fixed-priority scheduling (2016)