Framework for building dependable systems

Abstract

This paper describes a framework (called TARDIS) for building timely and reliable distributed systems. Such systems are increasingly needed in avionics, process control, military and other safety critical applications. TARDIS addresses non-functional requirements (e.g. safety, reliability, timeliness, dynamic change management) early in the design process, and facilitates the development of arguments that these requirements will be met if the system is implemented in its target execution environment. The paper illustrates TARDIS through a substantial case study.