Equipment for testing I&C systems in nuclear power industry using Model Checking methodology.

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23520%2F21%3A43964046" target="_blank" >RIV/49777513:23520/21:43964046 - isvavai.cz</a>
Alternative codes found
RIV/25178636:_____/21:N0000001
Result on the web
<a href="https://www.kky.zcu.cz/cs/sw/JE-TESTER" target="_blank" >https://www.kky.zcu.cz/cs/sw/JE-TESTER</a>
DOI - Digital Object Identifier
—

Result language
čeština
Original language name
Zařízení pro testování systémů I&C v jaderné energetice s využitím metodiky Model Checking.
Original language description
Zařízení na kontrolu I&C JE, tvořené sadou SW a HW nástrojů: 1: Rozšířené postupy metody Model checking, s důrazem na jednoduché využití, pro ověřování algoritmů a generování testovacích scénářů. 2: Tester s definovaným počtem vstupů/výstupů a vnitřní logikou. Scénáře z metody Model checking budou nahrány do testeru pro kontrolu správné funkce zařízení.
Czech name
Zařízení pro testování systémů I&C v jaderné energetice s využitím metodiky Model Checking.
Czech description
Zařízení na kontrolu I&C JE, tvořené sadou SW a HW nástrojů: 1: Rozšířené postupy metody Model checking, s důrazem na jednoduché využití, pro ověřování algoritmů a generování testovacích scénářů. 2: Tester s definovaným počtem vstupů/výstupů a vnitřní logikou. Scénáře z metody Model checking budou nahrány do testeru pro kontrolu správné funkce zařízení.

Project
<a href="/en/project/TK01020068" target="_blank" >TK01020068: Using the Model Checking for testing of I&C systems in nuclear power engineering</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2021
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Internal product ID
TK01020068-V1
Numerical identification
TK01020068-V1
Technical parameters
HW zařízení je 5 rozváděčových skříní, (1 MASTER a 4 SLAVE), s počítačem HMI, PLC pro vyhodnocování signálů a sadou binárních a analogových vstupů a výstupů, (až 800 BO/BI, 240 AO a 104 AI). HW zařízení byl navržen s ohledem na požadavek mobility zařízení. SW zařízení vyhodnocuje stavy vstupů a výstupů a porovnává je s požadovaným stavem. SW Model Checking je určen pro generování testovacích programů pro zařízení, pro testy funkce testované aplikace I&C systému.
Economical parameters
Využití zařízení a metody Model Checking při testování Systémů I&C významně sníží náklady na testování a urychlí a zpřesní testování před uvedením I&C systému do provozu.
Application category by cost
—
Owner IČO
25178636
Owner name
dataPartner s.r.o, ZČU, ŠKODA JS a.s.
Owner country
CZ - CZECH REPUBLIC
Usage type
V - Výsledek je využíván vlastníkem
Licence fee requirement
—
Web page
https://www.kky.zcu.cz/cs/sw/JE-TESTER

Similar results(10)