DESIGN AND IMPLEMENTATION OF FINITE STATE MACHINE FOR RFPOWER STATION'

1
DESIGN AND IMPLEMENTATION OF FINITE STATE
MACHINEFOR RF-POWER STATION.
2
FSMS 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.

3
RF-POWER SUPPLY SUBSYSTEM
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.

5
PART OF A BIGGER STRUCTURE
6
COMMUNICATION WITH THE HARDWARE
7
REQIREMENTS ANALYSIS AND SIGNAL I/O INVESTIGATION
8
IMPLEMENTATION OF A MODEL
9
PARALLEL STRUCTURE
10
COHESION CONDITIONS
11
COHESION CHECKING
12
TEST OF THE MODEL IN BATTLEFIELD
13
FINAL IMPLEMENTATION
14
IN PROGRESS

• Long time tests
• Implementation of user interface
• Formal verification

15
THE END

• Thank You for your attention.