Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/association-for-computing-machinery/the-validation-and-implementation-of-real-time-robotics-systems-using-UTh7dGlHKv
- Publisher
- Association for Computing Machinery
- Copyright
- Copyright © 1996 by ACM Inc.
- ISSN
- 1055-6400
- DOI
- 10.1145/227986.227993
- Publisher site
- See Article on Publisher Site
Abstract
The specification of a real-time system is often the result of a process, whereby a conceptual control system is fleshed out as a computer program. To be accurate, this process must preserve important causal and structural properties of the control system. For example, if the control system has multiple functional components operating concurrently, then the process of mapping these components into a computer program executing on a single processor, must ensure that these components do not interact in ways that are physically impossible. In this paper we review our work on CLEOPATRA, an object oriented specification and programming language that restricts expressiveness in a way that allows the specification of only reactive, spontaneous, and causal computation. Unrealistic systems---possessing properties such as infinite capacities or perfect timing---cannot even be specified. We argue that this "ounce of prevention" at the specification level is likely to spare a lot of time and energy in the development cycle---not to mention the elimination of potential hazards that would have gone unnoticed.
Journal
ACM SIGPLAN OOPS Messenger – Association for Computing Machinery
Published: Jan 1, 1996