[SAL-HELP] Can any one help me with timeout automata in SAL

[Bruno Dutertre]

suman kasam wrote:
> Hi,
>    
>      I am a learner of SAL and have somw doubts regarding timeout automata in SAL like Can I incude timout value as infinite.If I can do that, how is it possible.
>    

Suman,

In SAL there's no built-in infinity. So you need to encode infinite value in some way.
I suspect the simplest and most efficient method is to have a boolean variable
associated with every timeout variable to indictate whether its value is finite
or infinite. For example, if you have timeout[1] to timeout[N] just add,
is_finite[1] to is_finite[N]. Then you just need to modify the time-progress rules
so that infinite timeouts are ignored.

As long as there's always a finite timeout, this approach should work just fine.
The only issue is what to do if all the timeouts are infinite. This may be
related to your other question, but I'm bot sure. Do you have
an example specification illustrating the problem?

Thanks,

Bruno



>   Clearly,
>           
>            I have a problem where the fsm terminates when it reaches a particular states and never repeates again as it happens in most of the finite state machines.Iam planning to include that state by including its timeout value as infinite.If you have any other idea to implement this please let me know.
>    
>   Thanking you,
>    
>   Regards,
>   Suman Kasam
> 
>  __________________________________________________
> Do You Yahoo!?
> Tired of spam?  Yahoo! Mail has the best spam protection around 
> http://mail.yahoo.com 


-- 
Bruno Dutertre                             | bruno at csl.sri.com
CSL, SRI International                     | fax: 650 859-2844
333 Ravenswood Avenue, Menlo Park CA 94025 | tel: 650 859-2717