1. 1 DESIGN AND IMPLEMENTATION OF FINITE STATE MACHINE FOR RF-POWER STATION. B. P. KOSĘDA, W. CICHALEWSKI

2. 2 FSM’S ROLES Automation of operation Manages many complex hardware and software components during machine operation. Acting as an “expert” makes operators job easier. Performs calculous of several real-time control alghorithms. Automatic klystron linearization. Pulse flatness stabilization. Plant monitoring Helps in error detection and recognition process. Supports automatic recovery from annoying errors like network glitches. B. P. KOSĘDA, W. CICHALEWSKI

3. 3 RF-POWER SUPPLY SUBSYSTEM B. P. KOSĘDA, W. CICHALEWSKI

4. 4 FSM DEFINITION Representation of an event-driven ( reactive ) system. In a such solution, the system makes a transition from one state (mode) to another prescribed state, provided that the condition defining the change is true. B. P. KOSĘDA, W. CICHALEWSKI

5. 5 PART OF A BIGGER STRUCTURE B. P. KOSĘDA, W. CICHALEWSKI

6. 6 COMMUNICATION WITH THE HARDWARE B. P. KOSĘDA, W. CICHALEWSKI

7. 7 REQIREMENTS ANALYSIS AND SIGNAL I/O INVESTIGATION

8. 8 IMPLEMENTATION OF A MODEL B. P. KOSĘDA, W. CICHALEWSKI

9. 9 PARALLEL STRUCTURE

10. 10 COHESION CONDITIONS B. P. KOSĘDA, W. CICHALEWSKI

11. 11 COHESION CHECKING B. P. KOSĘDA, W. CICHALEWSKI

12. 12 TEST OF THE MODEL IN BATTLEFIELD B. P. KOSĘDA, W. CICHALEWSKI

13. 13 FINAL IMPLEMENTATION B. P. KOSĘDA, W. CICHALEWSKI

14. 14 IN PROGRESS Long time tests Implementation of user interface Formal verification B. P. KOSĘDA, W. CICHALEWSKI

15. 15 THE END Thank You for your attention. B. P. KOSĘDA, W. CICHALEWSKI