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ę "software safety" wg kryterium: Temat


Tytuł:
Survey questionnaire for the study on occupational safety culture in a production plant. Construction and statistical verification of data correctness
Autorzy:
Krupa, Patryk
Gabryelewicz, Izabela
Edl, Milan
Pantya, Peter
Patalas-Maliszewska, Justyna
Powiązania:
https://bibliotekanauki.pl/articles/406950.pdf
Data publikacji:
2019
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
safety analysis
correlation coefficients
computer programs
software safety
process identification
Opis:
The article presents the issue related with a proper preparation of a data sheet for the analysis, the way of verifying the correctness and reliability of input information, and proper data encoding. Improper input or coding of data can significantly influence the correctness of performed analyses or extend their time. This stage of an analysis is presented by an authorship questionnaire for the study on occupational safety culture in a manufacturing plant, using the Statistica software for analyses. There were used real data, obtained during the research on the issue of occupational safety and factors having the greatest influence on the state of occupational safety.
Źródło:
Management and Production Engineering Review; 2019, 10, 2; 101--108
2080-8208
2082-1344
Pojawia się w:
Management and Production Engineering Review
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Trends and challenges in the aviation systems safety and cybersecurity
Autorzy:
Zalewski, Janusz
Kornecki, Andrew
Powiązania:
https://bibliotekanauki.pl/articles/1955261.pdf
Data publikacji:
2019
Wydawca:
Politechnika Gdańska
Tematy:
aviation safety
cybersecurity
software safety
safety standards
safety guidelines
unmanned aircraft systems
aircraft certification
Opis:
Aviation systems are an essential component of every nation’s critical infrastructure.Considering millions of passengers flying per year and busy airports, the safe and secure flightand traffic operation is of primary importance to the proper functioning of the society. This paper discusses fundamental problems of providing critical systems safety and cybersecurityin the aviation infrastructure including both airborne and ground systems such as avionics, navigation, air traffic control and management, as well as unmanned systems. It reviews the major challenges and current trends in providing viable solutions. Both industrial practices andresearch approaches are mentioned, including established methodologies and standards, as well as new developments in certification.
Źródło:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk; 2019, 23, 2; 159-175
1428-6394
Pojawia się w:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk
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ł:
Poprawa bezpieczeństwa funkcjonalnego oprogramowania PLC za pomocą analizy sygnatur
Improving the Functional PLC Software Safety Through the Signature Analysis
Autorzy:
Szuster, Marcin
Kozioł, Bartłomiej
Powiązania:
https://bibliotekanauki.pl/articles/2134963.pdf
Data publikacji:
2022
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
analiza sygnatur
ukryte naruszenia bezpieczeństwa
walidacja programu PLC
bezpieczeństwo funkcjonalne sterowania maszyn
signature analysis
hidden security breaches
safety software PLC validation
functional control safety of machines
Opis:
W artykule zaprezentowano ideę techniki kompresji odpowiedzi zwaną analizą sygnatur zastosowaną do walidacji oprogramowania PLC pod kątem bezpieczeństwa funkcjonalnego sterowania. Na przykładach symulacyjnych przedstawiono sposób implementacji opracowanej idei walidacji, mającej praktyczne zastosowanie. Przedstawiono wyniki badań na wybranym przykładzie.
The article presents the idea of the response compression technique called signature analysis used to validate PLC software in terms of functional control safety. The method of implementation of the developed validation idea, having practical application, was presented on the simulation examples. The research results based on a selected example are presented.
Źródło:
Pomiary Automatyka Robotyka; 2022, 26, 3; 29--35
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zarządzanie jakością i niezawodnością oprogramowania w systemach związanych z bezpieczeństwem
Software quality and reliability management in safety-related systems
Autorzy:
Porzeziński, M.
Powiązania:
https://bibliotekanauki.pl/articles/2069725.pdf
Data publikacji:
2011
Wydawca:
Uniwersytet Morski w Gdyni. Polskie Towarzystwo Bezpieczeństwa i Niezawodności
Tematy:
jakość oprogramowania
niezawodność oprogramowania
bezpieczeństwo funkcjonalne
systemy związane z bezpieczeństwem
software quality
software reliability
functional safety
safety-related systems
Opis:
This article is concerned with the methods of ensuring the required quality and reliability of software in safetyrelated systems. The basic types of software reliability models and their specific properties are presented. The principles of managing the process of software development, based on the "Model V" life cycle, with particular emphasis on the role of inspection and testing processes are discussed. Also the methodology of quality management and reliability of the software recommended by the PN-EN 61508-3 are outlined. At the end the concept of application to support the process of assessing the quality and integrity of the safety-related software is described.
Źródło:
Journal of Polish Safety and Reliability Association; 2011, 2, 3; 45--52
2084-5316
Pojawia się w:
Journal of Polish Safety and Reliability Association
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Bezpieczeństwo aplikacji robotów z wykorzystaniem ROS
Autorzy:
Portugal, David
Santos, Miguel A.
Pereira, Samuel
Couceiro, Micael S.
Powiązania:
https://bibliotekanauki.pl/articles/1857214.pdf
Data publikacji:
2021
Wydawca:
Wydawnictwo Druk-Art
Tematy:
bezpieczeństwo robotów
robotyka
oprogramowanie ROS
robot safety
robotics
ROS software
Opis:
Roboty stają się częścią naszego codziennego życia w społeczeństwie. Oprócz szerokiego zastosowania w przemyśle, obecnie roboty odgrywają ważną rolę w zastosowaniach domowych, medycznych, kosmicznych i wojskowych. Ostatnie badania zaprezentowały znaczące innowacje również w innych dziedzinach, takich jak robotyka społeczna, robotyka polowa czy inteligentne pojazdy. Powszechne zastosowanie robotów w tych dziedzinach zostało znacznie przyspieszone ze względu na ostatnie postępy w dziedzinie kontroli, sztucznej inteligencji (SI), podejmowania decyzji, uczenia się robotów, lokalizowania i mapowania, planowania ruchu, wizji komputerowej, rozwoju czujników i innych istotnych dziedzin.
Źródło:
Napędy i Sterowanie; 2021, 23, 2; 46-52
1507-7764
Pojawia się w:
Napędy i Sterowanie
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Bezpieczeństwo aplikacji robotów z wykorzystaniem ROS
Autorzy:
Portugal, David
Santos, Miguel A.
Pereira, Samuel
Couceiro, Micael S.
Powiązania:
https://bibliotekanauki.pl/articles/1857457.pdf
Data publikacji:
2021
Wydawca:
Wydawnictwo Druk-Art
Tematy:
bezpieczeństwo robotów
robotyka
oprogramowanie ROS
robot safety
robotics
ROS software
Opis:
Roboty stają się częścią naszego codziennego życia w społeczeństwie. Oprócz szerokiego zastosowania w przemyśle, obecnie roboty odgrywają ważną rolę w zastosowaniach domowych, medycznych, kosmicznych i wojskowych. Ostatnie badania zaprezentowały znaczące innowacje również w innych dziedzinach, takich jak robotyka społeczna, robotyka polowa czy inteligentne pojazdy. Powszechne zastosowanie robotów w tych dziedzinach zostało znacznie przyspieszone ze względu na ostatnie postępy w dziedzinie kontroli, sztucznej inteligencji (SI), podejmowania decyzji, uczenia się robotów, lokalizowania i mapowania, planowania ruchu, wizji komputerowej, rozwoju czujników i innych istotnych dziedzin.
Źródło:
Napędy i Sterowanie; 2021, 23, 6; 100-110
1507-7764
Pojawia się w:
Napędy i Sterowanie
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Bezpieczeństwo aplikacji robotów z wykorzystaniem ROS. Część 2
Autorzy:
Portugal, David
Santos, Miguel A.
Pereira, Samuel
Couceiro, Micael S.
Powiązania:
https://bibliotekanauki.pl/articles/1857495.pdf
Data publikacji:
2021
Wydawca:
Wydawnictwo Druk-Art
Tematy:
bezpieczeństwo robotów
robotyka
oprogramowanie ROS
robot safety
robotics
ROS software
Opis:
W tej części przedstawiono wyniki badań różnych propozycji zwiększenia bezpieczeństwa, które zostały opisane w poprzedniej części. Platforma testowa składała się z: procesora Intel i5-4590 (3,30 GHz), 8 GB pamięci RAM oraz 64-bitowej wersji systemu operacyjnego Ubuntu Linux 16.04 z systemem ROS Kinetic Kame. Wyniki w tej części koncentrują się na wydajności komunikacji każdego rozwiązania podczas przesyłania danych pomiędzy publikującym a węzłem subskrybenta działającym na tym samym komputerze. Pozwoliło to porównać opóźnienie w komunikacji, liczbę utraconych wiadomości, zdolność do nadążania za zamierzonymi prędkościami publikacji, poziomy dostępu z nieautoryzowanych węzłów w sieci ROS oraz ogólnie ocenić kompromis pomiędzy bezpieczeństwem a płynnością działania każdego podejścia.
Źródło:
Napędy i Sterowanie; 2021, 23, 3; 85-89
1507-7764
Pojawia się w:
Napędy i Sterowanie
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Software for Occupational Health and Safety Risk Analysis Based on a Fuzzy Model
Autorzy:
Stefanovic, M.
Tadic, D.
Djapan, M.
Macuzic, I.
Powiązania:
https://bibliotekanauki.pl/articles/90031.pdf
Data publikacji:
2012
Wydawca:
Centralny Instytut Ochrony Pracy
Tematy:
risk assessment
uncertainty
fuzzy model
software simulation
occupational health and safety
Opis:
Risk and safety management are very important issues in healthcare systems. Those are complex systems with many entities, hazards and uncertainties. In such an environment, it is very hard to introduce a system for evaluating and simulating significant hazards. In this paper, we analyzed different types of hazards in healthcare systems and we introduced a new fuzzy model for evaluating and ranking hazards. Finally, we presented a developed software solution, based on the suggested fuzzy model for evaluating and monitoring risk.
Źródło:
International Journal of Occupational Safety and Ergonomics; 2012, 18, 2; 127-136
1080-3548
Pojawia się w:
International Journal of Occupational Safety and Ergonomics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Innovative Computer Technologies for Estimating the Level of Economy Safety: Evolution, Current State and Prospects
Autorzy:
KOSTIUK, Tetiana
OLALI, NATALIIA
MARTYNENKOV, VADYM
KOSTIUK, SERHII
Powiązania:
https://bibliotekanauki.pl/articles/455026.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Rzeszowski
Tematy:
evolution
innovative technology
software system
development strategy
strategic priorities
economy safety
Opis:
This article provides a system analysis of trends in the IT field of the global computer industry that changed the socio-economic conditions of everyday living. In particular, we describe such innovative software as Deductor Studio, Statistics, MS Exel, SPSS, Statgraphics, MapInfo, Mathcad, MatLab, Analyst, Model Economic Equilibrium and Automated Information Systems that are necessary for the implementation of production and circulation in the Enterprise Resource Planning (ERP), which has made it possible to show significant benefits of Statistics10 in the economy. We have scientifically proven that in the next 10 years, there will be a new perspective to-wards developing a system which will be based on software system Statistics, innovative technologies for complex service of e-commerce, which will be one of the main types of business in the development of a global network protocols of electronic data interchange, electronic auctions etc.
Źródło:
Edukacja-Technika-Informatyka; 2017, 8, 1; 169-173
2080-9069
Pojawia się w:
Edukacja-Technika-Informatyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
GMU Safety Interactive Platform Organization and Possibility of its Applications
Autorzy:
Kuligowska, E.
Torbicki, M.
Powiązania:
https://bibliotekanauki.pl/articles/2068776.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Morski w Gdyni. Polskie Towarzystwo Bezpieczeństwa i Niezawodności
Tematy:
data processing
database
critical infrastructure
impact model
prediction
risk
safety
software
Opis:
The organization and a possibility of the Gdynia Maritime University (GMU) Safety Interactive Platform applications are described. The GMU Platform structure and main functions of its particular parts are presented. Moreover, the future plans about the usage and extension of the GMU Platform are shown.
Źródło:
Journal of Polish Safety and Reliability Association; 2018, 9, 2; 99--114
2084-5316
Pojawia się w:
Journal of Polish Safety and Reliability Association
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ł:
Hardware-Software Complex for Predicting the Development of an Ecologically Hazardous Emergency Situation on the Railway
Autorzy:
Lakhno, Valerii
Shalabayeva, Maira
Kryvoruchko, Olena
Desiatko, Alona
Chubaievskyi, Vitalyi
Alibiyeva, Zhibek
Powiązania:
https://bibliotekanauki.pl/articles/27311935.pdf
Data publikacji:
2023
Wydawca:
Polska Akademia Nauk. Czasopisma i Monografie PAN
Tematy:
ecological safety
hardware-software complex
monitoring
environment
emergency situation
railway transport
Opis:
A hardware-software system has been implemented to monitor the environmental state (EnvState) at the site of railway (RY) accidents and disasters. The proposed hardware-software system consists of several main components. The first software component, based on the queueing theory (QT), simulates the workload of emergency response units at the RY accident site. It also interacts with a central data processing server and information collection devices. A transmitter for these devices was built on the ATmega328 microcontroller. The hardware part of the environmental monitoring system at the RY accident site is also based on the ATmega328 microcontroller. In the hardwaresoftware system for monitoring the EnvState at the RY accident site, the data processing server receives information via the MQTT protocol from all devices about the state of each sensor and the device's location at the RY accident or disaster site, accompanied by EnvState contamination. All data is periodically recorded in a database on the server in the appropriate format with timestamps. The obtained information can then be used by specialists from the emergency response headquarters.
Źródło:
International Journal of Electronics and Telecommunications; 2023, 69, 4; 707--712
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Możliwości stosowania programów komputerowych w inżynierii bezpieczeństwa pożarowego
The possibility of applying computer programs in fire safety engineering
Autorzy:
Fliszkiewicz, M.
Krauze, A.
Maciak, T.
Powiązania:
https://bibliotekanauki.pl/articles/373995.pdf
Data publikacji:
2013
Wydawca:
Centrum Naukowo-Badawcze Ochrony Przeciwpożarowej im. Józefa Tuliszkowskiego
Tematy:
bezpieczeństwo
przegląd oprogramowania
inżynieria bezpieczeństwa pożarowego
modelowanie pożarów
fire modeling
fire safety engineering
safety
software overview
Opis:
W artykule przedstawiono ogólny zarys i problematykę związaną z wykorzystaniem programów komputerowych w zakresie analizy i prognozowania wybranych zagrożeń. Dokonano przeglądu oprogramowania i jego możliwości wykorzystania w świetle polskiego prawa. Szczególną uwagę skupiono na dwupoziomowej formule przepisów, która w przyszłości umożliwiać będzie projektowanie obiektów budowlanych w oparciu o metody obliczeniowe. Opisano obszary, w których obecnie wykorzystuje się programy komputerowe w celu oszacowania bezpieczeństwa. Ponadto, autorzy omawiają podstawowe wymagania, jakie powinny spełniać programy do modelowania wybranego zagrożenia. W artykule przedstawiono możliwości programów komputerowych z zakresu modelowania rozwoju pożaru, modelowania zachowania się konstrukcji w czasie pożaru oraz modelowania skutków awarii przemysłowych. Dla każdej z wymienionych dziedzin przygotowano przegląd oprogramowania wraz ze spisem podstawowych funkcji. Zaproponowano wymagania dotyczące formy wprowadzania danych wejściowych oraz formy prezentacji danych wyjściowych. Wszystkie informacje zaprezentowano w formie tabel porównujących możliwości wybranych programów.
The article describes general outline and main problems connected with using computer programs for analysis and forecasting of selected threats. An overview of the software and its possibility to apply in the light of Polish law was presented. Particular attention is focused on the two-tier formula regulations, which in the future will allow to design buildings based on computational methods. The areas in which computer programs are used to assess safety are shown. In addition, the authors discuss the basic requirements to be met by the selected software. The article discusses the possibilities of software development in the field of fire modeling, modeling behavior of the structure during the fire, and modeling the effects of industrial accidents. For each of these areas overview of the software, together with a list of basic functions was prepared. Proposed requirements for input data entry form and presentation of the output were also discussed. All information is presented in the form of tables comparing the capabilities of selected programs.
Źródło:
Bezpieczeństwo i Technika Pożarnicza; 2013, 1; 47-60
1895-8443
Pojawia się w:
Bezpieczeństwo i Technika Pożarnicza
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wpływ procedur i narzędzi stosowanych przy projektowaniu mostów na bezpieczeństwo ich konstrukcji
Impact of bridge design procedures and tools on the safety of bridge structures
Autorzy:
Bąk, Jerzy
Grej, Krzysztof
Pijanowski, Krzysztof
Oleszek, Radosław
Powiązania:
https://bibliotekanauki.pl/articles/24024766.pdf
Data publikacji:
2022
Wydawca:
Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
Tematy:
bezpieczeństwo konstrukcji
procedura obliczeń
błąd oprogramowania
construction safety
calculation procedures
software error
Opis:
W artykule omówiono wpływ procedur stosowanych w obliczeniach konstrukcji mostowych na bezpieczeństwo konstrukcji. Porównano wyniki obliczeń wybranych elementów konstrukcji uzyskane przy zastosowaniu procedur rekomendowanych obecnie w Polsce z wynikami uzyskanymi z użyciem procedur powiązanych z systemem norm PN-S-XXXXX, które były stosowane przed kilkoma laty. Zwrócono uwagę na zwiększoną pracochłonność obliczeń wykonywanych według norm systemu PN-EN, a także na utrudniony proces weryfikacji obliczeń i związane z tym zagrożenie dla konstrukcji spowodowane trudnością w wykrywaniu błędów. Podano przykłady błędów i nieścisłości w oprogramowaniu i kalkulatorach do obliczeń konstrukcyjnych powszechnie stosowanych w Europie (i gdzie indziej). Wskazano warunki, które powinny być spełnione dla ich bezpiecznego użytkowania.
The article discusses the impact of procedures used in the calculation of bridge structures on the safety of structures. A comparison was made between the results of calculations of selected structural elements obtained using procedures currently recommended in Poland and those obtained using procedures associated with the PN-S-XXXXX system of standards which were used several years ago. Attention has been drawn to the increased time-consumption of calculations made according to PN-EN system standards, as well as to the difficult process of verifying calculations and the related threat to structures caused by the difficulty in detecting errors. Examples are given of errors and inaccuracies in software and calculators for structural calculations commonly used in Europe (and elsewhere). Conditions which should be met for their safe use are indicated.
Źródło:
Drogownictwo; 2022, 2-3; 40--48
0012-6357
Pojawia się w:
Drogownictwo
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