- Download CFP Flyer
- CALL FOR PAPERS
- KEYNOTE SPEAKERS
- PAPER SUBMISSION
- KEY DATES
- CONFERENCE VENUE | HOTEL
- ABOUT VIENNA
T1 - Digital Retrofit – Free Tutorial
Conducted by Assoc.-Prof. (FH) DI Dr. techn. Barbara Mayer
IoT, AI, and Predictive Analytics have become State-of-the-Art in the research field of Smart Production. However, focusing advanced modelling and analytics in industry often lack available data and data structures. One main reason are insufficient digital prerequisites of machinery and plants. Legacy systems are in general not IP capable and PLCs are limited in terms of interoperability, such that they can’t communicate and exchange data with other machines or IT-nodes. Additionally, the spectrum of sensors implemented in brownfield plants is most likely insufficient for applications such as condition monitoring. Digital retrofit is a promising approach to raise the digital level of legacy systems by transforming the machine into a cyber physical system. As a result, use case based relevant data can be retrieved and analysed in higher level IT applications in order to run and optimize digital production processes. Thus, digital retrofit is enabler for IoT based processes, AI, and predictive analytics. In this tutorial the basic concepts and applied use cases are introduced and discussed.
T2 - Formal Methods – Free Tutorial
Conducted by Prof. Dr. Vitaliy Mezhuyev
The tutorial will introduce Formal Methods (FMs), which are used for the specification and verification of safety-critical computer systems. Use of FMs allows to verify a computer system before it is actually developed. Therefore, any bugs can be detected at an early stage to reduce the cost of the development. FMs will be introduced in Z, TLA+, and UPPAAL formal notations using appropriate techniques and tools. The tutorial will also discuss important properties of computer systems as real-time, concurrency, safety, liveness, and fairness.
All right reserved. © 2021 European Conference on Communication Systems