Automatická tvorba verifikačních modelů
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F02673975%3A_____%2F17%3AN0000002" target="_blank" >RIV/02673975:_____/17:N0000002 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/02673975:_____/17:N0000001
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
čeština
Název v původním jazyce
Automatická tvorba verifikačních modelů
Popis výsledku v původním jazyce
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
Název v anglickém jazyce
Automatic creation of verification models
Popis výsledku anglicky
Automatic creation of verification models is a computer with attached audio and video software that allows to transfer the voice record into the text form and its further analysis. It is a specially configured device that is designed for optimal record subsequent processing of voice. There are created formal models on this device, that serve as a basis for automated testing on the other prototype created. PC is extended for specialized communication card on the Profinet network. Binding with modified communication driver it allows to record data from Profinet, to store them in in database and to create the event records. Basic technical parameters: - Communication interface in PC - Profinet - Driver between Profinet Real-Time Databases - Yes - Audio headset and digital converter - fvz> 10 kHz
Klasifikace
Druh
G<sub>prot</sub> - Prototyp
CEP obor
—
OECD FORD obor
20301 - Mechanical engineering
Návaznosti výsledku
Projekt
<a href="/cs/project/FV10748" target="_blank" >FV10748: Automatická verifikace vlastností výrobních linek při virtuálním zprovoznění</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2017
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ů
Údaje specifické pro druh výsledku
Interní identifikační kód produktu
ATVM 1
Číselná identifikace
ATVM 1
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
Ekonomické parametry
Předpokládaný objem realizace v roce 2019 (v tis Kč) Tržby - 750 Zisk - 250
Kategorie aplik. výsledku dle nákladů
—
IČO vlastníka výsledku
02673975
Název vlastníka
Factorio Solutions, s.r.o.
Stát vlastníka
CZ - Česká republika
Druh možnosti využití
A - K využití výsledku jiným subjektem je vždy nutné nabytí licence
Požadavek na licenční poplatek
A - Poskytovatel licence na výsledek požaduje licenční poplatek
Adresa www stránky s výsledkem
—