Sensors and actuators in TCOZ

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

Volumn 1709, Issue , 1999, Pages 1166-1185

  Mahony, Brendan ^a   Dong, Jin Song ^b  

^a Defence Science and Technology Organisation   (Singapore)

^b NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

ACTUATORS; COMPUTATION THEORY; COMPUTER CONTROL; COMPUTER OPERATING PROCEDURES; CONTROL THEORY; FORMAL METHODS;

ANALOG COMPONENTS; CHANNEL BASED COMMUNICATION; CONTINUOUS FUNCTIONS; CONTROLLED SYSTEM; INTERFACE MECHANISMS; MODEL COMPLEXES; SENSORS AND ACTUATORS; TIMED COMMUNICATING OBJECT-Z;

CRUISE CONTROL;

EID: 84949493707     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48118-4_12     Document Type: Conference Paper

References (24)

1. K. Araki, A. Galloway, and K. Taguchi, editors. IFM'99: Integrated Formal Methods, York, UK. Springer-Verlag, June 1999.
2. J. Davies. Specification and Proof in Real-Time Systems. PhD thesis, Oxford University Computing Laboratory, Programming Research Group, 1991.
3. J.S. Dong and B. Mahony. Active Objects in TCOZ. In J. Staples,M. Hinchey, and S. Liu, editors, the 2nd IEEE International Conference on Formal EngineeringMethods (ICFEM'98), pages 16–25. IEEE Press, December 1998.
4. R. Duke, G. Rose, and G. Smith. Object-Z: a Specification Language Advocated for the Description of Standards. Computer Standards and Interfaces, 17:511–533, 1995.
5. C. J. Fidge, I. J. Hayes, A. P. Martin, and A. K. Wabenhorst. A set-theoretic model for real-time specification and reasoning. In Mathematics of Program Construction, 1998.
6. C. Fischer. CSP-OZ: A combination of Object-Z and CSP. In H. Bowmann and J. Derrick, editors, Formal Methods for Open Object-Based Distributed Systems (FMOODS '97), volume 2, pages 423–438. Chapman& Hall, 1997.
7. A. J. Galloway and W. J. Stoddart. An operational semantics for ZCCS. In M. Hinchey and S. Liu, editors, the IEEE International Conference on Formal Engineering Methods (ICFEM'97), pages 272–282, Hiroshima, Japan,November 1997. IEEE Press.
8. I. J. Hayes and B. P. Mahony. Using units of measurement in formal specifications. Formal Aspects of Computing, 7(3), 1995.
9. I. J. Hayes and M. Utting. Coercing real-time refinement: A transmitter. In D. J. Duke and A. S. Evans, editors, BCS-FACS Northern FormalMethodsWorkshop, ElectronicWorkshops in Computing. Springer Verlag, 1997.
10. B. Mahony and J.S. Dong. Overview of the semantics of TCOZ. In Araki et al. [1].
11. B. P. Mahony. The Specification and Refinement of Timed Processes. PhD thesis, University of Queensland, 1991.
12. B. P. Mahony and J.S. Dong. Blending Object-Z and Timed CSP: An introduction to TCOZ. In K. Futatsugi, R. Kemmerer, and K. Torii, editors, The 20th International Conference on Software Engineering (ICSE'98), pages 95–104, Kyoto, Japan, April 1998. IEEE Press.
13. th International Conference of Z Users. Springer-Verlag, September 1998.
14. B. P. Mahony and I. J. Hayes. A case-study in timed refinement: A mine pump. IEEE Transactions on Software Engineering, 18(9):817–826, 1992.
15. F. H. Raven. Automatic Control Engineering. McGraw-Hill, second edition, 1968.
16. S. Schneider and J. Davies. A brief history of Timed CSP. Theoretical Computer Science, 138, 1995.
17. M. Shaw. Beyond objects. ACM Software Engineering Notes, 20(1), January 1995.
18. A. Simpson, J. Davies, and J. Woodcock. Security management via Z and CSP. In J.Grundy, M. Schwenke, and T. Vickers, editors, IRW/FMP'98. Springer-Verlag, 1998.
19. G. Smith. A semantic integration of Object-Z and CSP for the specification of concurrent systems. In J. Fitzgerald, C. Jones, and P. Lucas, editors, Proceedings of FME'97: Industrial Benefit of Formal Methods, Graz, Austria, September 1997. Springer-Verlag.
20. J. M. Spivey. Understanding Z: A Specification Language and its Formal Semantics, Cambridge University Press, 1988.
21. C. Suhl. RT-Z: An integration of Z and timed CSP. In Araki et al. [1].
22. K. Taguchi and K. Araki. The State-BasedCCS Semantics for Concurrent Z Specification. In M. Hinchey and S. Liu, editors, the IEEE International Conference on Formal Engineering Methods (ICFEM'97), pages 283–292, Hiroshima, Japan,November 1997. IEEE Press.
23. P. Zave and M. Jackson. Four dark corners of requirements engineering. ACM Trans. Software Engineering and Methodology, 6(1):1–30, January 1997.
24. C. Zhou, C. A. R. Hoare, and A. P. Ravn. A calculus of durations. Information Processing Letters, 40:269–276, 1991.