D.02.07. Modelling Techniques and Tools Vs2.0 incl. Handbooks

HoliDes addresses the design and the development of Adaptive Cooperative Systems (AdCoS). These systems are adapting to the cognitive abilities of the human operator(s) and facilitate cooperation between humans and machines with the goal to enhance safety, to reduce the human error risk, and to better support human operators facing too complex or critical situations.
The development of an interactive system is a complex problem, which is continuously growing with the evolving technology, i.e. growing cooperation between actors in distributed locations, or future application of adaptive systems. Further, the more the “intelligence” of the assistive systems increases regarding their adaptive abilities and a certain autonomy in decision making and actions implementation, the more complex is their technical verification and validation, and the more human-machine cooperation issues have to be carefully considered. Thus, a good Human Factors Design is essential to provide safety in these complex systems, especially concerning the human-machine interaction.
To better support the development of such AdCoS, which are able to harmoniously cooperate with humans and to adjust their assistance in accordance with the context of use, a Human Centred Design approach is crucial. The core objective is to guaranty safety in these complex systems, especially concerning the human-machine interaction, by considering both their technical efficiency (i.e. is the AdCoS able to efficiently perform the task it is in charge to implement or to support?) and their effectiveness, which is more related to end users’ needs and expectations (i.e. how useful and adequate is the AdCoS regarding the task humans have to performed and the situational constraints they have to respect?).
To facilitate the development of Adaptive and Cooperative Systems, WP2 provides formal modelling languages, techniques and tools that support the modelling of AdCoS used in WP6-9.