In AutoMate, Offis is mainly active in the research and development of driver modelling and in the research and development for online risk assessment; indeed, Offis has been working on safety and risk assessment for more than 20 years using model checking techniques. Offis will extend its techniques to be used online in a car for computing safety-corridors. Offis will contribute to the integration of their TeamMate technologies and the subsequent test and evaluations.