Real-time logic revisited

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2021 LNCS, Issue , 2001, Pages 300-317

  Paynter, Stephen E ^a  

^a Radiation Effects Group   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; FORMAL METHODS; INTERACTIVE COMPUTER SYSTEMS; SOFTWARE ENGINEERING;

MODELS OF TIME; NATURAL NUMBER; REAL ARITHMETIC; REAL-TIME LOGIC;

REAL TIME SYSTEMS;

EID: 0037822789     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45251-6_17     Document Type: Conference Paper

References (37)

1. Abadi, M. and Lamport, L.: 'An Old Fashioned Recipe for Real-Time', Proc. REX Workshop - Real-Time: Theory in Practice, LNCS 600, Springer, 1991, pp. 1-27.
2. Armstrong, J.M. and Barroca, L.: 'Specification and Verification of Reactive System Behaviour: The Railroad Crossing Example', J. Real-Time Systems, 10 (2), March 1996, pp. 143-178.
3. Armstrong, J.M.: 'Industrial Integration of Graphical Formal Specifications', J. Systems Software, 40, 1998, pp. 211-225.
4. Armstrong, J.M.: 'The Proofcharts-PVS Manual - Part II: The Proofcharts-PVS Theorem Library', BAE SYSTEMS DCSC Technical Report, DCSC/TR/1999/5, University of Newcastle, 1999.
5. nd Int. Symp. on Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 571, Springer, 1992.
6. th Int. Symp. on Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 1135, Springer, 1996.
7. Fowler, S. and Wellings, A.J.: 'Formal Development of a Real-Time Kernel', Proc. 18p IEEE Real-Time Systems Symp., San Francisco, December 1997.
8. Gödel, K.: Über formal unentscheidbare Sätze der Principia Mathematica and verwandter Systeme I', In Monatshefte für Mathematik and Physik, Vol. 38, pp. 173-198, 1931.
9. Reprinted in Translation in 'On Formally Undecidable Propositions of Principia Mathematica and Related Systems', Dover Publications, 1992.
10. Hall, J.G. and Lemos, R. de.: 'ERTL: An Extension to RTL for the Specification, Analysis and Verification of Hybrid Systems', Proc. of the IEEE EuroMirco'96 Conf., 1996.
11. Hajnicz, E.: 'An Analysis of Structure of Time in the First Order Predicate Calculus', In L. Bolc and A. Szalas (Editors): 'Time and Logic: A Computational Approach', UCL Press (London), 1995, pp. 279-322.
12. Haveman, J.: 'Transaction Decomposition: Refinement of Timing Constraints', Proc. of the South Pacific Conf. on Formal Methods, 1997.
13. Jahanian, F., and Mok, A.K.: 'Safety Analysis of Timing Properties in Real-Time Systems', IEEE Trans. on Soft. Eng., 12(9), 1986, pp. 890-904.
14. Jahanian, F., and Mok, A.K.: 'A Graph-Theoretic Approach for Timing Analysis and its Implementation', IEEE Trans. on Comp., 36(18), 1987, pp. 961-975.
15. Jahanian, F., and Mok, A.K.: 'Modechart: A Specification Language for Real-Time Systems', IEEE Trans. on Soft. Eng., 20(12), 1994, pp. 933- 947.
16. st Annual Hawaiian Int. Conf. on System Science, 1988.
17. Jahanian, F., Mok, A.K., and Stuart, D.A.: 'Formal Specification of Realtime Systems', Technical Report TR-88-25, Department of Computer Science, University of Texas at Austin, June 1988.
18. Kleene, S.C.: 'Introduction to Metamathematics', North-Holland Publishing Company, 1952.
19. rd Int. Symp. on Formal Techniques in Real- Time and Fault-Tolerant Systems, LNCS 863, Springer-Verlag, 1994, pp. 488-510.
20. Lamport, L.: 'On Interprocess Communication - Part 1: Basic Formalism', Distributed Comp. 1, 1986, pp. 77-85.
21. Lemos, R. de. and Hall, J.G. : 'Extended RTL in the Specification and Verification of an Industrial Press', Proc. of DIMAC'95 Conf., 1995.
22. Liu, Z.: 'Specification and Verification in the Duration Calculus', Chapter 7 of M. Joseph (Editor): 'Real-Time Systems: Specification, Verification, and Analysis', Prentice-Hall International Series in Computer Science, 1996.
23. Manna, Z. and Pnueli, A.: 'Models of Reactivity', Acta Informatica, 30(7), 1993, pp. 609-678.
24. Manzano, M.: 'Introduction to Many-Sorted Logic', in 'Many-Sorted Logic and its Applications', Edited by K. Meinke and J.V. Tucker, Wiley Professional Computing, 1993
25. Manzano, M.: 'Extensions of First-Order Logic', Tracts in Theoretical Computer Science, Cambridge University Press, 1996
26. nd Int. Symp. on Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 571, Springer, 1992.
27. Mok, A.K., Stuart, D.A., and Jahanian, F.: 'Specification and Analysis of Real-Time Systems: Modechart Language and Toolset', Chapter in Heitmeyer, C. and Mandrioli, D. (Editors): 'Formal Methods for Real-Time Computing', Trends in Software 5, Wiley, 1996.
28. Owre, S., Shanker, N., Rushby, J.M., and Stringer-Calvert, D.W.J.: 'PVS Language: Version 2.3', Computer Science Laboratory, SRI International, September 1999.
29. Owre, S., Shanker, N., Rushby, J.M., and Stringer-Calvert, D.W.J.: 'PVS System Guide: Version 2.3', Computer Science Laboratory, SRI International, September 1999.
30. th Int. Symp. on Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 1486, Springer, 1998.
31. th Int. Symp. on Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 1135, Springer, 1996, pp. 90-109.
32. Paynter, S.E.: 'Real-Time Transactions Revisited', Unclassified MBD(UK) Technical Report, DR16972, 1999.
33. Paynter, S.E., Armstrong, J.M., and Haveman, J.: 'ADL: An Activity Description Language for Real-Time Networks', Formal Aspects of Comp., 12(2), 2000, pp. 120-144.
34. Rathjen, M.: 'Recent Advances in Ordinal Analysis: Q1 2 -CA and Related Systems', Bulletin of Symbolic Logic, 1, 1995, pp. 468-485.
35. rd Int. Symp. on Formal Techniques in Real- Time and Fault-Tolerant Systems, LNCS 863, Springer-Verlag, 1994.
36. Simpson, H.R.: 'Protocols for Process Interaction', Submitted to IEE Proc. on Soft. Eng., Also three MBD(UK) Technical Reports, 2000.
37. Zhou, C. Hoare, C.A.R., and Ravn, A.P.: 'A Calculus of Durations', Inform. Proc. Letters, 40, 1991, pp. 269-276.