𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A tool-supported design framework for safety critical interactive systems

✍ Scribed by Rémi Bastide; David Navarre; Philippe Palanque

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
779 KB
Volume
15
Category
Article
ISSN
0953-5438

No coin nor oath required. For personal study only.

✦ Synopsis

This paper presents a design framework for safety critical interactive systems, based on a formal description technique called the ICO (Interactive Cooperative Object) formalism. ICO allows for describing, in a formal way, all the components of highly interactive (also called post-WIMP) applications. The framework is supported by a case tool called PetShop allowing for editing, verifying and executing the formal models. The first section describes why such user interfaces are challenging for most description techniques, as well as the state of the art in this field. Section 3 presents a development process dedicated to the framework. Then, we use a case study in order to recall the basic concepts of the ICO formalism and the recent extensions added in order to take into account post-WIMP interfaces' specificities. Section 5 presents the case tool PetShop and how the case study presented in the previous section has been dealt with. Lastly, we show how PetShop can be used for interactive prototyping.

📜 SIMILAR VOLUMES

A probabilistic logic for the developmen
A probabilistic logic for the development of safety-critical, interactive systems
✍ C.W. Johnson 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 704 KB

This paper starts from the premise that the human contribution to risk must be assessed during the development of safety-critical systems. In contrast to previous approaches, discrete numerical values are rejected as means of quantifying the probability of operator "error" for many different users o