A Classification of PLC Models and Applications

1. A Classification of PLC Modelsand Applications

2. The Current Situation

3. The Current Situation

4. The Current Situation

5. The Current Situation

6. The Current Situation

7. The Current Situation

8. Goals understanding existing models finding new, useful models methodology for verification:

9. Overview PLCs: short introduction classification criteria and examples conclusions and future work

10. Programmable Logic ControllersArchitecture

11. Programmable Logic ControllersArchitecture

12. Programmable Logic ControllersArchitecture

13. Programmable Logic ControllersOperation Mode

14. Overview PLCs: short introduction classification criteria and examples conclusions and future work

15. PLC Models:Classification Criteria Modeling of the Scan Cycles Use of Timers Language Fragments

16. PLC Models:Classification Criteria Modeling of the Scan Cycles Use of Timers Language Fragments

17. Modeling of the Scan Cycles

18. No Scan Cycle

19. Explicit Scan Cycles

20. Modeling of the Scan Cycles

21. Implicit Scan Cycles

22. Modeling of the Scan Cycles

23. Abstracting from Scan Cycles

24. Abstracting from Scan Cycles

25. PLC Models: Classification Criteria Modeling of the Scan Cycles Use of Timers Language Fragments

26. Use of Timers

27. Use of Timers

28. PLC Models: Classification Criteria Modeling of the Scan Cycles Use of Timers Language Fragments

29. Language Fragments

30. Language Fragments

31. Booleans and Integers vs Reals

32. Language Fragments

33. Language Fragments of IEC 1131-3

34. Feature Fragments

35. Conclusions Criteria help to understand PLC models Criteria help to ask questions about applications => categorization Helps in finding the most efficient models Possibly: different models at different levels of abstraction

36. Future Work Categorization of existing work (matrix) More useful criteria by case studies Identify missing models (useful ones) Tools (integration & new ones)

37. The need for formal methods