SYMRT is used for automatically constructing a complete timing model of Java real-time systems written in a variant of the SCJ profile.
The configuration specifies which model to generate, which can either be a complete timing model or an execution time analysis optimized model: A complete timing model of the real-time system, which includes the real-time scheduling policy, all real-time tasks of the system and controllers for monitoring and controlling the state of the tasks.
Based on a configuration, our technique generates the complete timing model as a network of timed automata (NTA) amenable to model checking using the UPPAAL [28] model checker.
The timing model of a multi-tasking real-time system is built modularly, based on the symbolic execution of each individual task.
The timing model of the latter is a generated Timing Scheme.
The timing model can be provided as fixed execution times or as intervals for all the (supported) Java Bytecodes using a timing scheme.
I MUST confess that I was skeptical two decades ago, when I started monitoring a stock market timing model that looked too good to be true.
But a market timing model with a good long-term record has flashed the all-clear signal to re-enter the market.
Aggressive investors would also have benefited from this timing model: by investing twice as much money as they would have otherwise, for example, they would have doubled the market's return while incurring no greater risk.
That model -- the Seasonality Trading System from the Institute for Econometric Research of Deerfield Beach, Fla .-- has outperformed every other timing model monitored by The Hulbert Financial Digest over two decades.
This reflects the slow-turning nature of the timing model used.
