Automatic creation of verification models
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F02673975%3A_____%2F17%3AN0000001" target="_blank" >RIV/02673975:_____/17:N0000001 - isvavai.cz</a>
Alternative codes found
RIV/02673975:_____/17:N0000002
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
Automatická tvorba verifikačních modelů
Original language description
Automatická tvorba verifikačních modelů je počítač s připojeným audio zařízením a speciálně vyvinutým software, který umožňuje převod hlasového záznamu do textové podoby a jeho následnou analýzu. Jedná se o speciálně nakonfigurované zařízení, které je vyladěné pro optimální záznam a následné zpracování zvuku. Na tomto zařízení se vytvářejí formální modely, které slouží jako základ pro automatické testování na druhém vytvořeném prototypu. PC je navíc rozšířeno o specializovanou komunikační kartu na sít Profinet. V propojení s upraveným komunikačním driverem umožňuje zaznamenávat data z Profinetu, ukládat je do databáze a vytvářet záznamy událostí. Základní technické parametry - Komunikační rozhraní v PC - Profinet - Driver mezi Profinet a real-time databází - ano - Audio headset a digitální převodník - fvz > 10 kHz
Czech name
Automatická tvorba verifikačních modelů
Czech description
Automatická tvorba verifikačních modelů je počítač s připojeným audio zařízením a speciálně vyvinutým software, který umožňuje převod hlasového záznamu do textové podoby a jeho následnou analýzu. Jedná se o speciálně nakonfigurované zařízení, které je vyladěné pro optimální záznam a následné zpracování zvuku. Na tomto zařízení se vytvářejí formální modely, které slouží jako základ pro automatické testování na druhém vytvořeném prototypu. PC je navíc rozšířeno o specializovanou komunikační kartu na sít Profinet. V propojení s upraveným komunikačním driverem umožňuje zaznamenávat data z Profinetu, ukládat je do databáze a vytvářet záznamy událostí. Základní technické parametry - Komunikační rozhraní v PC - Profinet - Driver mezi Profinet a real-time databází - ano - Audio headset a digitální převodník - fvz > 10 kHz
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
2017
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
ATVM 1
Numerical identification
—
Technical parameters
- Komunikační rozhraní v PC … Profinet - Driver mezi Profinet a real-time databází … ano - Audio headset a digitální převodník … fvz > 10 kHz
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
—