By the same authors

From the same journal

A FRAMEWORK FOR BUILDING DEPENDABLE SYSTEMS

Research output: Contribution to journalArticlepeer-review

Author(s)

Department/unit(s)

Publication details

JournalComputer journal
DatePublished - Apr 1991
Issue number2
Volume34
Number of pages9
Pages (from-to)173-181
Original languageEnglish

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.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations