Portal de Periódicos da CAPES

A Framework for Building Dependable Systems

1991; Oxford University Press; Volume: 34; Issue: 2 Linguagem: Inglês

10.1093/comjnl/34.2.173

1460-2067

Alan Burns, A. M. Lister,

Petri Nets in System Modeling

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