A FRAMEWORK FOR BUILDING DEPENDABLE SYSTEMS

A Burns; A M Lister

A FRAMEWORK FOR BUILDING DEPENDABLE SYSTEMS

A Burns, A M Lister

Computer Science

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Pages (from-to)	173-181
Number of pages	9
Journal	Computer journal
Volume	34
Issue number	2
Publication status	Published - Apr 1991

Cite this

@article{3e9002b442904685bac933023056d916,

title = "A 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.",

author = "A Burns and Lister, {A M}",

year = "1991",

month = apr,

language = "English",

volume = "34",

pages = "173--181",

journal = "Computer journal",

issn = "0010-4620",

publisher = "Oxford University Press",

number = "2",

}

TY - JOUR

T1 - A FRAMEWORK FOR BUILDING DEPENDABLE SYSTEMS

AU - Burns, A

AU - Lister, A M

PY - 1991/4

Y1 - 1991/4

N2 - 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.

AB - 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.

M3 - Article

SN - 0010-4620

VL - 34

SP - 173

EP - 181

JO - Computer journal

JF - Computer journal

IS - 2

ER -