A practical theory of programming
A practical theory of programming
Programming from specifications (2nd ed.)
Programming from specifications (2nd ed.)
An Accurate Worst Case Timing Analysis for RISC Processors
IEEE Transactions on Software Engineering
Proceedings of the International Conference on Mathematics of Program Construction, 375th Anniversary of the Groningen University
Reasoning about Non-terminating Loops Using Deadline Commands
MPC '00 Proceedings of the 5th International Conference on Mathematics of Program Construction
Coercing real-time refinement: a transmitter
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Towards a Refinement Calculus for Concurrent Real-Time Programs
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
The Real-Time Refinement Calculus: A Foundation for Machine-Independent Real-Time Programming
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Termination of real-time programs: definitely, definitely not, or maybe
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
| Hi-index | 0.00 |
Real-time program development can be split into a machine-independent phase, that derives a machine-independent real-time program from a specification, and a machine-dependent phase, that checks that the compiled program will meet its deadlines when executed on the target machine. In this paper we extend a machine-independent real-time programming language with auxiliary variables. These are introduced to facilitate both reasoning about the correctness of real-time programs and the expression of timing deadlines, and hence the calculation of timing constraints on paths through a program. The auxiliary variable concept is extended to auxiliary parameters to procedures.