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-15 z 30
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ł:
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ł
Tytuł:
Virtual test bed for maritime safety assessment
Autorzy:
Hahn, A.
Gollücke, V.
Buschmann, C.
Schweigert, S.
Powiązania:
https://bibliotekanauki.pl/articles/135126.pdf
Data publikacji:
2015
Wydawca:
Akademia Morska w Szczecinie. Wydawnictwo AMSz
Tematy:
virtual test bed
co-simulation
e-Navigation
maritime traffic simulation
safety assessment
sensor simulation
hardware in the loop
software in the loop
model in the loop
Opis:
“Safe voyage from berth to berth”: This is the goal of all e-Navigation strains driven by new technologies, new infrastructures, and new organizational structures on bridge, on shore, as well as in the cloud. To facilitate these efforts suitable engineering and safety/risk assessment methods are required. Understanding maritime transportation as a sociotechnical system allows the usage of system-engineering methods. Simulation-based test beds for verification and validation (V +V) of e-Navigation technologies are important methods to obtain functional safety and reliability. The modeling and simulation toolset HAGGIS is a cosimulation system for the evaluation of e-Navigation concepts and systems. It provides a maritime traffic simulator and a physical world (n-body) simulator and services for finding rare events of failures. HAGGIS is accompanied by the physical test bed LABSKAUS, which implements a reference port and waterways. This paper describes an integrated and seamless approach for developing new e-Navigation technologies starting with virtual simulation-based safety assessment and ending in physical real-world demonstrations. It gives an overview of the actual test bed and introduces requirements, concepts and elements of HAGGIS and LABSKAUS, which are joined in the e-Maritime Integrated Reference Platform (eMIR) test bed.
Źródło:
Zeszyty Naukowe Akademii Morskiej w Szczecinie; 2015, 44 (116); 116-122
1733-8670
2392-0378
Pojawia się w:
Zeszyty Naukowe Akademii Morskiej w Szczecinie
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ł:
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ł:
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ł:
Software solutions for GMDSS network and equipment
Autorzy:
Ilcev, S.D.
Powiązania:
https://bibliotekanauki.pl/articles/2211603.pdf
Data publikacji:
2022
Wydawca:
Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
Tematy:
communication
communication at sea
global maritime distress and safety system
GMDSS network
GMDSS equipment
software solutions for GMDSS
COSPAS-SARSAT
maritime cyber security
Opis:
This paper introduces software solutions for communication, equipment control, and management of oceangoing ships for enhanced Global Maritime Distress and Safety System (GMDSS) network and equipment. This software controls all maritime transmission systems and integrates communications software at level of server and workstations. Equipment control software is used to control and maintained locally or remotely transceivers, transmitters, receivers and other hardware. Special management software is included to process, analyze and exploit the various types of information generated by GMDSS networks and equipment. This papers are also includes the concept of software solutions on radio and satellite GMDSS ship terminals, on radio and satellite GMDSS coast terminals, and as well as in GMDSS Cospas-Sarsat ground terminals. In addition, the cybersecurity system in GMDSS security management is also described in this paper.
Źródło:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation; 2022, 16, 3; 463--472
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ł:
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ł:
Slope stability analysis with GEO 5 software for “Łaski” Landslide in Międzybrodzie Bialskie
Autorzy:
Michalski, A.
Powiązania:
https://bibliotekanauki.pl/articles/100810.pdf
Data publikacji:
2013
Wydawca:
Uniwersytet Śląski. Wydział Nauk o Ziemi
Tematy:
osuwisko
modelowanie numeryczne
oprogramowanie GEO5
współczynnik bezpieczeństwa
landslide
numerical modeling
GEO5 software
factor of safety
Opis:
Numerical modeling is an important tool to estimate slope stability. This publication shows application of a GEO 5 – slope stability software to evaluate stability of the “Łaski” Landslide in Międzybrodzie Bialskie. The slide surfaces, which were indentified in drill cores, were used to compute factors of safety (FS). The data from inclinometric measurements were used to verify the numerical model of the landslide. Calculations were carried out for three scenarios: first with normal water level, second scenario with lowered water level of 5 m and 10 m and the third scenario without water with the worst courses of sliding surfaces. As the result for each scenario the factors of safety were estimated. It was found that despite of water lowering and stabilization of existed surfaces, there is a considerable risk of a new sliding surfaces occurrence.
Źródło:
Contemporary Trends in Geoscience; 2013, 2, 1; 34-40
2299-8179
Pojawia się w:
Contemporary Trends in Geoscience
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Sample calculations using a draft method for assessment of the vulnerability to pure loss of stability of a fishing vessel
Autorzy:
Chorab, P.
Powiązania:
https://bibliotekanauki.pl/articles/360501.pdf
Data publikacji:
2014
Wydawca:
Akademia Morska w Szczecinie. Wydawnictwo AMSz
Tematy:
stability of a fishing vessel
stability-related safety
MAXSURF software
pure loss of stability
Opis:
The paper presents sample calculations concerning the assessment of the vulnerability to pure loss of stability of a fishing vessel. Calculations were performed for level 1 and level 2 of the method under consideration. In the summary the author discusses the results of calculations. The paper describes the results method for assessment of the stability criteria for a fishing vessel. Calculations were performed by software MAXSURF after the implementation of the algorithm. The result of the calculation are measure the phenomenon criteria of pure loss of stability of a fishing vessel.
Źródło:
Zeszyty Naukowe Akademii Morskiej w Szczecinie; 2014, 40 (112); 39-46
1733-8670
2392-0378
Pojawia się w:
Zeszyty Naukowe Akademii Morskiej w Szczecinie
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Research of friction indices influence on the freight car dynamics
Issledovanie vlijanija pokazatelejj ttrenija na dinamiku gruzovogo vagona
Autorzy:
Myamlin, S.
Neduzha, L.
Ten, A.
Shvets, A.
Powiązania:
https://bibliotekanauki.pl/articles/792779.pdf
Data publikacji:
2013
Wydawca:
Komisja Motoryzacji i Energetyki Rolnictwa
Tematy:
freight car
friction
dynamic parameter
mathematical modelling
software package
theoretical study
dynamic loading
railway transport
road safety
Źródło:
Teka Komisji Motoryzacji i Energetyki Rolnictwa; 2013, 13, 4
1641-7739
Pojawia się w:
Teka Komisji Motoryzacji i Energetyki Rolnictwa
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ł:
Narzędzia wspomagające zarządzanie bezpieczeństwem pracy w przedsiębiorstwie - komputerowy program doboru środków ochrony indywidualnej DOBÓR
Autorzy:
Pościk, A.
Biernacki, A.
Powiązania:
https://bibliotekanauki.pl/articles/180640.pdf
Data publikacji:
2001
Wydawca:
Centralny Instytut Ochrony Pracy
Tematy:
środki ochrony indywidualnej
zarządzanie bezpieczeństwem pracy
program komputerowy
personal protective equipment
health and safety management
computer software
Źródło:
Bezpieczeństwo Pracy : nauka i praktyka; 2001, 2; 2-6
0137-7043
Pojawia się w:
Bezpieczeństwo Pracy : nauka i praktyka
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ł:
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ł
Wyświetlanie 1-15 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