{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,31]],"date-time":"2022-12-31T05:20:22Z","timestamp":1672464022825},"reference-count":16,"publisher":"Association for Computing Machinery (ACM)","issue":"1","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGPLAN OOPS Mess."],"published-print":{"date-parts":[[1996,1]]},"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.<\/jats:p>","DOI":"10.1145\/227986.227993","type":"journal-article","created":{"date-parts":[[2007,1,17]],"date-time":"2007-01-17T18:32:02Z","timestamp":1169058722000},"page":"36-43","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["The validation and implementation of real-time robotics systems using Cleopatra object-oriented physically-correct specifications"],"prefix":"10.1145","volume":"7","author":[{"given":"Azer","family":"Bestavros","sequence":"first","affiliation":[]}],"member":"320","published-online":{"date-parts":[[1996,1]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Proceedings of the 1988 Darpa Image Understanding Workshop","author":"Bajcsy R.","year":"1988"},{"key":"e_1_2_1_2_1","volume-title":"Harvard University","author":"Bestavros Azer","year":"1988"},{"key":"e_1_2_1_3_1","volume-title":"Proceedings of the 10th Annual Rochester Forth Conference on Embedded Systems","author":"Bestavros Azer","year":"1990"},{"key":"e_1_2_1_4_1","volume-title":"Proceedings of AIRTC-91: The 3rd IFAC Workshop on Artificial Intelligence in Real Time Control, Napa\/Sonoma Region, CA","author":"Bestavros Azer","year":"1991"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1991.160380"},{"key":"e_1_2_1_6_1","volume-title":"Division of Applied Sciences (Department of Computer Science)","author":"Bestavros Azer","year":"1991"},{"key":"e_1_2_1_7_1","volume-title":"Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems","author":"Bestavros Azer","year":"1994"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/CMPASS.1994.318459"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1990.126046"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/JRA.1986.1087032"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.57057"},{"key":"e_1_2_1_13_1","volume-title":"Harvard University","author":"Clark James","year":"1991"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/12868.12874"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/71021.71024"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/359763.359798"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/69610.357982"}],"container-title":["ACM SIGPLAN OOPS Messenger"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/227986.227993","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,30]],"date-time":"2022-12-30T09:24:29Z","timestamp":1672392269000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/227986.227993"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,1]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,1]]}},"alternative-id":["10.1145\/227986.227993"],"URL":"https:\/\/doi.org\/10.1145\/227986.227993","relation":{},"ISSN":["1055-6400"],"issn-type":[{"value":"1055-6400","type":"print"}],"subject":[],"published":{"date-parts":[[1996,1]]},"assertion":[{"value":"1996-01-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}