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

fYear

1996

fDate

10-12 Jun 1996

Firstpage

110

Lastpage

118

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Real-Time Technology and Applications Symposium, 1996. Proceedings., 1996 IEEE

Conference_Location

Brookline, MA

Print_ISBN

0-8186-7448-2

Type

conf

DOI

10.1109/RTTAS.1996.509528

Filename

509528