An approach to monitoring and assertion-checking of real-time specifications

This publication has 11 references indexed in Scilit:

• MT: A toolset for specifying and analyzing real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A formalism for monitoring real-time constraints at run-time
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Modechart Toolset User's Guide
  Published by Defense Technical Information Center (DTIC) ,1994
• Modechart: a specification language for real-time systems
  IEEE Transactions on Software Engineering, 1994
• Validating Real-time Systems By History-checking TRIO Specifications
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1992
• STATEMATE: a working environment for the development of complex reactive systems
  IEEE Transactions on Software Engineering, 1990
• A noninvasive architecture to monitor real-time distributed systems
  Computer, 1990
• Application of real-time monitoring to scheduling tasks with random execution times
  IEEE Transactions on Software Engineering, 1990
• Distributed fault-tolerant real-time systems: the Mars approach
  IEEE Micro, 1989
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987