An Introduction to Real-Time Object-Z-Reference-Cited by-同舟云学术

An Introduction to Real-Time Object-Z

Published:2002-05 Issue:2 Volume:13 Page:128-141
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

Smith Graeme¹,Hayes Ian²

Affiliation:

1. Software Verification Research Centre, University of Queensland, Brisbane, Australia, , , , , , AU

2. School of Computer Science and Electrical Engineering, University of Queensland, Brisbane, Australia, , , , , , AU

Abstract

Abstract. This paper presents Real-Time Object-Z: an integration of the object-oriented, state-based specification language Object-Z with the timed trace notation of the timed refinement calculus. This integration provides a method of formally specifying and refining systems involving continuous variables and real-time constraints. The basis of the integration is a mapping of the existing Object-Z history semantics to timed traces.

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/s001650200003.pdf

Reference26 articles.

1. An object-oriented denotational semantics of a (block-structured sequential) programming language;Dong J. S.;Object-Oriented Systems,1997

2. Formal methods in the development of PREMO;Dt;Computer Standards and Interfaces,1995

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Reasoning about Object-Z formal specification with LTLC;Journal of Physics: Conference Series;2019-03

2. A formal model and risk assessment method for security-critical real-time embedded systems;Computers & Security;2016-05

3. Modeling Dependability Features for Real-Time Embedded Systems;IEEE Transactions on Dependable and Secure Computing;2015-03-01

4. Extending Linear Temporal Logic with Clocks to Object-Z;Applied Mechanics and Materials;2014-02-06

5. The Object-Z Specification Language;Texts in Computer Science;2011