Filters
total: 3848
filtered: 2830
-
Catalog
- Publications 2830 available results
- Journals 252 available results
- Conferences 116 available results
- Publishing Houses 1 available results
- People 85 available results
- Projects 10 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 478 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: SAFETY-CRITICAL SOFTWARE
-
Security Evaluation of IT Systems Underlying Critical Networked Infrastructures
PublicationCritical infrastructures have become highly dependent on information and communication technology (ICT). The drawback of this situation is that the consequences of disturbances of the underlying ICT networks may be serious as cascading effects can occur. This raises a high demand for security assurance, with a high importance assigned to security evaluations. In this paper we present an experiment-centric approach for the characterisation...
-
Preliminary Results of a System-theoretic Assessment of Maritime Autonomous Surface Ships' Safety
PublicationWhile a system‐theoretic approach to the safety analysis of innovative socio‐technical systems gains a growing acceptance among academia, safety issues of Maritime Autonomous Surface Ships (MASS) remain largely unexplored. Therefore, we applied a System‐Theoretic Process Analysis to develop and analyze a preliminary model of the unmanned shipping system in order to elaborate safety recommendations for...
-
Integrated functional safety and cyber security analysis
PublicationThe chapter is devoted some important issues of the functional safety analysis, in particular the safety integrity level (SIL) verification of safety functions to be implemented within the distributed control and protection systems with regard to security aspects. A method based on quantitative and qualitative information is proposed for the SIL (IEC 61508, 61511) verification with regard of the evaluation assurance levels (EAL)...
-
Integrity level verification for safety-related functions
PublicationThis article describes methods for safety integrity level (SIL) verification of safety-related functions with regard to probabilistic criteria given international standards IEC 61508 and IEC 61511. These functions are to be realized using the electrical, electronic and programmable electronic (E/E/PE) systems or safety instrumented systems (SIS). Some methods are proposed for quantitative probabilistic modelling taking into account...
-
Framework for RIDM within functional safety management process
PublicationThe functional safety management in life cycle is a complex process starting with identifying hazards and defining safety-related functions (SRFs) with risk assessment oriented at determining the safety integrity level. Another element of such life cycle is a verification of required SIL for designed safety-related system which implements safety function. Due to complexity of the problem, to overcome difficulties in safety-related...
-
Safety PL - a support tool for Road Safety Impact Assessment
PublicationPublished on 19 November 2008, the European Union's Directive 2008/96/EC is one of the most important EU documents setting out a road safety orientation, in particular, road infrastructure safety management. It identifies four main areas of activity: road safety impact assessment, road safety audit, ranking of high accident concentration sections and network safety ranking and road infrastructure safety inspection. The Directive...
-
Procedure based functional safety and information security management of industrial automation and control systems on example of the oil port installations
PublicationThe approach addresses selected technical and organization aspects of risk mitigation in the oil port installations with regard to functional safety and security requirements specified in standards IEC 61508, IEC 61511 and IEC 62443. The procedure for functional safety management includes the hazard identification, risk analysis and assessment, specification of overall safety requirements and definition of...
-
Functional safety and managing competence
PublicationSą nowe wyzwania związane z badaniami, edukacją i szkoleniem w obszarach bezpieczeństwa i ochrony systemów i sieci krytycznych. W rozdziale podkreśla się, że kompetencje specjalistów powinny być kształtowane w zintegrowanych procesach edukacji i szkolenia. Dlatego uzasadnione jest, aby opracować w Europie standardy i programy kształcenia na bazie odpowiednich prac badawczych i najlepszych doświadczeń z praktyki przemysłowej w celu...
-
Rigorous numerics for critical orbits in the quadratic family
PublicationWe develop algorithms and techniques to compute rigorous bounds for finite pieces of orbits of the critical points, for intervals of parameter values, in the quadratic family of one-dimensional maps fa(x)=a−x2. We illustrate the effectiveness of our approach by constructing a dynamically defined partition P of the parameter interval Ω=[1.4,2] into almost 4 million subintervals, for each of which we compute to high precision the...
-
Road Safety Observatories within the Structure of Integrated Transport Safety Systems
PublicationAccurate knowledge about the causes, circumstances and place of transport accidents is the prerequisite to take the correct action to improve transport safety. Developing appropriate organizational structures, forms and methods of management and implementation of safety measures in the sectoral approach condition the success. Therefore the Safety Information System is one of the integral areas of the Integrated Transport Safety...
-
TRWAŁOŚĆ PROJEKTU ERASMUS+ SP4CE - STUDIUM PRZYPADKU
PublicationProjekt ERASMUS+ Partnerstwo Strategiczne na Rzecz Kreatywności i Przedsiębiorczości (ang. Strategic Partnership for Creativity and Entrepreneurship - SP4CE) dotyczył wdrażania i upowszechniania innowacyjnych rozwiązań wzmacniających współpracę europejską w dziedzinie kształcenia i szkolenia zawodowego. Działania projektowe były związane z promowaniem innowacyjnych praktyk w edukacji oraz szkoleniach poprzez wspieranie spersonalizowanych...
-
Modelling selected road safety measures at the regional level in Europe
PublicationRegions are Europe’s basic levels of management. The literature was reviewed to identify regional safety analyses and some of the factors that are important for road safety in the regions. Next, data were collected atthe regional NUTS 2 level in Europe for the years 1999-2008. An analysis of the data helped identify f actors which have the strongest bearing on fatalities and other safety measures. This paper presents the initial...
-
Shipping Safety Management on Polish Inland Waterways
PublicationOver the past years, the role of inland waterway transport has increased compared to other modes of transport. The increasing intensity of the inland vessel traffic significantly affects the safety of navigation. The article analyses the main causes of accidents and incidents that occurred on the Odra Waterway and Lower Vistula. The authors have classified those accidents and suggested possible directions for the development of...
-
Towards systemic functional safety and security management in hazardous plants
PublicationThe aim of this article is to identify and discuss some issues related to functional safety and security management in hazardous industrial plants. The safety functions are to be realised using the electric / electronic / programmable electronic systems (E/E/PESs) or the safety instrumented systems (SISs) that are designed and operated respectively according to IEC 61508 and IEC 61511 requirements in life cycle. Although the role...
-
Cognition and Decisional Experience to Support Safety Management in Workplaces
PublicationHazards are present in all workplaces and can result in serious injuries, short and long-term illnesses, or death. In this context, management of safety is essential to ensure the occupational health of workers. Aiming to assist the safety management process, especially in industrial environments, a Cognitive Vision Platform for Hazard Control (CVP-HC) is proposed. This platform is a Cyber Physical system, capable of identifying...
-
Review of ship safety domains: Models and applications
PublicationShip safety domain is a term which is widely used in research on collision avoidance and traffic engineering among others. Classic ship domains have been compared in multiple reports. However, up till now there has been no work summing up contemporary research in this field. The paper offers a systematic and critical review of the newer ship domain models and related research. It discusses multiple differences in approach to ship...
-
Problems in designing and operating the functional safety solutions of higher integriity levels
PublicationThe aim of this article is to identify and discuss some problems that have been encountered in designing and operating the functional safety solutions of higher safety integrity levels (SIL 3 and SIL 4) in the light of analyses outlined in a new version of the international standard IEC 61508:2010. Examples of such solutions are the electric / electronic / programmable electronic systems (E/E/PESs) and the safety instrumented systems...
-
Software Factory project for enhancement of student experiential learning
PublicationProviding opportunities for students to work on real-world software development projects for real customers is critical to prepare students for the IT industry. Such projects help students to understand what they will face in the industry and experience real customer interaction and challenges in collaborative work. To provide this opportunity in an academic environment and enhance the learning and multicultural teamwork experience,...
-
The control software of the portable raman spectrometer
PublicationThe paper contains a description of the control software of a portable Raman spectrometer which was built in the Department of Optoelectronics and Electronic Systems Faculty of Electronics, Telecommunications and Informatics Gdansk University of Technology. The software has modular structure, which includes the laser control module and the spectrum acquisition module (laser power selection, working mode and data acquisition time)...
-
Cognitive engineering and functional safety technology for reducing risks in hazardous plants
PublicationCognitive engineering is considered nowadays as interesting multidisciplinary domain that focuses on improving the relations between humans and the systems that are supervised and operated. The industrial automation and control systems (IACS) in hazardous plants are increasingly computerized and perform various safety functions. These are designed and implemented according to the functional safety concept. The objective is to maintain...
-
Preliminary safety assessment of Polish interchanges
PublicationInterchanges are a key and the most complex element of a road infrastructure. The safety and functionality of interchanges determine the traffic conditions and safety of the entire road network. This applies particularly to motorways and express-ways, for which they are the only way to access and exchange traffic. A big problem in Poland is the lack of comprehensive tools for designers at individual stages of the design process....
-
Modern Methods of Software Development
PublicationSoftware development methods consist of such activities like analysis, planning, development, testing, deployment, maintenance and retirement. All of them can be divided into two main categories - traditional and agile. The objective of this paper is to review some of the most popular traditional, agile and open source development methods. Special attention was paid to the common stages of all methods - testing and maintenance.
-
Resilience and Security in Software Defined Networking
PublicationThis paper gives an overview of the most important issues on resilience and security in Software Defined Networking
-
Strategies for Dealing With Software Product Management Challenges
PublicationSoftware product management, which involves multiple processes and responsibilities and links to many activities within the organisation, increases the success rate of IT projects. However, the adoption of product management activities and the implementation of the software product manager role itself varies between companies. This research explores the topic of software product managers’ strategies for dealing with challenges...
-
Enhancing Availability for Critical Services
PublicationTraditional approaches to provide classes of resilient service take the physical network availability as an input and then deploy redundancy and restoration techniques at various layers, often without full knowledge of mappings between layers. This makes it hard (and often inefficient) to ensure the high availability required by critical services which are typically a small fraction of the total traffic. Here, the innovative technique...
-
Approach to security assessment of critical infrastructures' information systems
PublicationThis study presents an approach to the security assessment of the information systems of critical infrastructures. The approach is based on the faithful reconstruction of the evaluated information system in a computer security laboratory followed by simulations of possible threats against the system. The evidence collected during the experiments, stored and organised using a proprietary system InSAW, may later be used for the creation...
-
Redesign of the Research Platform for Monitoring, Control and Security of Critical Infrastructure Systems
PublicationCritical Infrastructure Systems (CISs) play a key role in modern societies. Their sustainable operation depends heavily on the performance of dedicated structures and algorithms targeting monitoring, control and security aspects. In previous work a Research Platform (RP) for the design and simulation of such systems was presented. This works updates the information on the RP through the description of major hardware and software...
-
Featured based CAVE software factory
PublicationIn the paper we convey the lessons learned along the path we have gone through several years since establishing a room-sized CAVE installation at our university, from craft manufacturing and ad-hoc software reuse of VR software products to the robust feature driven software product line (SPL) implementing the Product Line Engineering (PLE) factory paradigm. With that we can serve all our departments and other entities from the...
-
Computations of critical load value of composite shell with random geometric imperfections
PublicationThe work presents the numerical analysis of composite shell with geometric imperfections subjected to compression along its generatrix. The imperfections are described as single indentations and random fields with random parameters of shape and correlation. The fields are generated with the use of the authors made program. Using the authors’ FEM software as well as commercial package Femap with NX Nastran, the critical load values...
-
Designing issues of the alarm system in context of functional safety and human factors
PublicationThis article addresses selected aspects of the alarm system and human factors that should be evaluated during the design and operation of an industrial hazardous installation. In such installations the layer of protection analysis (LOPA) methodology is often applied for simplified risk analysis based on defined accident scenarios. To reduce and control the risks the safety instrumented functions (SIFs) are identified and their...
-
Emotions in the software development process
PublicationThis paper presents the results of a survey on the experience of emotions in the work of software developers. Quantitative analysis revealed information about emotions affecting programmers, their frequency and impact on their performance. The concept of emotional risk to productivity was also presented. It allows to choose the emotional states, which should be avoided. Furthermore, all collected data were analyzed with information...
-
Psychological inspirations in empirical software engineering.
PublicationSoftware development is people-intensive activity. Incorporation of human factors in empirical studies of software engineering can bring many benefits for both researchers and practitioners. Psychological inspirations can facilitate this task. In this paper, such incorporation is presented in the contexts of the objectives and problems in empirical studies, applicability of the results in the business context of software enterprise,...
-
Sensitivity analysis of critical loads of I-columns
PublicationThe first order variation of critical buckling load of thin-walled columns with bisymmetric open cross-section due to some variations of the design variables such as: cross-section dimensions, or material characteristics is derived. The influence of the residual welding stresses is taken into account. In the numerical examples dealing with I-column the functions describing the effect of the variation of the dimensions of the flange...
-
ProSIL Software for functional saferty management in life cycle = Aplikacja ProSIL do zarządzania bezpieczeństwem funkcjonalnym w cyklu życia
PublicationIn the paper the ProSIL software to aid the functional safety management is presented. The software consists of three modules to aid: determination of the required SIL level (ProSILen), veryfication of the SIL level (ProSILver). In the aplication the method of the calibrated risk graph to determine the required safety integrity level SIL for defined safety instrumented functions is applied. The methods concerning functional safety...
-
Perceptions of Gender Diversity's Impact on Mood in Software Development Teams
PublicationGender inequality persists in IT teams. We examine how gender differentiation affects the workplace atmosphere and analyze the results of our study of the issue. We discuss the problem of gender discrimination and consider methods to reduce inequality
-
Software for calculation of noise maps implemented on the supercomputer
PublicationThis paper presents investigation results relevant to the implementation of the algorithms for the calculation of noise maps. The aim of the implementation of the algorithms on the computer cluster is explained. Selected implementation details of the software called the noise propagation model are described. The interaction of the software with the data acquisition system is presented. Noise maps obtained by exploitation of the...
-
Functional safety with cybersecurity for the control and protection systems on example of the oil port infrastructure
PublicationSafety and cybersecurity aspects consist of two different group of functional requirements for the industrial control and protection systems in the oil port installation. It is the main reason why the analyses of safety and cybersecurity shouldn’t be integrated directly. These article presented some important issues of the functional safety analysis with regard to cybersecurity aspects in the oil seaport infrastructure. The proposed...
-
Balance Between Creativity and Methodology in Software Projects
PublicationTaking into account trends of innovation in economy and increasing interest in applying creativity techniques in computer science, this paper focuses on relationship between creativity and methodology in software project. First, it extracts useful knowledge about creativity from creativity research. Then, it makes an attempt to combine creativity issues and dimensions with concepts from software project area. It presents also lessons...
-
Safety Assessment of Tram Stops
PublicationThe safety of public transport stops is the subject of numerous studies in large agglomerations around the world. This is due to the fact that it is a passenger exchange zone where collisions and accidents involving people getting on or off public transport vehicles most often occur. For this reason, the purpose of the article is to present the results of the safety assessment of the stop zones for two selected tram lines in Wroclaw....
-
UN DECADE OF ACTION FOR ROAD SAFETY IN THE NATIONAL ROAD SAFETY STRATEGY UNTIL 2020 – POLISH APPROACH
PublicationPoland continues to have the highest number of road deaths per one million population in the European Union, according to a 2012 European Commission report – in 2011 the rate in Poland was 109 fatalities compared to the EU average of 61 killed. Adopted by the government in 2005 Poland’s National Road Safety Programme GAMBIT 2005 was the response to the EU’s 3rd Road Safety Action Programme. Despite extensive road safety efforts,...
-
Systematic Test Data Generation for Embedded Software
PublicationSystematic Test Data Generation for Embedded Software
-
Software Modeling from the Perspective of Intuitive Information Processing
PublicationThere is psychological evidence that humans process information not only consciously but also intuitively. Intuitive information processing is present also during the activities related to software modeling. The goal of this paper is to analyze software modeling from the perspective of theories which describe intuitive (nonconscious, implicit) information processing. The paper includes presentation of relevant psychological theories,...
-
Description Logic As A Common Software Engineering Artifacts Language
PublicationDescription logic is proposed as a powerful language able to support chosen software engineering process tasks like: requirements engineering, software architecture definition, software design and configuration management. To do this there is presented a correspondence between description logic and UML. Description logic based integrated software engineering process framework is proposed which owing to automatic knowledge inferring...
-
Road safety analysis in Poland using time-series modelling techniques
PublicationA number of international studies argue that there is a correlation between the number of traffic fatalities and the degree of public activity. The studies use the unemployment rate to support that argument. As unemployment grows miles travelled fall, a factor known to affect road safety. This relationship seems to be true for Poland, as well. The model presented in the paper is intended to prove it. It is a structural time-series local...
-
Emotion recognition and its application in software engineering
PublicationIn this paper a novel application of multimodal emotion recognition algorithms in software engineering is described. Several application scenarios are proposed concerning program usability testing and software process improvement. Also a set of emotional states relevant in that application area is identified. The multimodal emotion recognition method that integrates video and depth channels, physiological signals and input devices...
-
Meeting Requirements Imposed by Secure Software Development Standards and Still Remaining Agile
PublicationThe paper introduces the AgileSafe method of selecting agile practices for software development projects that are constrained by assurance requirements resulting from safety and/or security related standards. Such requirements are represented by argumentation templates which explain how the evidence collected during agile practices implementation will support the conformity with the requirements. Application of the method is demonstrated...
-
Integration and Dependency in Software Lifecycle Based on Jazz Platform
PublicationSoftware delivery organizations are being asked to meet goals that seem mutually exclusive. Teams are asked to increase product quality, accelerate time to market, and meet increasing mandates from regulatory bodies. As software solutions and software development environments become rapidly more complex. Many business drivers compound these challlenges.
-
Road Infrastructure Safety Management in Poland
PublicationThe objective of road safety infrastructure management is to ensure that when roads are planned, designed, built and used road risks can be identified, assessed and mitigated. Road transport safety is significantly less developed than that of rail, water and air transport. The average individual risk of being a fatality in relation to the distance covered is thirty times higher in road transport that in the other modes. This is...
-
MaliciousIDE – software development environment that evokes emotions
PublicationEmotions affect every aspect of human live, including work. Numerous studies in software engineering have shown that negative emotions can lower the productivity of programmers. Unlike traditional approaches to managing software development, modern methods, such as Agile and Lean, take into account human aspects of programming. To thoroughly investigate the impact of negative emotions on the work of programmers, a malicious integrated...
-
Problems and Solutions of Software Design in Scrum Projects
PublicationThe aim of the paper is to identify the problems and solutions of the software design in Scrum project as well as to analyze the effectiveness of the solutions. Through a series of workshops with 4 experts from IT industry and academia we have identified 52 problems and 99 unique solutions. In this paper we present a list of 10 common problems and 5 solutions for each problem selected by the number of sources. The effectiveness...