Interactive System Safety and Usability enforced with the development process

Abstract. This paper introduces a new technique for the verification of both safety and usability requirements for safety-critical interactive systems. This technique uses the model-oriented formal method B and makes use of an hybrid version of the MVC and PAC software architecture models. Our claim is that this technique –that uses proofs obligations – can ensure both usability and safety requirements, from the specification step of the development process, to the implementation. This technique is illustrated by a case study: a simplified user interface for a Full Authority Digital Engine Control (FADEC) of a single turbojet engine aircraft. 1

Formally Expressing the Users' Objects World in Task Models

While past research presents objects as essential entities in task modeling, they are in fact rarely used. In the first tool that truly considered objects, K-MADe, two main reasons may explain this limited use: an incomplete module of object description (in the tool, the expression coverage of the object concept is not wide enough) and the usability problems of K-MADe's specific interface. This paper presents a study on the object expression coverage. From case studies, we identify limitations and we infer modification on the K-MADe object entity definitions. These modifications aim to increase the expressive power of objects.Anglai

Proposition of Ergonomic Guidelines to Improve Usability of PLM Systems Interfaces

Part 10: PLM Virtual and Simulation EnvironmentsInternational audienceEvolutions of PLM systems are mainly directed towards the integration of more lifecycles stages to offer more PLM functions and information systems. At first, PLM were developed and intended only for engineers in detailed design phases. As engineers are familiar with complex and sparse interfaces, PLM software are not really ergonomic. The emerging problem in the past few years is the lack of evolution of PLM software, decreasing significantly its efficiency and utilization. But now, PLM integrate entire lifecycle of the product, so interfaces should be readjusted so that every actor, other than engineers, can easily use it.In this paper, we assume that simplify and dynamize PLM software interfaces, by meeting usability features and user experience, make the system more interactive and coherent. In a first time, two states of art are realized. The first is about PLM evolution and web interfaces, the second about user experience and usability. A combination between agile method and user-centred design method are applied to these states of art in order to generate PLM software prototypes. Finally, user tests will be conducted on these prototypes in an incrementally and iterative way to correct and to validate them. The final target is to propose some ergonomic guidelines in order to create a generic interface adapted to several kinds of PLM software