A formalism for monitoring real-time constraints at run-time
- 4 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 148-155
- https://doi.org/10.1109/ftcs.1990.89350
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Events: a structuring mechanism for a real-time runtime systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Formal verification of programs with exceptionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Agreeing on who is present and who is absent in a synchronous distributed systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- The cyclic executive model and AdaReal-Time Systems, 1989
- Timed acceptances: A model of time dependent processesLecture Notes in Computer Science, 1988
- An axiomatic treatment of exception handling in an expression-oriented languageACM Transactions on Programming Languages and Systems, 1987
- Safety analysis of timing properties in real-time systemsIEEE Transactions on Software Engineering, 1986
- Correct and Robust ProgramsIEEE Transactions on Software Engineering, 1984
- Exception Handling and Software Fault ToleranceIEEE Transactions on Computers, 1982
- Proving real-time properties of programs with temporal logicPublished by Association for Computing Machinery (ACM) ,1981