Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

FLAIRS
2001

favoriteEmaildiscussreport

93views Artificial Intelligence» more FLAIRS 2001»

Using Hybrid Automata to Express Realtime Properties in VSE-II

13 years 5 months ago

Using Hybrid Automata to Express Realtime Properties in VSE-II

Download www.aaai.org

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.

Andreas Nonnengart, Georg Rock, Werner Stephan

Real-time Traffic

Artificial Intelligence | Confrontedwiththe Problemof Expressingrealtimeproperties.Especiallyin | FLAIRS 2001 | MTL | TLAor VSE-SLto Namea |

claim paper

Related Content

» Timed IO Automata A Mathematical Framework for Modeling and Analyzing RealTime Systems

» Timed IO automata a complete specification theory for realtime systems

» Specification and Analysis of RealTime Systems Using RealTime Maude

» Automatic verification of realtime systems with discrete probability distributions

» Dynamic EventBased Runtime Monitoring of RealTime and Contextual Properties

» Specification of realtime and hybrid systems in rewriting logic

» Composing Functional and StateBased Performance Models for Analyzing Heterogeneous RealTim...

» Diagonal Constraints in Timed Automata Forward Analysis of Timed Systems

» A Multimode RealTime Calculus

Post Info
More Details (n/a)

Added	31 Oct 2010
Updated	31 Oct 2010
Type	Conference
Year	2001
Where	FLAIRS
Authors	Andreas Nonnengart, Georg Rock, Werner Stephan

Comments (0)