Research output: Contribution to journal › Article › peer-review
Journal | Computer journal |
---|---|
Date | Published - Apr 1991 |
Issue number | 2 |
Volume | 34 |
Number of pages | 9 |
Pages (from-to) | 173-181 |
Original language | English |
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.
Find related publications, people, projects, datasets and more using interactive charts.