Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: laser na elektronach swobodnych FLASH

Sortuj według:

Ogranicz wyniki do:

Analysis and design of correct real-time safety-critical software

Kosęda B.

Zeszyty Naukowe. Elektryka / Politechnika Łódzka

2008

z. 115

59-67

High-energy physics experiments rely on large hardware installations. As these machines become more and more advanced, their maintenance becomes a complex task. The free-electron laser FLASH is not an exception. It is designed for delivering a high quality laser beam to scientific experiments round the clock. Each machine standstill costs extra money. Therefore, the maximization of its uptime plays an important role. Automation software is a means for improving machine availability. One expects to improve the machine uptime by automating routine tasks performed by the operators and by providing auto-recovery supervision software. The efforts presented in this contribution concern the elaboration of a general framework for the design and development of safe and predictable automation software. Devised tools and design methods are evaluated during the implementation of the automation software for a single RF-power station of the FLASH.

Eksperymenty fizyki wysokich energii są możliwe dzięki zastosowaniu skomplikowanych instalacji eksperymentalnych. Z roku na rok urządzenia te stają się coraz bardziej skomplikowane a ich obsługa oraz serwisowanie staje się coraz bardziej złożona. Laser na elektronach swobodnych FLASH nie jest wyjątkiem. Jest to skomplikowane 260-metrowe urządzenie wykorzystujące najnowsze rozwiązania technologiczne. Laser ten produkuje wysokiej jakości wiązkę laserową. Ponieważ FLASH jest projektem komercyjnym, każdy zastój urządzenia wiąże się ze stratami finansowymi, Zadaniem oprogramowania nadzorującego pracę podsystemów akceleratora jest wydłużenie czasu jego poprawnej pracy. Zakłada się, że ten cel może być osiągnięty za pomocą automatyzacji rutynowych zadań wykonywanych przez operatorów oraz opracowania oprogramowania usuwającego symptomy drobnych awarii. Zagadnienia poruszane w artykule dotyczą opracowania metodyki i zestawu narzędzi do projektowania i implementacji oprogramowania automatyzującego. Prezentowane podejście i narzędzia omawiane są w kontekście systemu automatyzacji pojedynczej stacji zasilania lasera FLASH.