Filters
total: 3891
filtered: 2868
-
Catalog
- Publications 2868 available results
- Journals 252 available results
- Conferences 116 available results
- Publishing Houses 1 available results
- People 87 available results
- Projects 11 available results
- Research Teams 1 available results
- Research Equipment 1 available results
- e-Learning Courses 69 available results
- Events 5 available results
- Open Research Data 480 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: SAFETY-CRITICAL SOFTWARE
-
Communication and Documentation Practices in Agile Requirements Engineering: A Survey in Polish Software Industry
PublicationRequirements engineering, system analysis and other analytical activities form the basis of every IT project. Such activities are not clearly defined in Agile development methods, but it does not mean that they are absent in an agile project. The aim of our work was to determine which practices related to requirements-related communication and which requirements documenting techniques are used in agile software projects. For this...
-
Towards the assessment of potential impact of unmanned vessels on maritime transportation safety
Publication -
Towards mechanosynthesis of diamondoid structures: iv. The strategy for preliminary implementation of elenbogen's ''mater as software'' concept
PublicationOpublikowana wcześniej (Molecular Electronics and Molecular Electronic Devices, Vol. 1, Chap. 2, CRC Press, Inc. 1993, pp. 31-83) strategia budowy molekularnych urządzeń ulektronicznych w oparciu o polisilany jest rozszerzona w kierunku koncepcji Ellenbogena ''mater as software'' poprzez rozważenie użycia zamkniętej jednościennej nanorórki jako ostrza STM w celu umożliwienia manipulacji cząsteczkami sililenu.
-
Using Statistical Methods to Estimate The Worst Case Response Time of Network Software Running on Indeterministic Hardware Platforms
PublicationIn this paper we investigate whether the statistical Worst Case Execution Time (WCET) estimation methods devised for embedded platforms can be successfully applied to find the Worst Case Response Time (WCRT) of a network application running on a complex hardware platform such as a contemporary commercial off-the-shelf (COTS) system. Establishing easy-to-use timing validation techniques is crucial for real-time applications and...
-
Maritime Communication and Sea Safety of the Future - Machnine-type 5G Communication Concept
PublicationThe article presents the concept of a system based on 5G network and M2M communication increasing maritime safety. Generally, the focus was on presenting a proposal for a hierarchical, hybrid, cooperative system with M2M communication coordinated with BAN networks. The possi-ble applications of M2M communication at sea were also presented.
-
Assessment of the Speed Management Impact on Road Traffic Safety on the Sections of Motorways and Expressways Using Simulation Methods
PublicationMethods used to evaluate the impact of Intelligent Transport System (ITS) services on road safety are usually based on expert assessments or statistical studies. However, commonly used methods are challenging to apply in the planning process of ITS services. This paper presents the methodology of research using surrogate safety measures calculated and calibrated with the use of simulation techniques and a driving simulator. This...
-
Critical analysis of laboratory measurements and monitoring system of water-pipe network corrosion-case study.
PublicationCase study of corrosion failure of urban water supply system caused by environmental factors was presented. Nowadays corrosion monitoring of water distribution systems is an object of major concern. There is possibility of application broad range of techniques like gravimetric and electrochemical. Both kinds of techniques can be applied in laboratory and field conditions. In many cases researches limit the case analysis to measurements...
-
A Systematic Literature Review on Implementing Non-functional Requirements in Agile Software Development: Issues and Facilitating Practices
PublicationAgile Software Development methods have become a widespread approach used by the software industry. Non-functional requirements (NFRs) are often reported to be a problematic issue for such methods. We aimed to identify (within the context of Agile projects): (1) the issues (challenges and problems) reported as affecting the implementation of NFRs; and (2) practices that facilitate the successful implementation of NFRs. We conducted...
-
The State and Critical Assessment of the Sharing Economy in Europe
Publication -
Critical section maintenance in a distributed agent system
Publication -
ON ESTIMATION OF OCCUPANT SAFETY IN VEHICULAR CRASHES INTO ROADSIDE OBSTACLES USING NON-LINEAR DYNAMIC ANALYSIS
PublicationThe article describes a comparison of two general methods of occupants safety estimation based on a numerical examples. The so-called direct method is mainly based on the Head Injury Criterion of a crash test dummy in a vehicle with passive safety system while the indirect method uses a European standards approach to estimate impact severity level. Numerical simulations in LS-DYNA have been conducted.
-
AGREE—Analytical GREEnness Metric Approach and Software
Publication -
Identifying Software Project Risks with the Process Model.
PublicationArtykuł prezentuje podejście do identyfikacji ryzyka w projektach informatycznych oparte na modelowaniu procesów. Podejście obejmuje jawne modelowanie procesów programowych oraz identyfikację ryzyka dwoma dedykowanymi technikami. Artykuł wprowadza meta-model dla wyrażenia ryzyka procesu. Następnie szczegółowo przedstawiono dwie systematyczne techniki identyfikacji ryzyka odwołujące się do modelu procesu i skupiające uwagę analityka...
-
Software for development and communication with FPGA based hardware
Publication -
Institutionalization of knowledge sharing in a software development organization
PublicationZaproponowano podejście modelowe do problemu wymiany wiedzy. Omówiono implementację modelu na przykładzie instytucji zajmującej się produkcja oprogramowania komputerowego.
-
Knowledge management embedded in software engineering processes
PublicationW pracy omówiono systemy i narzędzia wspomagające wykrywanie wiedzy ukrytej w procesach związanych z wytwarzaniem skomplikowanych systemów oprogramowania
-
Knowledge management embedded in software engineering processes
PublicationW pracy przedstawiono model systemu pozyskiwania wiedzy zawartej w procesach inżynierii oprogramowania.
-
Elastic wave propagation software - visualization methods
PublicationW pracy omówiono program do analizy propagacji fal spręzystych w 2 wymiarowych elementach konstrukcyjnych bazujący na metodzie spektralnych elementów skończonych.
-
Knowledge management and fuzzy modelling in software engineering
PublicationPraca zawiera rozdział poświecony problematyce budowy systemów z bazami wiedzy dla wspomagania procesów zarządzania. W rozdziale tym przedstawiono metody budowy systemów dla potrzeb zarządzania koncentrując uwagę na systemach opartych na wiedzy. Następnie omówiono możliwości zastosowania teorii zbiorów rozmytych do modelowania wiedzy. Na zakończenie przedstawiono przykład wykorzystania zbiorów rozmytych i systemów opartych na wiedzy...
-
A method of software project risk identyfication and analysis
Publication.
-
The impact of security aspects on functional safety analysis = Wpływ aspectów ochrony informacji na wyniki analiz bezpieczeństwa funkcjonalnego
PublicationIt can be said that a distributed control and protection system’s security level may have a significant impact on functional safety analyses and their results. However the issue of integrating those both aspects are difficult and usually is neglected during functional safety analyses. Known methods of functional safety analyses don’t take into consideration this kind of concept also. This paper discusses an attempt to integrate...
-
A concept of software extension of 3D low-PRF radar systems to 4D semi-medium-PRF radar systems
PublicationWe present a concept of software modification of three-dimensional (3D) radar systems, designed to work in the low pulse repetition frequency mode, that equips them with the ability to estimate the radial velocity and to properly measure the range of targets that are detected outside the radar’s instrumented range. Despite the fact that the proposed modifications are designed so as to require only minor changes in software, they...
-
A total scoring system and software for complex modified GAPI (ComplexMoGAPI) application in the assessment of method greenness
PublicationEvaluating analytical methods with innovative metrics is essential to ensure the effectiveness of analytical procedures. Various approaches have been proposed to assess the performance of an analytical method and its environmental consequences, as sustainable environment and green chemistry ideology are of high importance nowadays. Considering greenness evaluation of developed analytical procedures, Green Analytical Procedure Index...
-
Assessing the Effects of the Road Surface and Weather Conditions on Road Safety
PublicationWhen transport is analysed for its safe delivery the focus is mainly on assessing the safety of roads and the risk of undesired events. These include road accidents, an occurrence which is relatively rare and random. Randomness means that accidents depend on several factors which are partly deterministic (can be controlled) and partly stochastic (random and unpredictable). The set of crash contributing factors can be classified...
-
Roads safety programmes as an effective tool for developing system-based road safety policies
PublicationW sytuacji niskiego poziomu bezpieczeństwa ruchu drogowego w Polsce, dążąc do realizacji rekomendacji Unii Europejskiej, Polska przyjęła ambitny cel zmniejszenia liczby ofiar śmiertelnych wypadków drogowych o 50% w okresie 2003-2013. Osiągnięcie tego celu wymaga podjęcia skoordynowanych działań wskazanych we wcześniej przygotowanych programach bezpieczeństwa ruchu drogowego. W artykule scharakteryzowano przyjęte w tych programach...
-
Safety Qualification Process for an Autonomous Ship Prototype – a Goal-based Safety Case Approach
Publication -
Accurate electrothermal modelling of high frequency DC-DC converters with discrete IGBTs in PLECS software
PublicationIn the paper, a novel, improved method of the IGBT junction temperature computations in the PLECS simulation software is presented. The developed method aims at accuracy of the junction temperature computations in PLECS by utilising a more sophisticated model of transistor losses, and by taking into account variability of transistor thermal resistance as a function of its temperature. A detailed description of the proposed method,...
-
Proposed method for estimating the costs of safety barrier life cycle
PublicationToday barrier types are frequently selected for their price with little regard for the total costs the structure will incur over its lifetime. One of the basic tools designed to manage road infrastructure is the life cycle cost method (LCC, Life cycle cost). It sums up the costs to plan, design, build, operate (use and maintain) and decommission a road structure. Having developed dynamically at the turn of the century the method...
-
Abstract class method use on common characteristics of UE regions for better road safety management in these regions.
PublicationRoad Safety is the significant problem requiring still a lot of attention. Despite lots of actions for road fatalities reduction, in many countries or regions situation doesn't improve as good as in the other cases. Even if these actions are very similar. It is so difficult issue, that the answer why is that happens hasn't been found yet. In this paper authors focused on the road network of European regions, classified as NUTS...
-
Traffic Safety in the TRISTAR System
Publication -
Electrical safety in medical locations
PublicationW artykule zwrócono uwagę na niezawodność zasilania i ochronę przeciwporażeniową w pomieszczeniach użytkowanych medycznie. Przedstawiono wymagania stawiane zasilaniu, zabezpieczeniom i obwodom sygnalizacji w tych pomieszczeniach, według norm międzynarodowych. Zaprezentowano zasady doboru zabezpieczeń ochronnych oraz przykładowe rozwiązanie zasilania sali operacyjnej w szpitalu.
-
Road safety system in Poland
PublicationCelem niniejszego artykułu jest przedstawienie kluczowych dla poprawy brd elementów diagnozy stanu i systemu bezpieczeństwa w Polsce, które jednocześnie mogłyby wejść w zakres działań objętych Projektem ZEUS. Ocenę diagnozy wykonano poprzez porównanie z wzorcami z tych krajów, które od lat uważa się za liderów w zakresie bezpieczeństwa.
-
Integrated system of transport safety
PublicationW styczniu 2007 Minister Nauki i Szkolnictwa Wyższego, na podstawie konkursu na projekt badawczy zamawiany PBZ 2/2006, podjął decyzję o przyznaniu prawa realizacji trzyletniego projektu pt. ''Zintegrowany system bezpieczeństwa transportu'' konsorcjum naukowemu w składzie: Politechnika Gdańska, Politechnika Śląska, Instytut Techniczny Wojsk Lotniczych w Warszawie oraz Akademia Morska w Szczecinie. Przedmiotem niniejszego referatu...
-
The elusive male microbiome: revealing the link between the genital microbiota and fertility. Critical review and future perspectives
Publication -
Methodology of research on the impact of ramp metering on the safety and efficiency of road traffic using transport models
PublicationThe methods currently used to assess the impact of Intelligent Transport Systems (ITS) services on traffic safety and efficiency are mainly based on expert assessments, statistical studies or traffic models that need further development. There is no structured, uniform evaluation method to compare the impact of different ITS services and their different configurations. The impact of ITS deployment on the road network adjacent to...
-
Policy Monitoring on Accessible Technology for Inclusive Education – Research Findings and Requirements for a Software Tool
PublicationStatistics about disabled people usually do not receive as much attention as statistics highlighting other socio-economic problems. However, such statistics is important due to its actual weight.According to the World Health Organization (WHO), about 15% of the world population, meaning one billion people, live with disabilities, and 80% of them live in developing countries. UNESCO claims that 90% of the children with disabilities...
-
Towards the development of a system-theoretic model for safety assessment of autonomous merchant vessels
Publication -
Time reversal invariant single-gap superconductivity with upper critical field larger than the Pauli limit in NbIr2B2
PublicationRecently, compounds with noncentrosymmetric crystal structure have attracted much attention for providing a rich playground in search for unconventional superconductivity. NbIr2B2 is a new member to this class of materials harboring superconductivity below Tc = 7.3(2) K and a very high upper critical field that exceeds Pauli limit. Here we report on muon spin rotation (μSR) experiments probing the temperature and field dependence...
-
Time-series analysis of road safety trends aggregated at national level in Europe for 2000-2010
PublicationThe reader will find in this study road safety modelling theory and time-series analysis techniques, applications to long period data of injury accidents and casualities, aggregared at national level
-
Electrical safety in low-voltage DC microgrids with B-type residual current devices
PublicationResidual current devices (RCDs) are most popular devices used in low-voltage installations for protection against electric shock and fire. In cases of high risk of electric shock the application of RCDs is mandatory. Currently, the spread of local direct current (DC) microgrids is widely considered. This creates new challenges for protective systems, in particular those based on RCDs. The main purpose of the research is to test...
-
IMPLEMENTING THE QUALITY ASSURANCE SYSTEM AND ASSURING HEALTH SAFETY IN THE LIGHT OF INCREASING BREAD QUALITY
PublicationThe article presents rules, requirements, and norms for quality management and health safety assurance systems among small and medium bakeries. This group of businesses does not have the obligation of implementing or certifying specific systems. They are, however, implemented in order to increase the quality of the bread or reach a better market position. Also, the results of a 2022 study of 53 bakeries’ implementation of individual...
-
Integrated Functional Safety and Cybersecurity Evaluation in a Framework for Business Continuity Management
PublicationThis article outlines an integrated functional safety and cybersecurity evaluation approach within a framework for business continuity management (BCM) in energy companies, including those using Industry 4.0 business and technical solutions. In such companies, information and communication technology (ICT), and industrial automation and control system (IACS) play important roles. Using advanced technologies in modern manufacturing...
-
Concept of Multifactor Method and Non-Functional Requirements Solution to Increase Resilience through Functional Safety with Cybersecurity Analysis
PublicationIn the process of designing safety systems, an integrated approach in safety and cybersecurity analysis is necessary. The paper describes a new technique of increasing resilience through integrated analysis of functional safety and cybersecurity. It is a modeling methodology based on the combination of the multifactor method utilizing modified risk graphs, used previously for Safety Integrity Level (SIL) assessment, and the Non-Functional...
-
HARDWARE AND SOFTWARE OF DIAGNOSTIC SYSTEM OF WHEELED TRACTORS = Hardwer i softwer systemu diagnostycznego ciągników kołowych
PublicationPodstawowym elementem systemu diagnostycznego jest komputer pokładowy Fujitsu FUTURO S100 z chłodzeniem pasywnym w wykonaniu odpornym na drgania i wstrząsy, z pamięcią Compact Flesh 16Gb. Do komputera dołączony jest monitor dotykowy NVOX LCD 10" VGA/FVAT. Oprogramowanie komputera obejmujesystem operacyjny Windows XP-2000, driver konwertera USB/DeviceNet oraz opracowany program diagnostyczny. Komputer połączony jest łączem USB z...
-
Risk assessment methodologies for pedestrian crossings without traffic lights – Warsaw case study – pedestrian safety assessment
PublicationBased on data from 2015 [1], it was found that 31% of all fatalities in road accidents in Poland were pedestrians. In places accessible to pedestrian traffic 74.2% of total accidents involving pedestrians were recorded. Approximately 53.9% of accidents involving pedestrians take place in the proximity of pedestrian crossings. In the context of improving the safety of vulnerable road users, an assessment of the condition of infrastructure...
-
Mini-Cave Automatic Virtual Environment Application in Security, Safety, and Defence Studies
PublicationThe aim of the article is to analyse the use of mini-Cave Automatic Virtual Reality Environment (mini-CAVE) in academic studies on security, safety, and defence. The literature review based on Web of Science database and the case study of the War Studies University research activities indicated the mini-CAVE can be used in two areas as a research infrastructure and as a didactic tool. It can be concluded that due to the development...
-
Neutralising Responsibility: A Critical Analysis of an Airline’s Climate Disclosures
PublicationSustainability reporting provides companies with a medium through which they can communicate their non-financial impacts to stakeholders. The airline industry has been much at the centre of the climate change debate in recent years, which is why it is hardly surprising that airlines seek to take a proactive stance in such reporting. This study critically assesses how an airline based in the Scandinavian region constructs sustainability...
-
Heat and mass exchange in the process of condensation on critical droplets.
PublicationSformułowano model wzrostu kropli krytycznej podając równania zmiany masy i temperatury kropli. Pokazano formę zlinearyzowaną tych równań dobrze aproksymującą wzrost kropli w poblizu wymiaru krytycznego. Podano rozwiązanie układu zlinearyzowanego uzależniając zmianę temperatury od zmiany masy kropli i czasu charakterystycznego.
-
Critical Reappraisal of Casagrande and Taylor Methods for Coefficient of Consolidation
Publication -
Uniform Expansivity Outside a Critical Neighborhood in the Quadratic Family
Publication