Abstract
This paper introduces and illustrates the use of TROM based methodology for formally specifying and reasoning about complex realtime reactive systems. The methodology provides a means to structure system specifications into independent, modular, and reusable components, thereby making the specification to be beneficial for system design and maintenance. The underlying formal semantics of TROM facilitates validation and formal verification of system requirements.
This work is supported by grants from NSERC, Canada and FCAR, Quebec.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
R. Achuthan, V.S. Alagar, and T. Radhakrishnan. A formal methodology for object-oriented development of real-time reactive systems. In Workshop on Object-Oriented Real-Time Systems (OOPSLA'94), Portland, OR, October 1994.
R. Achuthan, V.S. Alagar, and T. Radhakrishnan. A formal model for object-oriented development of real-time reactive systems. Technical report, Concorida University, Montreal, Canada, March 1995.
R. Achuthan, V.S. Alagar, and T. Radhakrishnan. A formal model for specification and verification of real-time reactive systems. In Workshop on Models snd Proofs for Concurrent and Real-Time Systems, Bordeaux, France. June 1995.
R. Achuthan, V.S. Alagar, and T. Radhakrishnan. An object-oriented modeling of real-time robotic assembly system. In IEEE International Conference on Engineering Complex Computer Systems, Florida. Nov. 1995.
V.S. Alagar and G. Ramanathan. Functional specification and proof of correctness for time dependent behavior of reactive systems. Formal Aspects of Computing, (3):253–283, 1991.
J. F. Allen. Towards a general theory of action and time. Artificial Inteligence (23), 1984.
T. E. Bihari and P. Gopinath. Object-oriented real-time systems: Concepts and examples. IEEE Computer, 25(12):25–32, December 1992.
R. Duke, G. Rose, and A. Lee. Object-oriented protocol specification. In Protocol Testing and Verification, pages 323–339. 1990.
Z. Fluhr and P. Porter. Control architecture. Bell Sys. Tech. Journal, 1(58):43–69, 1979.
D. Gangopadhyay and S. Mitra. Objchart: Tangible specification of reactive object behavior. In European Conference on Object Oriented Programming — 93, 1993.
J.V. Guttag and J.J. Horning. Larch: Languages and Tools for Formal Specifications. Springer-Verlag, 1993.
H. Jarvinen, R. Kurki-Suonio, M. Sakkinen, and K. Systa. Object-oriented specification of reactive systems. In Proc. 12th IEEE Conference Software Engineering, 1990.
Z. Manna and A. Pnueli. The temporal logic of reactive and concurrent systems: Specification. Springer-Verlag, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Achuthan, R., Alagar, V.S., Radhakrishnan, T. (1995). TROM — An object model for reactive system development. In: Kanchanasut, K., Lévy, JJ. (eds) Algorithms, Concurrency and Knowledge. ACSC 1995. Lecture Notes in Computer Science, vol 1023. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60688-2_55
Download citation
DOI: https://doi.org/10.1007/3-540-60688-2_55
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60688-8
Online ISBN: 978-3-540-49262-7
eBook Packages: Springer Book Archive