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%2F25178636%3A_____%2F21%3AN0000001" target="_blank" >RIV/25178636:_____/21:N0000001 - isvavai.cz</a>
Alternative codes found
RIV/49777513:23520/21:43964046
Result on the web
<a href="https://ista.tacr.cz/ISTA/action/PSPO@PSProject@142827557/?actionId=6272453214948942&ts=1650608515215&hash=ASeFXQqkiuioitG3zXHUmjRp+h0BGu6EofxG4Zuz62w=&nbl=true&uselastresult=true&_browserSessionID=&lang=cs-CZ" target="_blank" >https://ista.tacr.cz/ISTA/action/PSPO@PSProject@142827557/?actionId=6272453214948942&ts=1650608515215&hash=ASeFXQqkiuioitG3zXHUmjRp+h0BGu6EofxG4Zuz62w=&nbl=true&uselastresult=true&_browserSessionID=&lang=cs-CZ</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
—

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
Model checking tester
Numerical identification
G - funkční vzorek
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 ,49777513, 25235753
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
N - Poskytovatel licence na výsledek nepožaduje licenční poplatek
Web page
https://ista.tacr.cz/ISTA/action/PSPO@PSProject@142827557/?actionId=6272453214948942&ts=1650608515215&hash=ASeFXQqkiuioitG3zXHUmjRp+h0BGu6EofxG4Zuz62w=&nbl=true&uselastresult=true&_browserSessionID=&lang=cs-CZ

Similar results(10)