Zobrazeno 1 - 10
of 912
pro vyhledávání: '"Function block diagram"'
Publikováno v:
IEEE Access, Vol 9, Pp 61383-61397 (2021)
Thorough verification is a part of the design process of instrumentation and control systems if they must comply with crucial safety requirements. Model checking can be applied to the formal model of such a system to reason about its correctness base
Externí odkaz:
https://doaj.org/article/304899e3ac174de9873d6d6f2ebfcc44
Autor:
Jianyong Zhao, Zhe Tao
Publikováno v:
IEEE Access, Vol 9, Pp 166137-166146 (2021)
Programmable logic controllers (PLCs) are widely used in industrial electronic systems. With the augmenting complexity of system, the reliability poses a crucial challenge in safety critical applications. This paper proposes a formal modeling and ver
Externí odkaz:
https://doaj.org/article/959a810e1c0644b18bf7c2a5bf05681d
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA).
This article describes a process for modern verification of safety-related I&C (Instrumentation and Control) systems based on algorithm model checking, model-based test case generation and automatic testing. The verification process is compatible wit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d783ad88c7c068c02349483b7a88e047
https://doi.org/10.1109/etfa52439.2022.9921696
https://doi.org/10.1109/etfa52439.2022.9921696
Autor:
BIRK, JERNEJ
V diplomskem delu je predstavljena predelava vodenja stroja za podajanje palet na transportno linijo in izdelava nadzornega sistema. Stroj se uporablja v podjetju, ki se ukvarja s proizvodnjo papirja. Izdelan papir je zvit v zvitke, pod katere je pot
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3505::6ec6dde60d3f772e61a72c4964e8be5b
https://repozitorij.uni-lj.si/IzpisGradiva.php?id=139571
https://repozitorij.uni-lj.si/IzpisGradiva.php?id=139571
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Nuclear Engineering and Technology, Vol 45, Iss 4, Pp 489-504 (2013)
Software safety for nuclear reactor protection systems (RPSs) is the most important requirement for the obtainment of permission for operation and export from government authorities, which is why it should be managed with well-experienced software de
Externí odkaz:
https://doaj.org/article/f228414ea3654518af2239b06c783fe9
Autor:
Vrljičak, Ivan, Šuljić, Igor
In this paper, the development of a program instruction that controls the operation of a screw compressor will be presented. Screw compressors (helical lobe compressors) is the type of gas compressors that fall into the category of rotary positive di
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=57a035e5b1ae::7f7ddacc05bcfff0e492742b7b6617db
https://www.bib.irb.hr/1222247
https://www.bib.irb.hr/1222247
Automatic test case generation based on knowledge of a model is currently a challenge for many researchers and developers. This article describes the first of two complementary methods for test case generation for Function Block Diagram (FBD) models
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a9573edcaab8c521f6d84727eca5da74
http://hdl.handle.net/11025/47267
http://hdl.handle.net/11025/47267