Improving Dependability of Automation for Free Electron Laser FLASH

• Autorzy: Kosęda B. , Szmuc T. , Cichalewski W.
• Języki publikacji: EN

Abstrakty

EN

Free-electron laser FLASH (260-meter-long machine) is a pilot facility for the forthcoming XFEL (3 km). Along with growth of the experiment, service and maintenance are becoming so complex that certain degree of automation seems to be inevitable. The main purpose of the automation software is to facilitate operators with computer-aided supervision of several hardware/software subsystems. The efforts presented in this contribution concern elaboration of general framework for designing and development of automation software for the FLASH. The toolkit facilitates specification, implementation, testing and formal verification. The ultimate goal of the framework is to systematize the way of automation software development and to improve its dependability. At present usefulness of the tools is being evaluated by testing the automation software for single RF-power station of the FLASH.

Słowa kluczowe

EN

automation; formal methods; model checking; expert system; Prolog; flash

• Wydawca: Łukasiewicz Industrial Research Institute for Automation and Measurements PIAP
• Czasopismo: Journal of Automation Mobile Robotics and Intelligent Systems
• Rocznik: 2009
• Tom: Vol. 3, No. 1
• Strony: 33--39
• Opis fizyczny: Bibliogr. 15 poz., rys.

Twórcy

autor

Kosęda B.

autor

Szmuc T.

autor

Cichalewski W.

• Technical University of Lodz, Department of Microelectronics and Computer Science, Al. Politechniki 11, 90-924 Łódź, Poland.

Bibliografia

• [1] Aghababyan A., Altarelli M., et al. XFEL The European X-Ray Free-Electron Laser Technical Design Report, ISBN 3-935702-17-5, 2006.
• [2] Hensler O., Rehlich K., “DOOCS: a Distributed Object Oriented Control System”. In:Proceedings of XV Workshop on Charged Particle Accelerators , Protvino, 1996.
• [3] Ayvazyan V., Rehlich K., Simrock S., Sturm N., “Finite State Machine Implementation to Automate RF Operation at the TESLA Test Facility”. In: Proceedings of the Particle Accelerator Conference , Chicago, 2001.
• [4] Kosęda B., Cichalewski W., “Design and Implementation of Finite State Machine for RF Power Station”. In: Proceedings of the 12 International Conference Mixed Design of Integrated Circuits and Systems, Kraków, Poland, 2005.
• [5] Kosęda B., Cichalewski W., “Improvements of Expert System for RF-Power Stations”. In: Proceedings of the 13 International Conference Mixed Design of Integrated Circuits and Systems, Gdynia, Poland, 2006.
• [6] Brandt A., Cichalewski W., Koseda B., Simrock S., “Automation of low level RF control operation for the VUV-FEL at DESY and future accelerators”. In: Proceedings of SPIE, Photonics Applications in Industry and Research, IV 5948, 2005.
• [7] Wagner F., Modeling Software with Finite State Machines: A Practical Approach, ISBN 0-8493-8086-3, 2006.
• [8] MathWorks, Inc., .Stateflow and Stateflow Coder User's Guide
• [9] Cimatti A., Clarke E., , “NuSMV 2: An OpenSource Tool for Symbolic Model Checking”. In: Proceeding of International Conference on Computer-Aided Verification, Copenhagen, Denmark 2002.
• [10] Huth M., Ryan M., Logic in computer science, Modelling and Reasoning about Systems, ISBN 0-521-54310-X, 2004.
• [11] Holzmann G., SPIN Model Checker, The: Primer and Reference Manual, ISBN: 0-321-22862-6, 2004.
• [12] Wielemaker J., SWI-Prolog 5.6 Reference Manual. Available at: http://gollem.science.uva.nl/SWI-Prolog/Manual/.
• [13] Free On-Line Dictionary of Computing. Available at: http://foldoc.org/.
• [14] Harel D., Statecharts: A Visual Formalism for Complex Systems Science of Computer Programming, vol. 8, 1987, pp. 231-274.
• [15] Storey N., Safety Critical Computer Systems, Addison Wesley, ISBN 0-201-42787-7, 1996.