Filtry
wszystkich: 3809
-
Katalog
- Publikacje 2797 wyników po odfiltrowaniu
- Czasopisma 252 wyników po odfiltrowaniu
- Konferencje 116 wyników po odfiltrowaniu
- Wydawnictwa 1 wyników po odfiltrowaniu
- Osoby 83 wyników po odfiltrowaniu
- Projekty 10 wyników po odfiltrowaniu
- Zespoły Badawcze 1 wyników po odfiltrowaniu
- Aparatura Badawcza 1 wyników po odfiltrowaniu
- Kursy Online 68 wyników po odfiltrowaniu
- Wydarzenia 5 wyników po odfiltrowaniu
- Dane Badawcze 475 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: SAFETY-CRITICAL SOFTWARE
-
Supporting compliance with safety standards by trust case templates
PublikacjaStandard 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...
-
Determination of the dynamic critical maneuvering area in an encounter between two vessels: Operation with negligible environmental disruption
PublikacjaThis 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...
-
Preliminary Citation and Topic Analysis of International Conference on Agile Software Development Papers (2002-2018)
PublikacjaThis 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
PublikacjaWarmia 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...
-
Uniform expansion estimates in the quadratic map with the smallest critical neighborhood for which the expansion exponent λ0 is positive
Dane BadawczeThis dataset contains selected results of numerical computations described in the paper "Quantitative hyperbolicity estimates in one-dimensional dynamics" by S. Day, H. Kokubu, S. Luzzatto, K. Mischaikow, H. Oka, P. Pilarczyk, published in Nonlinearity, Vol. 21, No. 9 (2008), 1967-1987, doi: 10.1088/0951-7715/21/9/002.
-
Uniform expansion estimates in the quadratic map with the smallest critical neighborhood for which the expansion exponent λ is positive
Dane BadawczeThis dataset contains selected results of numerical computations described in the paper "Quantitative hyperbolicity estimates in one-dimensional dynamics" by S. Day, H. Kokubu, S. Luzzatto, K. Mischaikow, H. Oka, P. Pilarczyk, published in Nonlinearity, Vol. 21, No. 9 (2008), 1967-1987, doi: 10.1088/0951-7715/21/9/002.
-
Novel proposal for V2X systems and WBAN cooperation to improve road safety
PublikacjaIn this paper, a novel proposal of the automotive Vehicle-to-Everything system solution is presented. In this proposal, there are included the Machine to Machine type communication system and the sensor system based on a short-range the Wireless Body Area Network communication. The aim of this paper is the analysis of the model for communication, especially its architecture and signals structure for the proposed solution. The use...
-
Expert systems in assessing the construction process safety taking account of the risk of disturbances
PublikacjaThe objective of the paper is to present the issue of safety manage-ment during the construction process. Threats in the form of disturb-ances may occur in the preparatory phase, during the execution of the construction project and also during its operational use. The arti-cle presents the concept of applying the methodology based, among others, on Learning Bayesian Networks, Artificial Neural Networks and Support Vector Machine,...
-
Machine Learning Assisted Interactive Multi-objectives Optimization Framework: A Proposed Formulation and Method for Overtime Planning in Software Development Projects
PublikacjaMachine Learning Assisted Interactive Multi-objectives Optimization Framework: A Proposed Formulation and Method for Overtime Planning in Software Development Projects Hammed A. Mojeed & Rafal Szlapczynski Conference paper First Online: 14 September 2023 161 Accesses Part of the Lecture Notes in Computer Science book series (LNAI,volume 14125) Abstract Software development project requires proper planning to mitigate risk and...
-
Communication and Documentation Practices in Agile Requirements Engineering: A Survey in Polish Software Industry
PublikacjaRequirements 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...
-
IDENTIFICATION AND COMPARATIVE ANALYSIS OF FACTORS INFLUENCING ROAD SAFETY IN US REGIONS AND IN POLISH VOIVODESHIPS
PublikacjaAnalyses of road safety at national level have been run for many years and large number of publications concerning them appeared so far. How interdisciplinary the issue is, has been shown by literature studies done by the author of the paper. It appears that economists, mathematicians, doctors as well as engineers have studied the issue. It is not an easy one, as results of many analyses lead to conflicting conclusions and...
-
Using Statistical Methods to Estimate The Worst Case Response Time of Network Software Running on Indeterministic Hardware Platforms
PublikacjaIn 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...
-
Towards mechanosynthesis of diamondoid structures: iv. The strategy for preliminary implementation of elenbogen's ''mater as software'' concept
PublikacjaOpublikowana 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.
-
Towards the assessment of potential impact of unmanned vessels on maritime transportation safety
Publikacja -
Maritime Communication and Sea Safety of the Future - Machnine-type 5G Communication Concept
PublikacjaThe 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.
-
Aleksander Jarzębowicz dr inż.
Osoby -
A Systematic Literature Review on Implementing Non-functional Requirements in Agile Software Development: Issues and Facilitating Practices
PublikacjaAgile 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...
-
Assessment of the Speed Management Impact on Road Traffic Safety on the Sections of Motorways and Expressways Using Simulation Methods
PublikacjaMethods 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...
-
Knowledge management embedded in software engineering processes
PublikacjaW 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
PublikacjaW pracy przedstawiono model systemu pozyskiwania wiedzy zawartej w procesach inżynierii oprogramowania.
-
Elastic wave propagation software - visualization methods
PublikacjaW pracy omówiono program do analizy propagacji fal spręzystych w 2 wymiarowych elementach konstrukcyjnych bazujący na metodzie spektralnych elementów skończonych.
-
AGREE—Analytical GREEnness Metric Approach and Software
Publikacja -
Institutionalization of knowledge sharing in a software development organization
PublikacjaZaproponowano podejście modelowe do problemu wymiany wiedzy. Omówiono implementację modelu na przykładzie instytucji zajmującej się produkcja oprogramowania komputerowego.
-
Software for development and communication with FPGA based hardware
Publikacja -
Knowledge management and fuzzy modelling in software engineering
PublikacjaPraca 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
Publikacja.
-
Identifying Software Project Risks with the Process Model.
PublikacjaArtykuł 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...
-
Critical analysis of laboratory measurements and monitoring system of water-pipe network corrosion-case study.
PublikacjaCase 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...
-
Critical section maintenance in a distributed agent system
Publikacja -
The State and Critical Assessment of the Sharing Economy in Europe
Publikacja -
ON ESTIMATION OF OCCUPANT SAFETY IN VEHICULAR CRASHES INTO ROADSIDE OBSTACLES USING NON-LINEAR DYNAMIC ANALYSIS
PublikacjaThe 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.
-
A concept of software extension of 3D low-PRF radar systems to 4D semi-medium-PRF radar systems
PublikacjaWe 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...
-
The impact of security aspects on functional safety analysis = Wpływ aspectów ochrony informacji na wyniki analiz bezpieczeństwa funkcjonalnego
PublikacjaIt 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...
-
Electrical and Software Systems Engineering [WIMiO][2023/24]
Kursy Online -
Electrical and Software Systems Engineering [WIMiO][2022/23]
Kursy Online -
Critical Inquiry
Czasopisma -
Critical Quarterly
Czasopisma -
Critical Review
Czasopisma -
Critical Survey
Czasopisma -
Critical Criminology
Czasopisma -
CRITICAL CARE
Czasopisma -
Critical Sociology
Czasopisma -
Critical Horizons
Czasopisma -
Critical Education
Czasopisma -
Critical Stages
Czasopisma -
Assessing the Effects of the Road Surface and Weather Conditions on Road Safety
PublikacjaWhen 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
PublikacjaW 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
Publikacja -
Grzegorz Gołaszewski dr inż.
OsobyGrzegorz Gołaszewski, wykładowca na wydziale Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej, informatyk, specjalizujący się w Inżynierii Oprogramowania.Ukończył Wydział ETI PG w roku 2004 ze specjalnością Inżynieria Systemów i Bazy Danych. Pozostał związany z wydziałem po ukończeniu studiów. Uczestniczył w projektach badawczych PIPS oraz ANGEL. W 2017 roku uzyskał stopień doktora w dziedzinie nauk technicznych....
-
Accurate electrothermal modelling of high frequency DC-DC converters with discrete IGBTs in PLECS software
PublikacjaIn 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,...