Temporal Analysis and Object-Oriented Real-Time Software Development: a Case Study with ROOM/ObjecTime

New generation methodologies and CASE tools are making possible increasing "automation" by addressing software development in terms of executable models. In this paper, 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. 1. Introduction In order to respond to the increasingly sophisticated demands of operating authorities in terms of safety, reliability, and performance [1], computerized control is rapidly gaining importance in mass transit e.g. [2], [8]. In addition, the relatively short (2 year) design-andbuild contracts make the need for re..