Zobrazeno 1 - 10
of 57
pro vyhledávání: '"Vladimir Sklyar"'
Publikováno v:
Computers, Vol 10, Iss 10, p 125 (2021)
This paper describes a proposed method and technology of safety assessment of projects based on field programmable gate arrays (FPGA). Safety assessment is based on special invariants, e.g., properties which remain unchanged when a specified transfor
Externí odkaz:
https://doaj.org/article/54af88280d6e4120aae64539f229cf61
Autor:
Vladimir Sklyar, Vyacheslav Kharchenko
Publikováno v:
2022 12th International Conference on Dependable Systems, Services and Technologies (DESSERT).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7d130434b47be9038bdf48e77e06ae26
https://doi.org/10.1109/dessert58054.2022.10018738
https://doi.org/10.1109/dessert58054.2022.10018738
Publikováno v:
International Journal of Computing. :610-619
This paper presents a survey of Assurance Case implementation for applications which are not directly related to the usual for Assurance Case regulatory regime. The UK is the country which first developed the theory of Assurance Case as a response to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f36a81adb80d8e77d5b2195074bca670
https://doi.org/10.47839/ijc.19.4.1995
https://doi.org/10.47839/ijc.19.4.1995
Publikováno v:
WSEAS TRANSACTIONS ON SYSTEMS AND CONTROL. 15:647-654
Computer control systems (CCS) are an important for operation and maintenance of safety- critical infrastructures. A challenge in such systems implementation is certification and licensing against national and international regulatory requirements. E
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7a22ba80bfb2ce36a0b817cfb7ea2e1d
https://doi.org/10.37394/23203.2020.15.64
https://doi.org/10.37394/23203.2020.15.64
Publikováno v:
Studies in Computational Intelligence ISBN: 9783030745554
The paper describes an approach to improve Assurance Case applicability through structured argumentation. We started from approach based on use of twice argumentation step including reasoning step and evidential step with structured text support. Aft
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::280f1c1362bea07c6ee788e9f3c6c732
https://doi.org/10.1007/978-3-030-74556-1_7
https://doi.org/10.1007/978-3-030-74556-1_7
Publikováno v:
DESSERT
In this paper we propose to apply structured argumentation for Assurance Case methodology to continue developing a concept of licensing for Nuclear Power Plants PostAccident Monitoring System (PAMS) based on Unmanned Aircraft Vehicles (UAVs). We obta
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5459436aaac79fdf89a864ce73c9dc5c
https://doi.org/10.1109/dessert50317.2020.9125005
https://doi.org/10.1109/dessert50317.2020.9125005
The main contribution of this study comprises a set of detailed contents for safety and security management. The following aspects of safety and security management requirements for NPP I&C systems are considered: relation between safety and security
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6ff180947399ec737e59457d5e98809d
https://doi.org/10.4018/978-1-7998-3277-5.ch011
https://doi.org/10.4018/978-1-7998-3277-5.ch011
Two existing notations for the assurance case (claim, argument and evidence [CAE] and goal structuring notation [GSN]) are considered. Supporting software tools for development of the assurance case are considered. Some ways for improvement and modif
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fe0ba0c8814353bc10d6ee96dbaeec85
https://doi.org/10.4018/978-1-7998-3277-5.ch012
https://doi.org/10.4018/978-1-7998-3277-5.ch012
Features of software as a component of instrumentation and control (I&C) systems are analyzed. Attention is paid to the importance of functions performed by software and hazards of such software. Requirements for characteristics of software as a comp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c9e44dd2c0cd1279dca42517da55efe7
https://doi.org/10.4018/978-1-7998-3277-5.ch004
https://doi.org/10.4018/978-1-7998-3277-5.ch004
Autor:
Vladimir Sklyar, Alexander Siora, Vyacheslav Duzhiy, Artem Panarin, Oleg Illiashenko, Ievgen Babeshko, Eugene Brezhniev
This chapter presents a cost-effective approach to selection of the most diverse NPP Reactor Trip System (RTS) under uncertainty. The selection of a pair of primary and secondary RTS is named a diversity strategy. All possible strategies are evaluate
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ffab6d73a02a77784144c20003923898
https://doi.org/10.4018/978-1-7998-3277-5.ch010
https://doi.org/10.4018/978-1-7998-3277-5.ch010