Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Journal Article Printable view
KRONOS: a verification tool for real-time systems

KRONOS: a verification tool for real-time systems

JournalInternational Journal on Software Tools for Technology Transfer (STTT)
PublisherSpringer Berlin / Heidelberg
ISSN1433-2779 (Print) 1433-2787 (Online)
IssueVolume 1, Numbers 1-2 / December, 1997
CategorySpecial section on timed and hybrid systems
DOI10.1007/s100090050009
Pages123-133
Subject CollectionComputer Science
SpringerLink DateMonday, December 01, 1997
Add to marked items

Special section on timed and hybrid systems

KRONOS: a verification tool for real-time systems

Sergio Yovine1

(1)  Verimag, Centre Equation, 2 Ave. de Vignate, F-38610 Gières, France; E-mail: Sergio.Yovine@imag.fr, FR
  

Key words: Real-time systems – Timed automata – Timed temporal logics – Bisimulation – Specification – Verification

Fulltext Preview (Small, Large)
Image of the first page of the fulltext
more options
Find


Export this article
Export this article as RIS | Text
 
Referenced by
16 newer articles

  1. Donatelli, Susanna (2009) . IEEE Transactions on Software Engineering 35(2)
    [CrossRef]
  2. Witrant, E. (2009) Wireless ventilation control for large-scale systems: The mining industrial case. International Journal of Robust and Nonlinear Control
    [CrossRef]
  3. Boucheneb, H. (2009) TCTL Model Checking of Time Petri Nets. Journal of Logic and Computation
    [CrossRef]
  4. Chevallier, Remy (2008) Timed verification of the generic architecture of a memory circuit using parametric timed automata. Formal Methods in System Design
    [CrossRef]
  5. Plaku, Erion (2008) Hybrid systems: from verification to falsification by combining motion planning and discrete search. Formal Methods in System Design
    [CrossRef]
  6. Wang, F. (2004) Formal Verification of Timed Systems: A Survey and Perspective. Proceedings of the IEEE 92(8)
    [CrossRef]
  7. Li, P. (2004) A formally verified application-level framework for real-time scheduling on POSIX real-time operating systems. IEEE Transactions on Software Engineering 30(9)
    [CrossRef]
  8. Tomlin, C.J. (2003) Computational techniques for the verification of hybrid systems. Proceedings of the IEEE 91(7)
    [CrossRef]
  9. Asarin, E. (2000) Effective synthesis of switching controllers for linear systems. Proceedings of the IEEE 88(7)
    [CrossRef]
  10. Engell, S. (2000) Continuous-discrete interactions in chemical processing plants. Proceedings of the IEEE 88(7)
    [CrossRef]
First | Next | Last
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.98 • Server: mpweb24
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)