A framework for building dependable systems
The Computer Journal - Special issue on methodologies (systems and software)
A Case-Study in Timed Refinement: A Mine Pump
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Safeware: system safety and computers
Safeware: system safety and computers
Accommodating interference in the formal design of concurrent object-based programs
Formal Methods in System Design
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Safety Critical Computer Systems
Safety Critical Computer Systems
A Discipline of Programming
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Automatic Symbolic Verification of Embedded Systems
IEEE Transactions on Software Engineering
Trace Refinement of Action Systems
CONCUR '94 Proceedings of the Concurrency Theory
Action Systems with Synchronous Communication
PROCOMET '94 Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi
A predicative semantics for real-time refinement
Programming methodology
Continuous action systems as a model for hybrid systems
Nordic Journal of Computing
RPL: a policy language for dynamic reconfiguration
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Using a teleo-reactive approach in building self-managing systems
International Journal of Autonomous and Adaptive Communications Systems
Teleo-Reactive abductive logic programs
Logic Programs, Norms and Action
From Teleo-Reactive specifications to architectural components: A model-driven approach
Journal of Systems and Software
Towards an algebra for real-time programs
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
| Hi-index | 0.00 |
The teleo-reactive programming approach was developed by Nilsson for application in domains like robotics. It has a high-level programming model that allows real-time control programs to be written in a manner that allows them to react robustly to changes in the environment. In this paper we give a formalisation of the semantics of teleo-reactive programs and provide rely/guarantee rules for reasoning about them. The semantics are given in a form that partitions the behaviour of the system into its behaviour over a sequence of time intervals.