advertisement
advertisement
HANNOVER MESSE 2019, 01 - 05 April
Homepage>Conference program >Safety Verification is an Innovation Enabler

Safety Verification is an Innovation Enabler

Location & Language

Hall 2, Stand C07

Language

English

Event Details

Type of event

Lecture

Topic

Artificial Intelligence, Digital Factory, Industrie 4.0

Event Host

Registration

Description

What is presented? 

We live in a smart, complex, and innovative world. Autonomous driving, industry 4.0, and digital medicine require the highest safety standards. We present a new technology to detect errors in complex parallel software with an unprecedented precision. 

What is special? 

The G2 technology allows for a more precise analysis of software on a larger scale. Our algorithms raise data dependency analysis to a new level. 

What are the potentials? 

The G2 technology allows us to detect errors, which can not be detected by testing alone. We make deep code analysis available to a broad application field. This will enable complex innovations on a high safety level at feasible costs. 

Speaker

 Prof. Dr. Dirk Nowotka

Prof. Dr. Dirk Nowotka

Christian-Albrechts-Universität zu Kiel

Dr. Dirk Nowotka leads the Dependable Systems group of the Computer Science department at Kiel University, Germany. Prior to joining Kiel as a Heisenberg-Professor in 2011, he was a research scientist ...

Go to profile

Stored items

0

advertisement
Server communication error: Item could not be saved.