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

  Lista filtrów
Wyrównaj
Wyświetlanie 1-10 z 30
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ł
Wyświetlanie 1-10 z 30

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