Graph algorithms and NP-completeness
Graph algorithms and NP-completeness
Nested transactions: an approach to reliable distributed computing
Nested transactions: an approach to reliable distributed computing
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Error recovery in asynchronous systems
IEEE Transactions on Software Engineering
Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Operation systems: advanced concepts
Operation systems: advanced concepts
Mechanisms for reliable distributed real-time operating systems: The Alpha Kernel
Mechanisms for reliable distributed real-time operating systems: The Alpha Kernel
Safety Analysis Using Petri Nets
IEEE Transactions on Software Engineering
Concurrency control for distributed real-time databases
ACM SIGMOD Record - Special Issue on Real-Time Database Systems
Real-time interval logic for reasoning about executions of real-time programs
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Principles of concurrent and distributed programming
Principles of concurrent and distributed programming
Scheduling Processes with Release Times, Deadlines, Precedence and Exclusion Relations
IEEE Transactions on Software Engineering
Parallel discrete event simulation
Communications of the ACM - Special issue on simulation
Automata for modeling real-time systems
Proceedings of the seventeenth international colloquium on Automata, languages and programming
Temporal proof methodologies for real-time systems
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Handbook of theoretical computer science (vol. B)
Using semantic knowledge for transaction processing in a distributed database
ACM Transactions on Database Systems (TODS)
Reliability Issues in Computing System Design
ACM Computing Surveys (CSUR)
A Survey of Techniques for Synchronization and Recovery in Decentralized Computer Systems
ACM Computing Surveys (CSUR)
Hard Real-Time Systems
A Timed Petri Net Methodolgoy for Specifying Real-Time System Timing Requirements
International Workshop on Timed Petri Nets
Applications of Temporal Logic to the Specification of Real-time Systems
Systems, Proceedings of a Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
An Interval-Based Temporal Logic
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
Targeting safety-related errors during software requirements analysis
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Software engineering for safety: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Rapid Application of Lightweight Formal Methods for Consistency Analyses
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |
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.