Nowadays, there are a variety of embedded systems are increasingly networking and question their safety against attacks (security) is still so topical. It turns out however, that the interaction between the mechanisms measures "safety" and "security" are not fully understood and is often not clear which mechanism is to have priority in a given situation and the like. Solutions offered SESAMO project is to define a uniform methodology for assessing the issues of "safety" and "security" in the development of embedded systems in various application areas (aerospace, ground transportation, energy, etc.).
Our group focuses on cooperation with companies in the automotive industry, we are helping to improve security control software for cars. We develop techniques for detecting errors in the software or security for communication between control units in the car.