Informacja

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

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


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ł:
Metody rozwoju oprogramowania krytycznego dla bezpieczeństwa
Safety Critical Software Development Methodologies in Avionics
Autorzy:
Zakrzewski, Paweł
Narkiewicz, Janusz
Brenchly, Darren
Powiązania:
https://bibliotekanauki.pl/articles/36412161.pdf
Data publikacji:
2020
Wydawca:
Sieć Badawcza Łukasiewicz - Instytut Lotnictwa
Tematy:
avionics
safety critical software
Agile
systems engineering
awionika
oprogramowanie krytyczne dla bezpieczeństwa
metody zwinne
inżynieria systemowa
Opis:
Artykuł podsumowuje metody rozwoju oprogramowania krytycznego dla bezpieczeństwa, oraz wpływ standardu DO-178C na potencjalne zastosowanie metod zwinnych. Wyjaśniamy w nim także kategoryzację oprogramowania krytycznego w systemach lotniczych. Artykul opisuje różnice w podejściu do procesu tworzenia oprogramowania od metody kaskadowej, przez model V, aż do metody iteracyjnej i przyrostowej, wraz ze wskazaniem ich największych zalet. Opisane zostały najważniejsze zasady leżące u podstaw metod zwinnych, oraz Scrum jako popularny framework stosowany w tworzeniu oprogramowania nie-krytycznego. Analiza możliwości zastosowania metod zwinnych do tworzenia oprogramowania krytycznego dla bezpieczeństwa w awionice została oparta na praktycznym doświadczeniu autorów. Uwzględnia wymagania standardu DO-178C, wielkość projektu, skalowalność metody, oraz kulturę organizacji. Zdefniowanie zwinnej metody ramowej tworzenia oprogramownia krytycznego dla bezpieczeństwa, spójnej z procesem certyfikacji i istniejącymi standardami zostało uznane za potencjalny przełom dla rozwoju systemów awioniki.
This article summarizes avionics safety-critical software development methodologies and implications of the DO-178C standard from an Agile application perspective. We explain the safety-critical software categorization. It also outlines the main differences and advantages of different approaches to the development process, from Waterfall through the V-model to Iterative and Incremental. Agile principles are explained as well as a Scrum – which is a popular framework in the non-safety-critical software industry. The application of Agile, for safety-critical software considerations, is based on the practical knowledge of the authors, and looks at the potential solution from a DO-178C standard, size of the project, scalability, and organizational culture points of view. Definition of the Agile type of framework, consistent with the certification process and existing standards, has been highlighted as a potential game-changer for the avionics industry.
Źródło:
Transactions on Aerospace Research; 2020, 2 (259); 59-71
0509-6669
2545-2835
Pojawia się w:
Transactions on Aerospace Research
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ł:
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ł:
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ł:
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ł:
Ochrona obiektów infrastruktury krytycznej – bezpieczeństwo państwa i obywateli
Evaluation of Critical Infrastructure – Safety of the State and Citizens
Autorzy:
Panasiuk, Andrzej
Sierański, Sławomir
Powiązania:
https://bibliotekanauki.pl/articles/416571.pdf
Data publikacji:
2017-02
Wydawca:
Najwyższa Izba Kontroli
Tematy:
critical infrastructure
protection of critical infrastructure items
safety of the state
safety of the citizens
Opis:
Critical infrastructure plays a key role in the functioning of the state and the lives of its citizens. Due to natural disasters or those being a consequence of human activities, critical infrastructure can be destroyed or damaged, and its functioning can be disrupted, which can pose a threat to the lives and property of the citizens. Simultaneously, such events negatively affect the economic development of the state. That is why protection of critical infrastructure is one of the state’s priorities. In the years 2015 and 2016, NIK examined the regularity of the protection of critical infrastructure items. The audit was also a response to numerous media reports on failures or incidents that could pose a threat to critical infrastructure items in the country. The audit comprised selected critical infrastructure administrators, the Government Security Centre, regional governors and local self-government units.
Źródło:
Kontrola Państwowa; 2017, 62, 1 (372); 76-86
0452-5027
Pojawia się w:
Kontrola Państwowa
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ł

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