[SAL-HELP] Modeling real-time systems with SAL

[Zonghua Gu]

I would like to use Calendar automata to model real-time task scheduling,
based on these papers:

http://sal-wiki.csl.sri.com/index.php/Links_to_papers_relevant_to_SAL#Timed_Systems_in_SAL

It is easy to model a strictly periodic task with this technique, but I
would like to model a sporadic task with a minimum inter-arrival time of T,
where there may be arbitrary delay D between any two consecutive invocations
of the task as long as D >= T. If D has an upper bound, then I can also
model it easily. But how do I model the situation where D ranges from T to
infinity?

-- 
Best,

Zonghua
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.csl.sri.com/pipermail/sal-help/attachments/20080401/f6c855c2/attachment.html