Abstract
The relation between the Ada tasking model and the formal model timed automatonis described. Guidelines fortranslatingAdatasking constructs into timed automata and vice versa are given, along with important differences and similarities in tasking semantics between Ada task and timed automata. A case study shows how a previously verified audio control protocol is translated to Ada.KeywordsExecution TimeTime AutomatonAutomatic VerificationReturn DurationDelay AlternativeThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
