From 25.11. - 27.11., the Embedded Software Laboratory presents recent research results in the area of PLC control and analysis at the SPS IPC Drives in Nuremberg: RTAndroid and Twistturn allow for using standard tablet hardware for complex control tasks in real time. Arcade.PLC can analyse and verify PLC programs. In addition, it can detect typical programming errors automatically. Visit us at stand 119 in hall 6.
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.