Title :
Temporal analysis and object-oriented real-time software development: a case study with ROOM/ObjecTime
Author :
Gaudreau, Daniel ; Freedman, Paul
Author_Institution :
CRIM, Montreal, Que., France
Abstract :
New generation methodologies and CASE tools are making possible increasing “automation” by addressing software development in terms of executable models. We describe one such methodology, ROOM, along with its CASE tool, ObjecTime, for which systems are modelled in terms of hierarchically organised communicating objects whose behavior is defined in terms of finite state machines. In particular, we present the results of a Rate Monotonic Analysis inspired temporal analysis which makes evident some of the runtime limitations associated with ROOM semantics and the way in which the ROOM model is cast as an executable for the intended embedded platform
Keywords :
calculus of communicating systems; computer aided software engineering; finite state machines; object-oriented programming; real-time systems; software tools; CASE tools; ROOM semantics; ROOM/ObjecTime; embedded platform; executable models; finite state machines; hierarchically organised communicating objects; new generation methodologies; object-oriented real-time software development; rate monotonic analysis inspired temporal analysis; runtime limitations; temporal analysis; Automata; Computer aided software engineering; Contracts; Control systems; Educational institutions; Object oriented modeling; Programming; Runtime; Safety; Weight control;
Conference_Titel :
Real-Time Technology and Applications Symposium, 1996. Proceedings., 1996 IEEE
Conference_Location :
Brookline, MA
Print_ISBN :
0-8186-7448-2
DOI :
10.1109/RTTAS.1996.509528
