MEFISTO Deliverable 3

All partners
Task models and task-based design

This deliverable describes the work developed in the project concerning the use of task models in supporting the analysis, specification and design of interactive safety-critical applications. It is structured into four sections:

• Section 2 is dedicated to discuss methodological aspects. In particular, we consider moti vation for task modelling and the MECHA framework whose aim is to indicate the main aspects that should be considered in designing this type of applications and in evaluating different design options. We also discuss an approach to support the development of task models from informal material in order to facilitate such a development.
• The next Section is dedicated to show and discuss excerpts extracted from the models that we have developed for the aerodrome case studies (one of the two MEFISTO case studies ) for sake of brevity we do not report all the work developed which is described in detail in [WP3-3].
• Then, we move on how to use information contained in the task model to support the design of the user interface, still considering the aerodrome case st udy. The criteria that have been used can be applied also to other applications that have similar requirements so that they can be considered the core for a set of guidelines to support design of interactive safety-critical applications.
• Finally, we describe how the work for applying formal reasoning to task models specified in ConcurTaskTrees has evolved.

We conclude with some general remarks and indications for future work.

Home    Overview    Contact list    Planning of Work    Documents    Workspace    Related Links    Statistics