Dr. Nils Müllner

Projects: -VVM: Developing a methodological approach for the safety proof of highly autonomous vehicles (SAE-Level 4/5) for the homologation in an urban environment -SetLevel4to5: Simulative development and testing of level 4 and 5 systems

I work at the TOCSYC project (www.tocsyc.se) and on the SafeCOP project (www.safecop.eu). Furthermore I teach Databases and Project Embedded Systems.

In the project Critical Systems Engineering I worked with Prof. Dr. Martin Fränzle and PD Dr. Sibylle Fröschle on determining the safety impact of security. We employed formal methods and simulation to evaluate and quantify safety goals probabilistically under various security settings.

My PhD thesis discusses fault tolerance in distributed systems. It contributes to the state of the art by providing a sound terminology and taxonomy. Furthermore, it exploits popular methods from model checking and further extends them for structured systems. I submitted my thesis in september 2013 and am waiting for my defense.

I developed novel methods in the context of autonomous verification and analysis of complex systems. I worked in sub-project H4 and S3.