11:00 – 11:40 and 15:15 – 15:55 (subject to change)
Complexity is a reality of life and became one of the dominant challenges in embedded software and systems engineering. Cybersecurity plays an evenly important role for connected devices. How can we as engineering companies improve our ability to deal with embedded software system complexity and perform increasingly challenging tasks given the cybersecurity threats that attackers impose? This talk discusses the advantages that various companies are capitalizing by adopting new ways for the development and verification of safety, security or mission-critical complex systems – using model-based development and verification with formal methods.
Christian Guss holds a degree in mechatronic engineering from Ilmenau University of Technology. He worked as a consultant for the engineering service provider Zühlke to support companies from different industries in improving their development processes, from requirements engineering to the verification and validation of embedded systems. At Mathworks he’s an application engineer and as a verification and validation specialist he supports customers across Europe in implementing model-based design.