Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "safety-critical" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 55
Tytuł:
The proposal of complex safety analysis for development of dynamical systems
Autorzy:
ŠTRBO, Milan
STOFFOVÁ, Veronika
Powiązania:
https://bibliotekanauki.pl/articles/457275.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Rzeszowski
Tematy:
safety analysis
dynamic systems
safety-critical systems described
Opis:
The aim of the article is to propose a complex methodology for implementing a safety analy-sis of dynamical systems. The safety analysis is performed in the process of control system devel-opment, especially aiming at safety-critical processes of system operation. The methodology was divided into sevenbasic steps. The individual steps of the methodology are carried out in a hierar-chical sequence. The step “Preliminary Hazard Analysis” consists of the PHI and PHA methods. Further, roles of individual methodology steps are detailed. In the second part of the article, the principle of safety-critical process monitoring based on models is.
Źródło:
Edukacja-Technika-Informatyka; 2016, 7, 1; 185-193
2080-9069
Pojawia się w:
Edukacja-Technika-Informatyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Assessment of risks introduced to safety critical software by agile practices - a software engineers perspective
Autorzy:
Górski, J.
Łukasiewicz, K.
Powiązania:
https://bibliotekanauki.pl/articles/305252.pdf
Data publikacji:
2012
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
software development
safety-critical projects
agile practices
experimental assessment
TRUST-IT
Opis:
In this article we investigate the problem of applying agile practices into safetycritical projects. The goal of our research is to investigate potential benefits from introducing agile practices into safety-critical environment and to present a solution providing for balancing agile approach with more disciplined assurance techniques, bringing the best of the two worlds together. In this article we present the supporting ideas such as assurance argument patterns along with a case study. The case study investigates how software engineers perceive risks associated with the introduction of agile practices and collect their ideas on how these risks could be mitigated.
Źródło:
Computer Science; 2012, 13 (4); 165-182
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Usability engineering in the prototyping process of software user interfaces for mobile medical ultrasound devices
Autorzy:
Wichrowski, M.
Powiązania:
https://bibliotekanauki.pl/articles/305597.pdf
Data publikacji:
2015
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
medical software user interface
Safety Critical Interactive Devices
human factors
usability engineering
human-computer interaction
user-centred design
Opis:
This paper presents new trends in interface design of medical ultrasound devices and explains the basics of implementing usability engineering in accordance with international standards. Methods for determining the initial requirements, design guidelines, processes of prototyping, verification, and validation of software user interfaces for medical devices are discussed. The article also presents a preliminary plan of a methodology for prototyping touch-based and standard-control interfaces for mobile ultrasonic devices.
Źródło:
Computer Science; 2015, 16 (3); 219-236
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analyses of safety-related message transmission
Autorzy:
Rástočný, K.
Franeková, M.
Powiązania:
https://bibliotekanauki.pl/articles/393641.pdf
Data publikacji:
2009
Wydawca:
Polskie Stowarzyszenie Telematyki Transportu
Tematy:
poziom nienaruszalności bezpieczeństwa
błędy komunikacji
system transmisji
mechanizm bezpieczeństwa
safety-critical applications
safety integrity level
communication errors
closed transmission system
safety mechanisms
ratio counter
probability of undetected error
Opis:
The analyses were aimed at determination of failure effects in the transmission system, which allow identifying the transition process of the system from a safety state (it may not be necessarily a failure - a free state) to a dangerous state and permit to calculate probability of the dangerous state occurrence of the system as a failure effect to the operating system. Dangerous states of the safety Fieldbus system are mainly caused by systematic failures within a specification of the system, electromagnetic interferences (EMI) and random failures of the HW effects. The effects of electromagnetic interferences and random failures of HW can be described in the paper by the use of time table.
Źródło:
Archives of Transport System Telematics; 2009, 2, 3; 22-26
1899-8208
Pojawia się w:
Archives of Transport System Telematics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Maximization of Safety Lifetime of Critical Infrastructure Network with Cascading Effects Considering Climate-Weather Change Influence
Autorzy:
Blokus-Roszkowska, A.
Kołowrocki, K.
Powiązania:
https://bibliotekanauki.pl/articles/2068749.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Morski w Gdyni. Polskie Towarzystwo Bezpieczeństwa i Niezawodności
Tematy:
critical infrastructure
operation process
climate-weather change process
critical state
critical infrastructure safety lifetime maximization
Opis:
In the paper optimization of operation process and maximization of safety lifetimes for interconnected and interdependent critical infrastructure (CI) networks at variable operation conditions related to the climateweather change are proposed. A multistate series network with assets dependent according to local load sharing (LLS) rule is analyzed and optimization of operation and safety of CI network with the LLS rule is introduced. For such CI network, the optimal transient probabilities of CI network operation process at operation states related to climate-weather change that maximize the mean value of CI network safety lifetimes are found. Finally, the optimal safety and resilience indicators of CI network are presented.
Źródło:
Journal of Polish Safety and Reliability Association; 2018, 9, 1; 35--42
2084-5316
Pojawia się w:
Journal of Polish Safety and Reliability Association
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Reliability Analysis Method of safety-critical avionics system based on Dynamic Fault Tree under Fuzzy Uncertainty
Sposób analizy niezawodności krytycznych dla bezpieczeństwa systemów elektroniki lotniczej oparty na metodzie dynamicznego drzewa błędów w warunkach rozmytej niepewności
Autorzy:
Tu, J.
Cheng, R.
Tao, Q.
Powiązania:
https://bibliotekanauki.pl/articles/301107.pdf
Data publikacji:
2015
Wydawca:
Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
Tematy:
safety-critical avionics system
dynamic fault tree
Markov chain
Fuzzy Uncertainty
krytyczne dla bezpieczeństwa układy elektroniki lotniczej
dynamiczne drzewo błędów
łańcuch Markowa
niepewność rozmyta
Opis:
A safety-critical avionics system has to qualify the performance related requirements and the safety-related requirements simultaneously. This paper presents a comprehensive study on the reliability analysis method for safety-critical avionics system by using dynamic fault tree approach based on Markov chain. The reliability models were constructed applying dynamic fault tree (DFT) modeling method according to deeply analysis of the typical failure modes, causes and influence of the safety-critical avionics system by considering the aspect of repairable feature and redundancy. Taking into account the both failure phenomenon of safetycritical avionics system and many uncertainties exist in the fault status and fault reasons, fuzzy sets theory is introduced into dynamic fault tree method. Specifically, it adopts expert elicitation and fuzzy set theory to evaluate the failure rates of the basic events for safety-critical avionics system. Furthermore, the fuzzy dynamic fault tree analysis method for safety-critical avionics system based on the consecutive parameter Markov chain is proposed. The modularization design was utilized to divide the dynamic fault trees into static and dynamic sub-trees. The static tree was solved by binary decision diagram (BDD) and the dynamic tree was solved by Markov chain method. The results show that the proposed method is more flexible and adaptive than conventional fault tree analysis for fault diagnosis and reliability estimation of safety-critical avionics system.
Krytyczne dla bezpieczeństwa układy elektroniki lotniczej (awioniki) muszą jednocześnie spełniać zarówno wymogi eksploatacyjne jak i wymagania związane z bezpieczeństwem. W niniejszej pracy przedstawiono kompleksowe opracowanie dotyczące metody analizy niezawodności krytycznych dla bezpieczeństwa systemów awioniki wykorzystującej opartą na łańcuchu Markowa metodę dynamicznego drzewa błędów. Modele niezawodności konstruowano z zastosowaniem metody dynamicznego drzewa błędów zgodnie z przeprowadzoną dokładną analizą typowych przyczyn uszkodzeń oraz czynników wpływających na systemy elektroniki lotniczej, z uwzględnieniem aspektu naprawialności i nadmiarowości. Biorąc pod uwagę, że zarówno ze zjawiskiem uszkodzenia krytycznego dla bezpieczeństwa systemu awioniki jak i ze stanem awarii i przyczynami błędów wiąże się wiele niepewności, metodę dynamicznego drzewa błędów poszerzono o teorię zbiorów rozmytych. W szczególności, zaproponowana metoda wykorzystuje ocenę ekspercką oraz teorię zbiorów rozmytych do oceny intensywności uszkodzeń dla podstawowych zdarzeń zachodzących w krytycznych dla bezpieczeństwa systemach elektroniki lotniczej. Ponadto zaproponowano metodę analizy krytycznych dla bezpieczeństwa systemów awioniki wykorzystującą teorię rozmytych dynamicznych drzew błędów opartą na markowowskim łańcuchu następujących po sobie parametrów. Budowę modułową wykorzystano do podziału dynamicznych drzew błędów na poddrzewa statyczne i dynamiczne. Drzewa statyczne rozwiązywano za pomocą binarnego schematu decyzyjnego (BDD) a drzewa dynamiczne – metodą łańcuchów Markowa. Wyniki pokazują, że proponowana metoda diagnozowania błędów i oceny niezawodności krytycznych dla bezpieczeństwa systemów elektroniki lotniczej jest bardziej elastyczna i łatwiejsza do adaptacji niż konwencjonalna analiza drzewa błędów.
Źródło:
Eksploatacja i Niezawodność; 2015, 17, 1; 156-163
1507-2711
Pojawia się w:
Eksploatacja i Niezawodność
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Safety weaknesses of digital signature used for safety critical applications of e-government
Autorzy:
Franekova, M.
Šutak, M.
Powiązania:
https://bibliotekanauki.pl/articles/393832.pdf
Data publikacji:
2018
Wydawca:
Polskie Stowarzyszenie Telematyki Transportu
Tematy:
e-government
safety-critical
services
eID card
authorization
qualified certificate
digital signature
RSA
ECDSA
complexity of factorization
e-państwo
karta eID
autoryzacja
podpis kwalifikowany
podpis cyfrowy
złożoność faktoryzacji
Opis:
The authors of this article focus on the analysis of safety weaks of digital signature schemes used within e-Government service in condition of Slovak republic. Main part is orientated on the possibility of attacks on eID card with using RSA digital signature scheme what was in the last months very frequently medialized in Slovakia. In the practical part on the base of mathematically description is analysed possible weaks of RSA digital signature schemes especially complexity of factorization problems dependence of length of key is describe and compare with more effectiveness ECDSA scheme. On the base of studies the authors mentioned the recommendations for parameters selection of very often used digital signature schemes focus on access to safety-critical applications supported during process of digitalization of e-Government in Slovak republic.
Źródło:
Archives of Transport System Telematics; 2018, 11, 3; 11-18
1899-8208
Pojawia się w:
Archives of Transport System Telematics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Critical infrastructure security in Poland and the surrounding area. Legislation analysis.
Autorzy:
Grzywna, Zbigniew
Powiązania:
https://bibliotekanauki.pl/articles/576405.pdf
Data publikacji:
2014-03-31
Wydawca:
Akademia Sztuki Wojennej
Tematy:
Management safety
critical situation
critical infrastructure
public
administration
Opis:
The Critical Management Act creates a legal basis for dealing with critical infrastructure. It contains the following definition: critical infrastructure includes systems and functional objects which are connected with each other, including: buildings, devices, systems, key services for a country and its citizens’ security and other systems and objects which deal with ensuring efficient functioning of public administration bodies as well as institutions and enterprises. At national level, the protection of critical infrastructure is coordinated by the Government Centre for Security. In accordance with the critical management act, which is in effect at present, the legislator defines that critical infrastructure is created by systems and consists of functional objects connected with each other: buildings, devices, systems, key services for a country’s security and its citizens’ security and other objects and services which deal with ensuring efficient functioning of public administration bodies as well as institutions and enterprises The article contains an enumeration of the systems which are included in critical infrastructure.
Źródło:
Security and Defence Quarterly; 2014, 2, 1; 155-172
2300-8741
2544-994X
Pojawia się w:
Security and Defence Quarterly
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dual synthesis of Petri net based application specific logic controllers with increased safety
Autorzy:
Tkacz, J.
Bukowiec, A.
Adamski, M.
Powiązania:
https://bibliotekanauki.pl/articles/200217.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
critical safety
FPGAs
logic controllers
logic synthesis
Petri nets
verification
bezpieczeństwo krytyczne
FPGA
sterowniki logiczne
synteza logiczna
sieci Petriego
weryfikacja
Opis:
In the paper, design flow of the application specific logic controllers with increased safety by means of Petri nets is proposed. The controller architecture is based on duplicated control unit and comparison results from both units. One specification of control algorithm is used by means of Petri net for both units. The hardware duplication is obtained during dual synthesis process. This process uses two different logic synthesis methods to obtain two different hardware configurations for both control units. Additionally, the dual verification is applied to increase reliability of the control algorithm. Such design flow simplifies the process of realization of control systems with increased safety.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2016, 64, 3; 467-478
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Safety and Resilience of Global Baltic Network of Critical Infrastructure Networks Related to Cascading Effects
Autorzy:
Blokus-Roszkowska, A.
Dziula, P.
Kołowrocki, K.
Powiązania:
https://bibliotekanauki.pl/articles/2068769.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Morski w Gdyni. Polskie Towarzystwo Bezpieczeństwa i Niezawodności
Tematy:
critical infrastructure
critical infrastructures network
cascading effect
impact
safety
Opis:
The main aim of the paper is analysis of safety of the Global Baltic Network of Critical Infrastructure Networks (GBNCIN), taking into account interactions among particular critical infrastructure networks this network consists of. The safety function and other safety characteristics: the risk function and mean values and the standard deviations of the lifetimes in the safety state subsets are determined assuming the particular critical infrastructure networks have exponential safety functions. Finally, the coefficients of cascading effect impact on the intensities of degradation of the GBNCIN, and the indicator of that network resilience to cascading effect impact, are presented.
Źródło:
Journal of Polish Safety and Reliability Association; 2018, 9, 2; 79--86
2084-5316
Pojawia się w:
Journal of Polish Safety and Reliability Association
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Safety Analysis of Interdependent Critical Infrastructure Networks
Autorzy:
Blokus, A.
Dziula, P.
Powiązania:
https://bibliotekanauki.pl/articles/116995.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
Tematy:
critical infrastructure
safety analysis
interdependent critical infrastructure networks
critical infrastructure network
safety characteristics
random interdependency matrix
critical infrastructure system
multilayer infrastructure network framework
Opis:
Certain critical infrastructure networks show some interconnections, relations and interactions with other ones, most frequently when located and operating within particular areas. Failures arising within one critical infrastructure network, can then negatively impact not only on associated systems, societies and natural environment, but also on mutual critical infrastructure networks. Therefore, interdependent critical infrastructure networks can be determined as network of critical infrastructure networks (network of networks approach). The paper presents safety analysis of the network of critical infrastructure networks, taking into account interconnections, relations and interactions between particular ones. Critical infrastructures networks as multistate systems are considered, by distinguishing subsets of no-hazards safety states, and crisis situation states, and by analysing transitions between particular ones. Issues introduced in the article are based on the assumption that one key critical infrastructure network impacts on functioning of other critical infrastructure networks - can reduce their functionality and change level of their safety and inoperability, furthermore, other networks can impact each other, too. Safety characteristics of network of critical infrastructure networks: safety function, mean values and standard deviations of lifetimes in particular safety state subsets, are determined, taking into account interdependencies between particular networks. The results are related to various values of coefficients defining the significance of influence of interdependencies among networks.
Źródło:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation; 2019, 13, 4; 781-787
2083-6473
2083-6481
Pojawia się w:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modelling Safety of Interconnected Critical Infrastructures Network Cascading
Autorzy:
Blokus-Roszkowska, A.
Kołowrocki, K.
Powiązania:
https://bibliotekanauki.pl/articles/2068806.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Morski w Gdyni. Polskie Towarzystwo Bezpieczeństwa i Niezawodności
Tematy:
safety
modelling
interconnected
cascading
critical infrastructure
Opis:
In the paper the safety function of a multistate series network with dependent assets, with dependent subnetworks and with dependent assets of its subnetworks is determined. The multistate series-parallel network with dependent assets of its subnetworks and multistate series-“m out of k” network with dependent assets of its subnetworks is considered. Further the multistate parallel and “m out of n” networks with dependent assets are analyzed. The safety function of multistate parallel-series and “m out of l”-series networks with dependent assets of its subnetworks, and finally of multistate parallel-series and “m out of l”-series networks with dependent subnetworks and dependent assets of these subnetworks are determined. Proposed theoretical models of dependency are applied to the safety analysis of the exemplary electricity network. Finally, the obtained results are compared with results for the considered electricity network without assumption about dependencies between assets and subnetworks.
Źródło:
Journal of Polish Safety and Reliability Association; 2017, 8, 3; 99--116
2084-5316
Pojawia się w:
Journal of Polish Safety and Reliability Association
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Reliability and Safety of Technical Means in Critical Infrastructure with Respect to Fatigue Damage Processes
Autorzy:
Leitner, Bohuš
Míka, Vladimír T.
Powiązania:
https://bibliotekanauki.pl/articles/504242.pdf
Data publikacji:
2012
Wydawca:
Międzynarodowa Wyższa Szkoła Logistyki i Transportu
Tematy:
reliability
safety
critical infrastructure
technical systems
Opis:
An extraordinary attention is dedicated to the evaluation of fatigue damage and technical life of different technical systems all over the world because breakdowns caused by a fatigue failure have often a nature of catastrophe. Material fatigue of parts of technical means in critical infrastructure (particularly oversized systems and technological devices) belongs to the most frequent causes of boundary states rise and relating operation breakdowns. Paper contains general formulation of reliability and safety of technical systems judging, brief characteristic of basic areas to be taken in account as input into calculated prediction of technical systems fatigue damage and analysis of risk items by its practical application on a transport means in real working conditions.
Źródło:
Logistics and Transport; 2012, 14, 1; 103-110
1734-2015
Pojawia się w:
Logistics and Transport
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Methodology for Baltic Sea Region critical infrastructures safety and resilience to climate change analysis
Autorzy:
Blokus-Roszkowska, A.
Bogalecka, M.
Kołowrocki, K.
Powiązania:
https://bibliotekanauki.pl/articles/2069052.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Morski w Gdyni. Polskie Towarzystwo Bezpieczeństwa i Niezawodności
Tematy:
critical infrastructure
European critical infrastructure
Baltic Sea Region
climate change
safety
Opis:
The paper presents the terminology of critical infrastructure including definitions of general terms and definitions of more detailed notions. The European Programme for Critical Infrastructure Protection is introduced and infrastructures specified as being critical are listed. There is also presented the approach to the identification and designation of European Critical Infrastructures. Next, presented terminology and taxonomy refer to critical infrastructure networks at Baltic Sea Region. Finally, notions related to climate change and resilience and vulnerability of critical infrastructures to climate change are given. Considering strategy of critical infrastructures resilience strengthening there are distinguished and defined concepts of robustness, resourcefullness, redundancy, response and recovery.
Źródło:
Journal of Polish Safety and Reliability Association; 2016, 7, 2; 93--104
2084-5316
Pojawia się w:
Journal of Polish Safety and Reliability Association
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Integrated Impact Model on Critical Infrastructure Safety Related to Its Operation Process
Autorzy:
Kołowrocki, K.
Soszyńska-Budny, J.
Powiązania:
https://bibliotekanauki.pl/articles/2068800.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Morski w Gdyni. Polskie Towarzystwo Bezpieczeństwa i Niezawodności
Tematy:
critical infrastructure
impact
model
safety
operation process
Opis:
The main objective of this paper is to present recently developed, the general safety analytical models of complex multistate technical systems related to their operation processes and to apply them practically to critical infrastructures. To realize this goal, the integrated model of critical infrastructure safety related to its operation process is proposed. The basic safety characteristics of this model are presented as the very practically significant. Furthermore, the unconditional safety functions of systems with different safety structures are determined under assumption that their safety functions are exponential. In case of the critical infrastructure safety analysis, its safety function and risk function which graph corresponds to the fragility curve, its mean lifetime up to the exceeding a critical safety state, the moment when its risk function value exceeds the acceptable safety level, the component and critical infrastructure intensities of ageing/degradation and the coefficients of operation impact on component and critical infrastructure intensities of ageing are defined.
Źródło:
Journal of Polish Safety and Reliability Association; 2017, 8, 4; 1--10
2084-5316
Pojawia się w:
Journal of Polish Safety and Reliability Association
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 55

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies