Detecting unsafe error recovery schedules
- 1 August 1992
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 18 (8) , 749-760
- https://doi.org/10.1109/32.153384
Abstract
A mechanism for modeling timing, precedence, and data-consistency constraints on concurrently executing processes is presented. The model allows durations and intervals between events to be specified. An algorithm is provided to detect schedules which may be unsafe with respect to the constraints. This work, motivated by the design and validation of autonomous error-recovery strategies on the Galileo spacecraft, appears to be applicable to a variety of asynchronous real-time systems.Keywords
This publication has 22 references indexed in Scilit:
- A transformational method for verifying safety properties in real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Parallel discrete event simulationCommunications of the ACM, 1990
- A specifier's introduction to formal methodsComputer, 1990
- Scheduling processes with release times, deadlines, precedence and exclusion relationsIEEE Transactions on Software Engineering, 1990
- Real-time interval logic for reasoning about executions of real-time programsPublished by Association for Computing Machinery (ACM) ,1989
- Concurrency control for distributed real-time databasesACM SIGMOD Record, 1988
- Applications of temporal logic to the specification of real time systemsPublished by Springer Nature ,1988
- An interval-based temporal logicLecture Notes in Computer Science, 1984
- Using semantic knowledge for transaction processing in a distributed databaseACM Transactions on Database Systems, 1983
- Reliability Issues in Computing System DesignACM Computing Surveys, 1978