This industrial panel is organized to discuss the views, experiences and opinions of formal methods practitioners from design automation, hardware and software industries, in order to understand the industrial needs and trends in using formal methods. In particular, we discuss the current thrust on application of formal verification in software development, and what hardware formal verification...

The paper deals with problems of safety and security principles within industrial communication systems witch is used in safety critical applications. The summarisation of attacks to industrial automation systems and security issues and recommendations applicable to the industrial networks based on cryptographic techniques is mentioned. The mainly part is oriented to identification of risks and...