HoliDes addresses development and qualification of Adaptive Cooperative Human-Machine Sys-tems (AdCoS) where many humans and many machines act together, cooperatively, in a highly adaptive way. They adapt to each other and to the context to guarantee fluent and cooperative task achievement. Such systems with higher levels of automation are urgently needed to enhance safety and to increase the confidence of human operators. However, adaptiveness in Cooperative Human-Machine Systems on the Health, Aeronautics, Control Rooms and Automotive market is still sadly limited. The development and especially the qualification and certification of AdCoS in-volving several interactive Embedded Systems are not yet well-mastered in industrial develop-ment. The lack of adequate means of compliance with human factors and safety regulations may force the designers to simplify systems in order to make them certifiable. This clearly compromises the huge potential AdCoS could have on increasing overall safety. In order to unleash this potential HoliDes will research affordable means of compliance which enable to formalize adaptation strategies on global many humans - many machines levels and local HMI levels in a coordinated way. This will be achieved by developing techniques & tools on 5 research dimensions: (1) automated AdCoS re-configuration based on e.g. real-time predictive human models; (2) holistic formal (human & machine) modelling and accelerated analysis; (3) new empirical task, exploration and validation analyses of AdCoS; (4) a formalized synergetic empirical and model-based methodology; (5) integration of all techniques & tools in a Human Factors Reference Technology Platform (HF-RTP) to foster interoperability and to support human factors along the whole engineering life-cycle. The HF-RTP will be closely connected to the technically oriented CESAR RTP to enable holistic development & qualification from both perspectives human factors and technical systems design.APPROVED BY ECSEL-JU 12/09/2016