Filters
total: 3804
-
Catalog
- Publications 2794 available results
- Journals 252 available results
- Conferences 116 available results
- Publishing Houses 1 available results
- People 83 available results
- Projects 10 available results
- Research Teams 1 available results
- Research Equipment 1 available results
- e-Learning Courses 68 available results
- Events 4 available results
- Open Research Data 474 available results
displaying 1000 best results Help
Search results for: SAFETY-CRITICAL SOFTWARE
-
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 -
Software Systems Design 2024 kopia 2
e-Learning Courses -
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...
-
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...
-
Safety and risk in transportation systems, PG_00057094, C, TiL, sem.1, letni 2023/2024
e-Learning CoursesPraktyczna ocena niezawodności, bezpieczeństwa i ryzyka w systemach transportowych Practical assessment of reliability, safety and risk in transportation systems
-
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...
-
INFRO@D Roadside safety management
e-Learning Courses -
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....
-
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)...
-
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ń...
-
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...
-
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...
-
Tomasz Zubowicz dr inż.
PeopleTomasz Zubowicz has received his M.Sc. Eng. degree in Control Engineering from the Faculty of Electrical and Control Engineering at the Gda{\'n}sk University of Technology (GUT) in $2008$. He received his Ph.D. Eng. (Hons.) in the field of Control Engineering from the same faculty in $2019$. In $2012$ he became a permanent staff member at the Department of Intelligent Control and Decision Support Systems at GUT and a member of...
-
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...
-
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 -
Road infrastructure safety inspection (Students course) - Erasmus + European Road Safety Partnership EuroS@P
e-Learning Courses -
Road infrastructure safety inspection (Specialists course) - Erasmus + European Road Safety Partnership EuroS@P
e-Learning Courses -
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...
-
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...
-
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:...
-
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...
-
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.
-
Weakly connected domination critical graphs
PublicationPraca dotyczy niektórych klas grafów krytycznych ze względu na liczbę dominowania słabo spójnego.
-
Certification program in Road Infrastructure Safety Management - Erasmus + European Road Safety Partnership EuroS@P
e-Learning Courses -
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...
-
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...
-
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...
-
Michał Wróbel dr inż.
PeopleMichał Wróbel, Assistant Professor of Gdańsk University of Technology, computer scientist, a specialist in software engineering. I graduated from the Faculty of Electronics Technical University of Gdansk in 2002 with a degree in Computer Science, with specialization in Software Engineering and Databases. Until 2006 I worked as system administrator in several companies, including CI TASK. Since 2006 I have been working at the Faculty...
-
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ń.
-
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...
-
Automated Software Engineering
Journals -
IEE PROCEEDINGS-SOFTWARE
Journals -
INFORMATION AND SOFTWARE TECHNOLOGY
Journals -
Journal of Statistical Software
Journals -
PROGRAMMING AND COMPUTER SOFTWARE
Journals -
JOURNAL OF SYSTEMS AND SOFTWARE
Journals -
OPTIMIZATION METHODS & SOFTWARE
Journals -
Software and Systems Modeling
Journals -
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...
-
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...
-
Limitations of Integrative Passive Samplers as a Tool for the Quantification of Pharmaceuticals in the Environment – A Critical Review with the Latest Innovations
Publication -
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...