Abstract :
Summary form only given. In this presentation we first describe a framework, called TARDIS (Timely and Reliable Distributed Information Systems), for the architectural design of dependable real-time systems. TARDIS ensures that nonfunctional issues are introduced into the design process as early as possible. It avoids overwhelming the designer with detail by introducing only essential information, and then only when and where it may have an impact on the design. T ARDIS is a generic framework - it is not dependent on any particular languages or development techniques - and is unobtrusively overlaid onto an existing development environment to produce a locally customised methodology for dependable realtime systems design. We then illustrate the use of TARDIS.
