Filters
total: 3941
filtered: 2910
-
Catalog
- Publications 2910 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 73 available results
- Events 5 available results
- Open Research Data 484 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: SAFETY-CRITICAL SOFTWARE
-
Reliability And Safety As An Objective Of Intelligent Transport Systems In Urban Areas
PublicationTechnologies that use transport telematics offer tools for strengthening urban transport systems. They rationalise the use of the existing infrastructure and transport management systems, increase their reliability and safety and improve the transport behaviour of residents, while reducing the operating costs of transport. The main reason for using Intelligent Transport Systems (ITS) is the need to implement measures to reduce...
-
Selecting Requirements Documentation Techniques for Software Projects: a Survey Study
PublicationA significant number of techniques dedicated to requirements specification and documentation is described in the available sources. As there is no purpose to use all of them, a selection has to be made, taking into consideration the context of a given software project, for example its size, usage of agile approach or stakeholders' technical competency. This paper is intended to provide guidelines for such selection. We reviewed...
-
Know your safety indicator – A determination of merchant vessels Bow Crossing Range based on big data analytics
PublicationEven in the era of automatization maritime safety constantly needs improvements. Regardless of the presence of crew members on board, both manned and autonomous ships should follow clear guidelines (no matter as bridge procedures or algorithms). To date, many safety indicators, especially in collision avoidance have been proposed. One of such parameters commonly used in day-to-day navigation but usually omitted by researchers is...
-
Service-based Resilience via Shared Protection in Mission-critical Embedded Networks
PublicationMission-critical networks, which for example can be found in autonomous cars and avionics, are complex systems with a multitude of interconnected embedded nodes and various service demands. Their resilience against failures and attacks is a crucial property and has to be already considered in their design phase. In this paper, we introduce a novel approach for optimal joint service allocation and routing, leveraging virtualized...
-
Functional safety in the context of risk appraisal criteria and cost-benefit analysis
PublicationRozdział przedstawia aktualne zagadnienia dotyczące analizy kosztów i efektów rozwiązań związanych z bezpieczeństwem na przykładzie systemów elektrycznych, elektronicznych i programowalnych elektronicznych (E/E/PE) pełniących funkcje sterowania i zabezpieczeń w obiektach podwyższonego ryzyka. Podkreśla się znaczenie kryteriów związanych z bezpieczeństwem, takich jak tolerowalność ryzyka (TOR) w kontekście analizy kosztów i efektów...
-
Pedestrian Safety at Midblock Crossings on Dual Carriageway Roads in Polish Cities
PublicationRoad crossings across two or more lanes in one direction are particularly dangerous due to limited sight distance and high vehicle speeds. To improve their safety, road authorities should provide safety treatments. These may include additional measures to reduce speed and narrow the road cross-section and the introduction of active pedestrian crossings. Equipped with flashing lights activated automatically when a pedestrian is...
-
Theoretical modelling of efficient fire safety water networks by certified domination
PublicationThis paper explores a new way of designing water supply networks for fire safety using ideas from graph theory, focusing on a method called certified domination. Ensuring a good water supply is crucial for fire safety in communities, this study looks at the rules and problems in Poland for how much water is needed to fight fires in different areas and how this can be achieved at a lowest possible cost. We present a way to plan...
-
Automatic road traffic safety management system in urban areas
PublicationTraffic incidents and accidents contribute to decreasing levels of transport system reliability and safety. Traffic management and emergency systems on the road, using, among others, automatic detection, video surveillance, communication technologies and institutional solutions improve the organization of the work of various departments involved in traffic and safety management. Automation of incident management helps to reduce...
-
DS-CDMA receiver in Software Defined Radio technology. Admission to the implementation of a RAKE receiver
PublicationProgrammable radio is one of the latest trends in the construction of multi-standard receivers. The technology, called Software Defined Radio (SDR), is also an ideal test platform that allows to try out different algorithms of signal receiving. This particular feature led to choose this platform to implement a DS-CDMA receiver (Direct Sequence Code Division Multiple Access). The use of SDR allows for a gradual upgrade of data processing...
-
The KLC Cultures Synergy for Organizational Agility. Trust, Risk-Taking Attitude, and Critical Thinking as Moderators
PublicationOrganizational agility is visible in organizational change adaptability, and it is based on the development of dynamic capabilities, strategic sensitivity of leaders, accuracy and timing of decision-making, learning aptitude, flexibility in thinking and acting, and smooth resource flow across organizations, including the knowledge resource. In such a context, this study aimed to expose how the knowledge, learning, and collaboration...
-
Supporting Software Project Management Processes Using the Agent System
PublicationThe natural development of information technology area stimulates intense growth of various technologies which support basic organization processes. The range of technologies implies appropriate management thereof, as well as accurate correspondence with conducted activities. Abandonment of activities within individual branches in favour of project approach to performed assignments (especially those connected with software development)...
-
Pedestrian safety in road traffic – studies, recommendations and proposed improvements
PublicationPedestrians are involved and most frequently the victims of every third road accident in Poland. Pedestrian accidents most frequently occur in complex circumstances, as a result of many factors related to the behaviour of drivers and pedestrians. The basic parameters that determine road safety include the perception of traffic and visibility on the road. The paper will present the results of research conducted within the project...
-
Implementation of high-speed data transmission technological demonstrator using software defined radio technology
PublicationIn the article implementation of high-speed data transmission technological demonstrator using software defined radio technology is presented. A system architecture design including asymmetric framing transmission organization, which differs from the ones used in cellular systems is described. The construction of technological demonstrator consisting of management unit, radio unit and programmable multithreaded software performing...
-
Effects of safety barrier life cycle cost factors - identification and analysis
PublicationThe costs borne by road infrastructure authorities for managing and maintaining road devices such as safety barriers may be very high. This has prompted the need for identifying and analysing in detail all factors that influence the costs of safety barriers throughout their service life. To meet that need, the authors used international experience and field data collected under the LifeRoSE project to define the cost structure...
-
On a systematic perspective on risk for formal safety assessment (FSA)
Publication -
Implementation of high-speed data transmission technological demonstrator using software defined radio technology
PublicationIn the article implementation of a high-speed data transmission technological demonstrator using software defined radio technology is presented. A system architecture design including asymmetric framing transmission organization, which differs from the ones used in cellular systems is described. The construction of technological demonstrator consisting of a management unit, radio unit and programmable multi-threaded software performing...
-
Visual method for detecting critical damage in railway contact strips
PublicationEnsuring an uninterrupted supply of power in the electric traction is vital for the safety of this important transport system. For this purpose, monitoring and diagnostics of the technical condition of the vehicle's power supply elements are becoming increasingly common. This paper presents a new visual method for detecting contact strip damage, based on measurement and analysis of the movement of the overhead contact line (OCL)...
-
Spatial differentiation of road safety in Europe based on NUTS-2 regions
PublicationRoad safety varies significantly across the regions in Europe. To understand the factors behind this differentiation and the effects they have, data covering 263 NUTS-2 (Nomenclature of Territorial Units for Statistics) regions across Europe (European Union and Norway) have been analysed. The assessment was made using Geographically Weighted Regression (GWR). As a dependent variable the Road Fatality Rate (RFR – number of fatalities...
-
A new open-source software developed for numerical simulations usingdiscrete modeling methods
PublicationThe purpose of this work is to present the development of an open-source software based on a discrete description of matter applied to study the behavior of geomaterials. This software uses Object Oriented Programming techniques, and its methodology design uses three different methods, which are the Discrete Element Method (DEM) [F. Donzé, S.A. Magnier, Formulation of a three-dimensional numerical model of brittle behavior, Geophys....
-
Molecular Strategy for Survival at a Critical High Temperature in Eschierichia coli
PublicationThe molecular mechanism supporting survival at a critical high temperature (CHT) in Escherichia coli was investigated. Genome-wide screening with a single-gene knockout library provided a list of genes indispensable for growth at 47°C, called thermotolerant genes. Genes for which expression was affected by exposure to CHT were identified by DNA chip analysis. Unexpectedly, the former contents did not overlap with the latter except...
-
Uncertainty assessment in the safety and security oriented risk analyses
PublicationW artykule przedstawiono uwzględnienie oceny niepewności w procesie związanym z analizą ryzyka i analizą bezpieczeństwa oraz ochroną informacji. Przedstawiona została koncepcja oceny bezpieczeństwa i zarządzania ryzykiem z uwzględnieniem analizy warstw zabezpieczeń LOPA. W artykule nakreślono wyzwania związane z integracją podejścia oceny bezpieczeństwa (safety) i ochrony informacji (security) w projektowaniu systemów zabezpieczeń...
-
On Software Unit Testing For Security and Performance Gain At Unit Level
PublicationPerformance and security are software (SW) application attributes situated on the opposite corners of system design. In the most drastic example the most secure component is the one totally isolated from the outside world, with communication performance reduced to zero level (e.g. disconnected physically from the network, placed inside a Faraday cage to eliminate possible wireless accessibility). On the other hand the most performance-optimized...
-
On Software Unit Testing For Improving Security And Performance Of Distributed Applications
PublicationPerformance and security are software (SW) application attributes situated on the opposite corners of system design. In the most drastic example the most secure component is the one totally isolated from the outside world, with communication performance reduced to zero level (e.g. disconnected physically from the network, placed inside a Faraday cage to eliminate possible wireless accessibility). On the other hand the most performance-optimized...
-
Determination of equivalent circuit parameters of an induction motor using field calculation software
PublicationSimulation of the drive system comprising a power electronic converter and an induction motor requires that the equivalent circuit parameters of the motor are known. These parameters can be either measured or calculated. A method of calculation of self and mutual inductances that are parameters of a polyphase model of the motor is presented in the paper. All self-inductances and mutual inductances have been calculated using the...
-
Critical review of electronic nose and tongue instruments prospects in pharmaceutical analysis
PublicationElectronic nose (enose, EN) and electronic tongue (etongue, ET) have been designed to simulate human senses of smell and taste in the best possible way. The signals acquired from a sensor array, combined with suitable data analysis system, are the basis for holistic analysis of samples. The efficiency of these instruments, regarding classification, discrimination, detection, monitoring and analytics of samples in different types...
-
Improvement of Task Management with Process Models in Small and Medium Software Companies
PublicationSmall and medium software companies exhibit many special features that give reason for a dedicated approach to process improvement. They often cannot afford implementing maturity models or quality standards both in terms of time and money. Instead, they expect simpler solutions that can allow to run projects in more systematic and repeatable way, increase quality and knowledge management. In this paper, we present a method focused...
-
Application of the LifeRoSE method in funcionality evaluation of road safety equipment
PublicationThe article presents a mathematical model of the life cycle estimation method of road safety equipment. Then the model was adjusted to estimate the life cycle costs of the chosen horizontal road marking. Using the LCC method, the functionality of the horizontal marking was evaluated in terms of efficiency, durability and economic effectiveness. The article also presents the impact of selected factors on the life cycle costs of...
-
AUGMENTATION OF THE CRITICAL HEAT FLUX IN WATER-Al2O3, WATER-TiO2 AND WATER-Cu NANOFLUIDS
PublicationThe main aim of the proposed study is therefore recognition of the phenomena accompanying nucleate boiling crisis of selected nanofluids during boiling on horizontal tubes of various outside diameters. Of particular interest is impact of contact angle and tube diameter on the value of critical heat flux. The results obtained should give more light on the nature of nucleate boiling crisis and will serve as a basis for future theoretical...
-
Weakly connected domination critical graphs
PublicationPraca dotyczy niektórych klas grafów krytycznych ze względu na liczbę dominowania słabo spójnego.
-
The upper critical field in doped MgCNi3
PublicationDyskutowany jest wpływ domieszkowania MgCNi3 na górne pole krytyczne (H_c2). H_c2 monotonicznie maleje wraz ze wzrostem koncentracji domieszki. Silniejszy wpływ widoczny w przypadku domieszkowania Fe może być tłumaczony poprzez efekt rozrywania nadprzewodzących par Coopera poprzez centra magnetyczne tworzone przez domieszki Fe.
-
Determination of the minimal critical rotational speeds of the circular saw blades with the quasi-twin resonant frequencies
PublicationTo determine the minimal critical rotational speeds of the circular saw blades is the fundamental aspect of obtaining the range of the rotational operating speeds, by which the circular saw blade can work with required stability. While for the circular saw blades with full-homogeneous bodies the determination of such rotational speeds is the relatively low level of difficulty function, whereas for circular saw blades with more...
-
Driver Fatigue and Road Safety on Poland's National Roads
PublicationThis paper presents an overview of factors causing driver fatigue as described in the literature. Next, a traffic crash database for 2003–2007 is used to identify the causes, circumstances and consequences of accidents caused by driver fatigue on Poland’s national roads. The results of the study were used to build a model showing the relationship between the concentration of road accidents and casualties, and the time of day. Finally,...
-
Driver Fatigue and Road Safety on Poland’s National Roads
Publication -
Software defined HF data modem
PublicationW artykule przedstawiono koncepcję budowy modemu krótkofalowego, opartego na technologii radia programowego. Zaproponowano rozwiązanie warstwy sprzętowej i programowej modemu, które zostało zweryfikowane na drodze pomiarowej w warunkach laboratoryjnych.
-
Risk Identification Patterns for Software Projects.
PublicationArtykuł prezentuje metodę identyfikacji ryzyka w projektach informatycznych z użyciem wzorców ryzyka odnoszących się do modelu procesu projektowego. W artykule zdefiniowano meta-model dla modelowania procesów ukierunkowany na analizę ryzyka oraz proste i złożone wzorce ryzyka wywiedzione z tego meta-modelu, jak również pokazano przykładowe użycie wzorców do opisu czynników ryzyka odnoszących się do modelu RUP. Metodę poddano walidacji...
-
A Qualitative Study on Non-functional Requirements in Agile Software Development
PublicationWidespread use of agile software development (ASD) methods can be observed nowadays. Non-functional requirements (NFRs) are often reported to be a problematic issue for agile projects, since ASD methods tend to neglect NFRs while focusing on incremental delivery of functional features. Despite that, only very few studies have explored the requirements engineering practices used in ASD and dedicated particularly to NFRs. Objective:...
-
Yade-open DEM: an open-source software using a discrete element methodto simulate granular material
PublicationPurpose - YADE-OPEN DEM is an open source software based on the Discrete Element Method which uses object oriented programming techniques. The paper describes the softwarearchitecture.Design/methodology/approach - The DEM chosen uses position, orientation, velocity and angular velocity as independent variables of simulated particles which are subject to explicit leapfrog time-integration scheme (Lagrangian method). The three-dimensional...
-
Impact of Intelligent Transport Systems Services on the Level of Safety and Improvement of Traffic Conditions
PublicationThe positive effects of the services of Intelligent Transport Systems (ITS) on the level of transport systems operation was confirmed by long-term studies conducted, inter alia, in the USA, Japan and Europe. Benefits resulting from the application of ITS services can be presented through performance indicators. The indicators represent in a numerical or qualitative manner to what extent ITS services can contribute to improving...
-
Scientific Collaboration, Citation and Topic Analysis of International Conference on Agile Software Development Papers
PublicationThe International Conference on Agile Software Development (XP) was established almost sixteen years ago. Based on data from Scopus database, a total of 789 papers have been published in between years of 2002 and 2018. We employed bibliometrics analysis and topic modeling with R/RStudio to analyze these published papers from various dimensions, including the most active authors, collaboration of authorship, most cited papers, used...
-
Project Management Cycle in the Construction Industry Augmented by Collaborative Innovation Network Software
PublicationProject management is a very broad concept that has in recent times is growing rapidly. Management is especially complex in the construction sector, among the other sectors, due to the high uncertainty of workmanship and complexity of construction projects. Proper project management skills are an important factor in the success of projects, leading to reduced costs and shorten the time of investment. Nevertheless, most of the projects...
-
Exchange-Traded Funds on European Markets: Has Critical Mass been Reached? Implications for Financial Systems.
PublicationExchange-traded funds (ETFs) are one of the most rapidly expanding categories of financial products in Europe. One of the key yet still unanswered questions is whether European ETF markets have reached the size at which they could affect the financial systems. In our study, we examine 13 European countries during the period 2004–2017 in order to trace whether the share of ETFs in the total assets of investment funds has reached...
-
Implementacja odbiornika RAKE w technologii SDR (Software Defined Radio)
PublicationRóżnorodność standardów systemów radiokomunikacyjnych, w tym telefonii komórkowej i bezprzewodowej, przy dużej ruchliwości ich abonentów, powoduje, że niezbędne jest skonstruowanie wielosystemowego terminala ruchomego, mającego techniczne możliwości współpracy z systemami radiokomunikacyjnymi działającymi w różnych standardach. W ten sposób zrodziła się idea radia definiowanego programowego SDR (Software Define Radio), bazująca...
-
On the safety of technical sphere.
PublicationTechnika daje nam dobra użyteczne i zarazem generuje rozmaite zagrożenia.Przedstawiono analizę tych zagrożeń na przykładzie ogólnie potraktowanego systemu realizacji potrzeb. Opisana została natura relacji występujących między tym systemem a otoczeniem oraz w jego wnętrzu. Dalej przedstawiono klasy modeli predykcji strat, które mogą powstać w wyniku uwolnienia się omawianych zagrożeń.
-
Limitations of Integrative Passive Samplers as a Tool for the Quantification of Pharmaceuticals in the Environment – A Critical Review with the Latest Innovations
Publication -
Safety assessment of a concrete viaduct damaged by vehicle impact and an evaluation of the repair
PublicationDamage to lower parts of viaducts caused by impact from under-passing high vehicles is relatively frequent. One such incident, in which a viaduct was damaged by the impact from a truck with an improperly assembled hydraulic crane, is considered in this work. The analysis is based on a detailed object damage evaluation, 3D laser scanning, and numerical simulations. The aim of the study is to accurately model the vehicle impact into...
-
Determination of the dynamic critical maneuvering area in an encounter between two vessels: Operation with negligible environmental disruption
PublicationThis paper introduces the concept of Collision Avoidance Dynamic Critical Area (CADCA) for onboard Decision Support Systems (DSS). The indicator proposed is derived via identification of a minimum required maneuvering zone in an encounter between two vessels. The CADCA model accounts for ship maneuvering dynamics and associated hydrodynamic actions emerging from different rudder angles and forward speed effects. The method presented...
-
Testing of Software for the Planning of a Linear Object GNSS Measurement Campaign under Simulated Conditions
PublicationThe precision of a linear object measurement using satellite techniques is determined by the number and the relative position of the visible satellites by the receiver. The status of the visible constellation is described by DOP. The obtained geometric coefficient values are dependent on many variables. When determining these values, field obstacles at the receiver location and satellite positions changing with time must be taken...
-
Supporting compliance with safety standards by trust case templates
PublicationStandard Compliance (SC) Framework presented in this paper encompasses methods and tools which provide support for application of standards. The framework is based on trust case methodology. A trust case is a data structure which represents a justification that an object (a system, an infrastructure, an organization) exhibits certain properties. It contains an argument and related evidence which support claimed properties. A trust...
-
Preliminary Citation and Topic Analysis of International Conference on Agile Software Development Papers (2002-2018)
PublicationThis study utilizes citation analysis and automated topic analysis of papers published in International Conference on Agile Software Development (XP) from 2002 to 2018. We collected data from Scopus database, finding 789 XP papers. We performed topic and trend analysis with R/RStudio utilizing the text mining approach, and used MS Excel for the quantitative analysis of the data. The results show that the first five years of XP...
-
Safety Assessment of the Regional Warmia and Mazury Road Network Using Time-Series Analysis
PublicationWarmia and Mazury still belongs to the areas with the smallest transport accessibility in Europe. Unsatisfactory state of road infrastructure is a major barrier to the development of the regional economy, impacting negatively on the life conditions of the population. Also in terms of road safety Warmia and Mazury is one of the most endangered regions in Poland. The Police statistics show that beside a high pedestrian risk observed...