Zařízení pro testování systémů I&C v jaderné energetice s využitím metodiky Model Checking.

Kód výsledku v 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>
Nalezeny alternativní kódy
RIV/49777513:23520/21:43964046
Výsledek na webu
<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
—

Jazyk výsledku
čeština
Název v původním jazyce
Zařízení pro testování systémů I&C v jaderné energetice s využitím metodiky Model Checking.
Popis výsledku v původním jazyce
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í.
Název v anglickém jazyce
Equipment for testing I&C systems in nuclear power industry using Model Checking methodology.
Popis výsledku anglicky
I&C NPP control equipment, consisting of a set of SW and HW tools: 1: Advanced Model checking techniques, with emphasis on simplicity of use, for algorithm verification and test scenario generation. 2: Tester with defined number of inputs/outputs and internal logic. Scenarios from the model checking method will be uploaded to the tester to check the correct operation of the device.

Projekt
<a href="/cs/project/TK01020068" target="_blank" >TK01020068: Využití metodiky Model checking pro testování systémů I&C v jaderné energetice</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2021
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Interní identifikační kód produktu
Model checking tester
Číselná identifikace
G - funkční vzorek
Technické parametry
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.
Ekonomické parametry
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.
Kategorie aplik. výsledku dle nákladů
—
IČO vlastníka výsledku
25178636 ,49777513, 25235753
Název vlastníka
dataPartner s.r.o, ZČU, ŠKODA JS a.s.
Stát vlastníka
CZ - Česká republika
Druh možnosti využití
V - Výsledek je využíván vlastníkem
Požadavek na licenční poplatek
N - Poskytovatel licence na výsledek nepožaduje licenční poplatek
Adresa www stránky s výsledkem
https://ista.tacr.cz/ISTA/action/PSPO@PSProject@142827557/?actionId=6272453214948942&ts=1650608515215&hash=ASeFXQqkiuioitG3zXHUmjRp+h0BGu6EofxG4Zuz62w=&nbl=true&uselastresult=true&_browserSessionID=&lang=cs-CZ

Podobné výsledky(10)