ABSTRACT

This chapter presents a multi-perspective approach for the design of interactive safety-critical systems called the "Generic Integrated Modeling Framework" (GIMF). It proposes a multidisciplinary generic integrated modeling framework for the design of safety critical interactive systems. The goal is to propose means that allow people involved in the process to take into account and manage erroneous human and system behavior. The objective of the tools supporting the GIMF is to allow designers to assess the compatibility of the various views and to support the scalability issues raised by real size systems. The chapter examines additional details the set of requirements that user interface tools have to meet to be applicable in the field of safety critical interactive software. The execution of a task model produces a sequence of tasks including interactive tasks. Non-interactive tasks are not related to the system execution as they involve user without interaction with system or system without feedback to the user.