1 design and implementation of finite state machine for rf-power station. b. p. kosĘda, w....
TRANSCRIPT
![Page 1: 1 DESIGN AND IMPLEMENTATION OF FINITE STATE MACHINE FOR RF-POWER STATION. B. P. KOSĘDA, W. CICHALEWSKI](https://reader036.vdocuments.site/reader036/viewer/2022081603/5697c0291a28abf838cd7473/html5/thumbnails/1.jpg)
1
DESIGN AND IMPLEMENTATION OF FINITE STATE MACHINE
FOR RF-POWER STATION.
B. P. KOSĘDA, W. CICHALEWSKI
![Page 2: 1 DESIGN AND IMPLEMENTATION OF FINITE STATE MACHINE FOR RF-POWER STATION. B. P. KOSĘDA, W. CICHALEWSKI](https://reader036.vdocuments.site/reader036/viewer/2022081603/5697c0291a28abf838cd7473/html5/thumbnails/2.jpg)
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
![Page 3: 1 DESIGN AND IMPLEMENTATION OF FINITE STATE MACHINE FOR RF-POWER STATION. B. P. KOSĘDA, W. CICHALEWSKI](https://reader036.vdocuments.site/reader036/viewer/2022081603/5697c0291a28abf838cd7473/html5/thumbnails/3.jpg)
3
RF-POWER SUPPLY SUBSYSTEM
B. P. KOSĘDA, W. CICHALEWSKI
![Page 4: 1 DESIGN AND IMPLEMENTATION OF FINITE STATE MACHINE FOR RF-POWER STATION. B. P. KOSĘDA, W. CICHALEWSKI](https://reader036.vdocuments.site/reader036/viewer/2022081603/5697c0291a28abf838cd7473/html5/thumbnails/4.jpg)
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
![Page 5: 1 DESIGN AND IMPLEMENTATION OF FINITE STATE MACHINE FOR RF-POWER STATION. B. P. KOSĘDA, W. CICHALEWSKI](https://reader036.vdocuments.site/reader036/viewer/2022081603/5697c0291a28abf838cd7473/html5/thumbnails/5.jpg)
5
PART OF A BIGGER STRUCTURE
B. P. KOSĘDA, W. CICHALEWSKI
![Page 6: 1 DESIGN AND IMPLEMENTATION OF FINITE STATE MACHINE FOR RF-POWER STATION. B. P. KOSĘDA, W. CICHALEWSKI](https://reader036.vdocuments.site/reader036/viewer/2022081603/5697c0291a28abf838cd7473/html5/thumbnails/6.jpg)
6
COMMUNICATION WITH THE HARDWARE
B. P. KOSĘDA, W. CICHALEWSKI
![Page 7: 1 DESIGN AND IMPLEMENTATION OF FINITE STATE MACHINE FOR RF-POWER STATION. B. P. KOSĘDA, W. CICHALEWSKI](https://reader036.vdocuments.site/reader036/viewer/2022081603/5697c0291a28abf838cd7473/html5/thumbnails/7.jpg)
7
B. P. KOSĘDA, W. CICHALEWSKI
REQIREMENTS ANALYSIS AND SIGNAL I/O INVESTIGATION
![Page 8: 1 DESIGN AND IMPLEMENTATION OF FINITE STATE MACHINE FOR RF-POWER STATION. B. P. KOSĘDA, W. CICHALEWSKI](https://reader036.vdocuments.site/reader036/viewer/2022081603/5697c0291a28abf838cd7473/html5/thumbnails/8.jpg)
8
IMPLEMENTATION OF A MODEL
B. P. KOSĘDA, W. CICHALEWSKI
![Page 9: 1 DESIGN AND IMPLEMENTATION OF FINITE STATE MACHINE FOR RF-POWER STATION. B. P. KOSĘDA, W. CICHALEWSKI](https://reader036.vdocuments.site/reader036/viewer/2022081603/5697c0291a28abf838cd7473/html5/thumbnails/9.jpg)
9
B. P. KOSĘDA, W. CICHALEWSKIB. P. KOSĘDA, W. CICHALEWSKI
PARALLEL STRUCTURE
![Page 10: 1 DESIGN AND IMPLEMENTATION OF FINITE STATE MACHINE FOR RF-POWER STATION. B. P. KOSĘDA, W. CICHALEWSKI](https://reader036.vdocuments.site/reader036/viewer/2022081603/5697c0291a28abf838cd7473/html5/thumbnails/10.jpg)
10
COHESION CONDITIONS
B. P. KOSĘDA, W. CICHALEWSKI
![Page 11: 1 DESIGN AND IMPLEMENTATION OF FINITE STATE MACHINE FOR RF-POWER STATION. B. P. KOSĘDA, W. CICHALEWSKI](https://reader036.vdocuments.site/reader036/viewer/2022081603/5697c0291a28abf838cd7473/html5/thumbnails/11.jpg)
11
COHESION CHECKING
B. P. KOSĘDA, W. CICHALEWSKI
![Page 12: 1 DESIGN AND IMPLEMENTATION OF FINITE STATE MACHINE FOR RF-POWER STATION. B. P. KOSĘDA, W. CICHALEWSKI](https://reader036.vdocuments.site/reader036/viewer/2022081603/5697c0291a28abf838cd7473/html5/thumbnails/12.jpg)
12
TEST OF THE MODEL IN BATTLEFIELD
B. P. KOSĘDA, W. CICHALEWSKI
Matlab's functions invocation
FSM control andvisualization
Doocs invocations
![Page 13: 1 DESIGN AND IMPLEMENTATION OF FINITE STATE MACHINE FOR RF-POWER STATION. B. P. KOSĘDA, W. CICHALEWSKI](https://reader036.vdocuments.site/reader036/viewer/2022081603/5697c0291a28abf838cd7473/html5/thumbnails/13.jpg)
13
FINAL IMPLEMENTATION
B. P. KOSĘDA, W. CICHALEWSKI
GeneratedHard coded
Copied by script
From CVS
![Page 14: 1 DESIGN AND IMPLEMENTATION OF FINITE STATE MACHINE FOR RF-POWER STATION. B. P. KOSĘDA, W. CICHALEWSKI](https://reader036.vdocuments.site/reader036/viewer/2022081603/5697c0291a28abf838cd7473/html5/thumbnails/14.jpg)
14
IN PROGRESS
• Long time tests
• Implementation of user interface
• Formal verification
B. P. KOSĘDA, W. CICHALEWSKI
![Page 15: 1 DESIGN AND IMPLEMENTATION OF FINITE STATE MACHINE FOR RF-POWER STATION. B. P. KOSĘDA, W. CICHALEWSKI](https://reader036.vdocuments.site/reader036/viewer/2022081603/5697c0291a28abf838cd7473/html5/thumbnails/15.jpg)
15
THE END
Thank You for your attention.
B. P. KOSĘDA, W. CICHALEWSKI