Workplace for automatic verification of production line
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F02673975%3A_____%2F18%3AN0000001" target="_blank" >RIV/02673975:_____/18:N0000001 - isvavai.cz</a>
Alternative codes found
RIV/02673975:_____/18:N0000004
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
Pracoviště pro automatickou verifikaci linky
Original language description
Pracoviště pro automatickou verifikaci linky představuje sestavu pro virtuální zprovoznění, zpracování formálních modelů linky, automatickou analýzu kódu PLC programu založenou na hledání závislostí proměnných v kódu a měřením pokrytí jednotlivých elementů v kódu na základě dodaných testovacích scénářů. Pracoviště je propojeno na webový portál určený pro editaci a správu testů a jejich výsledků. Analýza kódu PLC programu je založena na práci s průmyslovým inženýrským nástrojem TIA Portal, z nějž je díky rozšíření TIA Openness možné exportovat kód ve formátu XML. Námi vyvinutý nástroj tento kód interpretuje, což je rovněž významným rozšířením výsledku, se kterým se v návrhu projektu úplně nepočítalo. Základní technické parametry - Sestava pro virtuální zprovoznění obsahuje Simulation Unit a PLC Simatic S7-1500 - PC pro náročné výpočty obsahuje TIA Portal a TIA Openness
Czech name
Pracoviště pro automatickou verifikaci linky
Czech description
Pracoviště pro automatickou verifikaci linky představuje sestavu pro virtuální zprovoznění, zpracování formálních modelů linky, automatickou analýzu kódu PLC programu založenou na hledání závislostí proměnných v kódu a měřením pokrytí jednotlivých elementů v kódu na základě dodaných testovacích scénářů. Pracoviště je propojeno na webový portál určený pro editaci a správu testů a jejich výsledků. Analýza kódu PLC programu je založena na práci s průmyslovým inženýrským nástrojem TIA Portal, z nějž je díky rozšíření TIA Openness možné exportovat kód ve formátu XML. Námi vyvinutý nástroj tento kód interpretuje, což je rovněž významným rozšířením výsledku, se kterým se v návrhu projektu úplně nepočítalo. Základní technické parametry - Sestava pro virtuální zprovoznění obsahuje Simulation Unit a PLC Simatic S7-1500 - PC pro náročné výpočty obsahuje TIA Portal a TIA Openness
Classification
Type
G<sub>prot</sub> - Prototype
CEP classification
—
OECD FORD branch
20301 - Mechanical engineering
Result continuities
Project
<a href="/en/project/FV10748" target="_blank" >FV10748: Automatic verification of production lines properties during virtual commissioning</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>N - Vyzkumna aktivita podporovana z neverejnych zdroju
Others
Publication year
2018
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Internal product ID
PAVL 1
Numerical identification
—
Technical parameters
- Sestava pro virtuální zprovoznění obsahuje Simulation Unit a PLC Simatic S7-1500 - PC pro náročné výpočty obsahuje TIA Portal a TIA Openness
Economical parameters
Předpokládaný objem realizace v roce 2019 (v tis. Kč) Tržby - 750 Zisk - 250
Application category by cost
—
Owner IČO
02673975
Owner name
Factorio Solutions, s.r.o.
Owner country
CZ - CZECH REPUBLIC
Usage type
A - K využití výsledku jiným subjektem je vždy nutné nabytí licence
Licence fee requirement
A - Poskytovatel licence na výsledek požaduje licenční poplatek
Web page
—