The publication Applying Static Code Analysis on Industrial Controller Code, written by Stefan Stattelmann, Sebastian Biallas, Bastian Schlich und Stefan Kowalewski, won the Best WiP Paper Award at the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014). The paper presents the results of our static analysis for industrial PLC programs, which is implemented in the verification-tool Arcade.PLC. The tool is developed by the Chair of Computer Science 11.
The Aachener Zeitung published an article about the eNav navigation system on June, 4th 2014. The article is published in german and describes how eNav works on an example route. We thank the publisher for allowing us to publish the article on our website.