1

DESIGN AND IMPLEMENTATION OF FINITE STATE MACHINE

FOR RF-POWER STATION.

B. P. KOSĘDA, W. CICHALEWSKI

2

FSM’S ROLES

• Automation of operationManages 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 monitoringHelps in error detection and recognition process.

Supports automatic recovery from annoying errors like network glitches.

B. P. KOSĘDA, W. CICHALEWSKI

3

RF-POWER SUPPLY SUBSYSTEM

B. P. KOSĘDA, W. CICHALEWSKI

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

PART OF A BIGGER STRUCTURE

B. P. KOSĘDA, W. CICHALEWSKI

6

COMMUNICATION WITH THE HARDWARE

B. P. KOSĘDA, W. CICHALEWSKI

7

B. P. KOSĘDA, W. CICHALEWSKI

REQIREMENTS ANALYSIS AND SIGNAL I/O INVESTIGATION

8

IMPLEMENTATION OF A MODEL

B. P. KOSĘDA, W. CICHALEWSKI

9

B. P. KOSĘDA, W. CICHALEWSKIB. P. KOSĘDA, W. CICHALEWSKI

PARALLEL STRUCTURE

10

COHESION CONDITIONS

B. P. KOSĘDA, W. CICHALEWSKI

11

COHESION CHECKING

B. P. KOSĘDA, W. CICHALEWSKI

12

TEST OF THE MODEL IN BATTLEFIELD

B. P. KOSĘDA, W. CICHALEWSKI

Matlab's functions invocation

FSM control andvisualization

Doocs invocations

13

FINAL IMPLEMENTATION

B. P. KOSĘDA, W. CICHALEWSKI

GeneratedHard coded

Copied by script

From CVS

14

IN PROGRESS

• Long time tests

• Implementation of user interface

• Formal verification

B. P. KOSĘDA, W. CICHALEWSKI

15

THE END

Thank You for your attention.

B. P. KOSĘDA, W. CICHALEWSKI