Test and verification of EDF's new software for the preparation of system reliability models : verification of its functionalities, development of user guide, and advanced upgrade of user interface

Amachree, Alexis Soton (avtor), Vihavainen, Juhani (mentor), Draksler, Martin (komentor)

Several shortcomings encountered while performing probabilistic safety analysis with EDF’s developed MBSA tool ‘KB3’ prompted the need for the development of a new software called Confluent. This software would automate the direct retrieval of NPP schematics from the PID thereby saving time and avoiding possible human errors from manual copying. The recently developed tool works using the approach of directly importing CAD data automatically to KB3 while describing the objects with a library containing the knowledge of the MBSA database. However, as a newly developed tool, the verification of its advanced functionalities, upgrade of its user interface, and development of the user guide are yet to be defined. In view of its deployment by 2025, these functions are envisioned. The thesis delves into the work done to establish Confluent as a user-friendly, easy, and simplified software for the safety analysts at EDF. It begins with the full comprehension of the difficulties of modelling with KB3, then several test activities are carried out to identify the possible technical limitations and finally, probabilistic risk analysis is carried out to test real-life uses of the software. The results section gives the conclusion gotten from the testing stages and the recommendations which are all delivered for further analysis in the Design Thinking Conference organised by EDF.

• Jezik: Angleški jezik
• Ključne besede: software, user interface, probabilistic safety analysis, EDF
• Vrsta gradiva: Magistrsko delo/naloga
• Tipologija: 2.09 - Magistrsko delo
• Organizacija: FMF - Fakulteta za matematiko in fiziko
• Status publikacije: Objavljeno
• Kraj izida: Lappeenranta
• Založnik: A. S. Amachree
• Leto izida: 2024
• Št. strani: 1 spletni vir (1 datoteka PDF (70 str.))
• PID: 20.500.12556/RUL-166322
• UDK: 004
• COBISS.SI-ID: 211934211
• Datum objave v RUL: 07.01.2025

Sekundarni jezik

• Jezik: Slovenski jezik
• Naslov: Testiranje in verifikacija nove programske opreme EDF za pripravo modelov zanesljivosti sistema : napredna uporaba, preverjanje funkcionalnosti, razvoj uporabniškega priročnika

Izvleček

Tekom izvajanja verjetnostnih varnostnih analiz z EDF-jevim orodjem MBSA "KB3" se je izkazala potreba po avtomatizaciji pridobivanja shem sistemov in komponent elektrarne iz PID načrtov objekta, s čimer prihranimo čas in se izognemo morebitnim človeškim napakam pri ročnem kopiranju. Z nedavno razvitim orodjem Confluent lahko neposredno uvozimo podatke CAD v orodje KB3, opis objektov elektrarne pa je podan v dodatni knjižnjici programa. Pred predajo programa končnim uporabnikom, ki je predvidena 2025, je potrebno izvesti še dodatna preverjanja naprednih funkcionalnosti programa, izvesti nadgradnjo uporabniškega vmesnika ter pripraviti uporabniški priročnik. Cilj magistrske naloge je predstavitev orodja Confluent kot uporabniku prijaznega, enostavnega in učinkovitega orodja pri izvajanju varnostnih analiz. V delu so predstavljeni izzivi pri modeliranju z orodjem KB3, nato izvedena testiranja orodja Confluent za ugotavljanje morebitnih tehničnih omejitev, in na koncu izveden konkreten uvoz sistema oz. komponent elektrarne za pripravo vhodnega modela verjetnostne varnostne analize, s čimer je opravljen preizkus uporabe programske opreme v praksi. Razdelek z rezultati vsebuje ugotovitve, zaključke ter priporočila, ki so bili pridobljeni tekom testiranja, na osnovi katerih bodo razvijalci opreme opravili nadgradnjo programa oz. uvedli izboljšave.

• Ključne besede: uporabniški vmesnik, programska oprema, verjetnostne varnostne analize, EDF