Using Hybrid Automata to Express Realtime Properties in VSE-II

In formallyanalyzinganddevelopingindustrialsizedsystems weare often confrontedwiththe problemof expressingrealtimeproperties.Especiallyin safetycritical applications as, for example,in embeddedsystemsor in control software thesepropertiesare crucial for the fight functioningof the systems. Thereare numeroussuitableapproachesthat allowus to specify realtimeproperties: MTL,TLAor VSE-SLto namea few, andalsothere are varioustools availableto formallydevelop suchsystems.Butin mostcases the approachesare trimmed for their ownhighlyspecializedapplicationarea. Wetry to overcomethis restriction byexploitingthe advantagesof a (fairly general)formaldevelopmenttool like VSEolIandthe rather specialized HybridAutomataby combiningthese two approaches.

• Type: Conference
• Year: 2001
• Where: FLAIRS
• Authors: Andreas Nonnengart, Georg Rock, Werner Stephan
• Keywords: Artificial Intelligence, Confrontedwiththe Problemof Expressingrealtimeproperties.Especiallyin, FLAIRS 2001, MTL, TLAor VSE-SLto Namea