Model Checking application on Function Block Diagram model

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23520%2F20%3A43959686" target="_blank" >RIV/49777513:23520/20:43959686 - isvavai.cz</a>
Výsledek na webu
<a href="https://doi.org/10.1109/ETFA46521.2020.9212180" target="_blank" >https://doi.org/10.1109/ETFA46521.2020.9212180</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/ETFA46521.2020.9212180" target="_blank" >10.1109/ETFA46521.2020.9212180</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Model Checking application on Function Block Diagram model
Popis výsledku v původním jazyce
Model Checking represents a mathematical method of formal verification which can prove that model satisfies its specified requirements. This article describes an approach that utilizes Function Block Diagram (FBD) models. The key benefit of this approach is the automatic transformation of the original model into a formal model which can be checked by Model Checking. In this way Model Checking can be easier integrated in the standard development process. The presented approach was developed together with the new verification process. This process can be used for the verification of safety-critical systems.
Název v anglickém jazyce
Model Checking application on Function Block Diagram model
Popis výsledku anglicky
Model Checking represents a mathematical method of formal verification which can prove that model satisfies its specified requirements. This article describes an approach that utilizes Function Block Diagram (FBD) models. The key benefit of this approach is the automatic transformation of the original model into a formal model which can be checked by Model Checking. In this way Model Checking can be easier integrated in the standard development process. The presented approach was developed together with the new verification process. This process can be used for the verification of safety-critical systems.

Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2020
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ů

Název statě ve sborníku
IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
ISBN
978-1-72818-956-7
ISSN
1946-0740
e-ISSN
1946-0759
Počet stran výsledku
8
Strana od-do
1807-1814
Název nakladatele
IEEE
Místo vydání
New York
Místo konání akce
Vienna, Austria
Datum konání akce
8. 9. 2020
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—

Podobné výsledky(10)