Loading...
Please wait, while we are loading the content...
Similar Documents
Preserving the Causal and Structural Properties of Real-time Systems Using Object Oriented Speciication in Cleopatra
| Content Provider | Semantic Scholar |
|---|---|
| Author | Bestavros, Azer |
| Copyright Year | 1995 |
| Abstract | The speciication of a real-time system is often the result of a process, whereby a conceptual control system is eshed 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 speciication and programming language that restricts expressive-ness in a way that allows the speciication of only re-active, spontaneous, and causal computation. Unre-alistic systems|possessing properties such as innnite capacities or perfect timing|cannot even be speciied. We argue that this \ounce of prevention" at the specii-cation 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, otherwise, unnoticed. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.cs.bu.edu/fac/best/res/papers/oorts95.ps |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
