Search
Filters
total: 80
Search results for: ASSURANCE CASES
-
Development of the System Assurance Reference Model for Generating Modular Assurance Cases
PublicationAssurance cases are structured arguments used to demonstrate specific system properties such as safety or security. They are used in many industrial sectors including automotive, aviation and medical devices. Larger assurance cases are usually divided into modules to manage the complexity and distribute the work. Each of the modules is developed to address specific goals allocated to the specific objects i.e. components of the...
-
Workshop on Assurance Cases for Security
Conferences -
Assurance Case Patterns On-line Catalogue
PublicationAssurance case is an evidence-based argument demonstrating that a given property of a system (e.g. safety, security) is assured. Assurance cases are developed for high integrity systems, as in many industry domains such argu-ment is explicitly required by regulations. Despite the fact that each assurance case is unique, several reusable argument patterns have been identified and pub-lished. This paper reports work on development...
-
Uniform Model Interface for Assurance Case Integration with System Models
PublicationAssurance cases are developed and maintained in parallel with corresponding system models and therefore need to reference each other. Managing the correctness and consistency of interrelated safety argument and system models is essential for system dependability and is a nontrivial task. The model interface presented in this paper enables a uniform process of establishing and managing assurance case references to various types...
-
Representing Process Characteristics to Increase Confidence in Assurance Case Arguments
PublicationAn assurance case is a structured, evidence-based argument demonstrating that a safety or other quality objective of a high integrity system is assured. Assurance cases are required or recommended in many industry domains as a means to convince the regulatory bodies to allow commissioning of such system. To be convincing, an argument should address all potential doubts and thus cover numerous additional issues, including the processes...
-
Challenges in providing support for management of evidence-based arguments
PublicationThe paper considers selected challenges related to the application of evidence based arguments and maps them on the tool support level. In particular, we consider: communication and teamwork, handling large arguments, evidence management and integration, argument assessment and communication, change control and reporting, evidence reuse, user data security and argument portfolio management. Then we explain how these challenges...
-
AN ORIGINAL APPROACH IN THE FIELD OF PREPARATION REFERENCE MATERIALS OF VOLATILE ANALYTES
PublicationStandard gas mixtures (SGM) are indispensable reference materials for ensuring the reliability of analytical work. Reference materials are an excellent tool for the quality control and assurance of analytical results. Standard gas mixtures are unique among reference materials. The rapid progress of SGM production is connected with the instability of gaseous analytes which make them difficult to obtain. The use of standards with...
-
Analiza spostrzeżeń podczas audytów w przedsiębiorstwach z branży spożywczej
PublicationAnalizowano dane z 54 przedsiębiorstw potwierdzających zgodność z wdrożonym systemem ISO 22000 w latach 2005–2013 przez jednostkę certyfikującą DNV GL–BA. Przedstawiono najczęściej spotykane kategorie niezgodności stwierdzane podczas audytów certyfikujących w przedsiębiorstwach należących do łańcucha żywnościowego. Przeanalizowano występujące problemy wpływające na bezpieczeństwo żywności podczas procesu produkcyjnego. Obliczono...
-
Honey antibacterial activity: A neglected aspect of honey quality assurance as functional food
PublicationBackground Honey is considered as a functional food with health-promoting properties. Its potent antibacterial and antibiofilm effects are the major attributes of so called ‘medical-grade honey’ which is topically used for the treatment of burns, wounds and skin disorders. Nevertheless, the current set of honey quality parameters adopted in the European Union do not include its biological properties. Furthermore, in light of the...
-
Introducing agile practices into development processes of safety critical software
PublicationIn this paper we present AgileSafe - a method which supports introduction of agile practices into safety-critical software development processes. To represent safety assurance constraints resulting from the regulatory context, AgileSafe uses assurance case patterns. The knowledge base of AgileSafe helps the user to select the agile practices relevant for the considered software development project. The corresponding assurance case...
-
Integrating Confidence And Assurance Arguments
PublicationTo be considered compelling an assurance case should address its potential deficits, possibly with the use of a confidence argument. Assurance argument and confidence argument should be clearly separated and consistent at the same time. We propose a way of their integration with the use of an element representing rationale for each argumentation strategy. The rationale integrates confidence argument for a given argumentation step...
-
Assessment of risks introduced to safety critical software by agile practices - a software engineer's perspective
PublicationIn this article we investigate the problem of applying agile practices into safety-critical projects.The goal of our research is to investigate potential benefits from introducing agile practicesinto safety-critical environment and to present a solution providing for balancing agileapproach with more disciplined assurance techniques, bringing the best of the two worlds together.In the article we present the supporting ideas such...
-
QUALITY GAPS IN HIGHER EDUCATION FROM THE PERSPECTIVE OF STUDENTS
PublicationThe presented research work relates to the category of quality in higher education. This article aims to present the determinants of the quality of education in the context of international standards. The background of the considerations is the Bologna Declaration and the European Higher Education Area. The results of the research carried out with the use of the nominal group method and the data analysis carried out based on the...
-
Method of selecting programming practices for the safety-critical software development projects
PublicationIn recent years a plan-driven approach traditionally used in safety-critical software development has been put to a test by rapidly changing technologies, more diverse group of clients and volatile market requirements. The need to deliver good quality systems, faster and at lower cost in comparison to competitors encouraged companies to look for more efficient solutions. Agile methodologies are known to successfully address these...
-
An integrated framework for security protocol analysis
PublicationAssurance of security protocols needs particular attention. Flaws in a protocol can devastate security of the applications that rely on it. Analysis of the protocols is difficult and it is recommended that formal methods are employed to provide for higher levels of assurance. However, the formal methods can cover only a part of the scope of the problem. It is important that the formal models are valid representations of the protocol...
-
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)...
-
Determining and verifying the safety integrity level with security aspects
PublicationSafety and security aspects consist of two different group of functional requirements for the control and protection systems. It is the reason why the analyses of safety and security shouldnt be integrated directly. The paper proposes extension of the currently used methods of functional safety analyses. It can be done with inclusion of the level of information security assigned to the technical system. The article addresses some...
-
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...
-
An analytical approach to determine the health benefits and health risks of consuming berry juices
PublicationFood products composition analysis is a prerequisite for verification of product quality, fulfillment of regulatory enforcements, checking compliance with national and international food standards, contracting specifications, and nutrient labeling requirements and providing quality assurance for use of the product for the supplemen- tation of other foods. These aspects also apply to the berry fruit and berry juice. It also must...
-
Non-matrix reference materials-the challenges in the preparation of standard gas mixtures
PublicationIn the last few years particularly great pressure is exerted on quality control and assurance of analytical measurement results. An invaluable role in this process is played by reference materials. The paper presents the characteristics of basic types of reference materials, with particular attention to gaseous reference materials.
-
Be fearless: Positive affect as a mediator between venturesomeness and self-efficacy in future entrepreneurs and managers
PublicationIntroduction and objectives Self-efficacy, personality and different affect states in entrepreneurs and managers are important factors for effectiveness and well-being. The aim of the study was to examine in young adults during entrepreneurship-related education, the relationships between venturesomeness and self-efficacy, and the mediating effects of positive affect and positive emotions (joviality, self-assurance, attentiveness)...
-
AgileSafe – a method of introducing agile practices into safety-critical software development processes
PublicationThis article introduces AgileSafe, a new method of incorporating agile practices into critical software development while still maintaining compliance with the software assurance requirements imposed by the application domain. We present the description of the method covering the process of its application and the input and output artefacts.
-
Integrated approach for functional safety and cyber security management in maritime critical infrastructures
PublicationThe work is devoted important issues of the management in maritime critical infrastructure of 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 cyber security aspects. A method based on quantitative and qualitative information is proposed for the SIL (IEC 61508, 61511) verification with...
-
Experimental verification and comparison of mode shape-based damage detection methods
PublicationThis paper presents experimental verification and comparison of damage detection methods based on changes in mode shapes such as: mode shape curvature (MSC), modal assurance criterion (MAC), strain energy (SE), modified Laplacian operator (MLO), generalized fractal dimension (GFD) and Wavelet Transform (WT).
-
BASIS FOR INNOVATIVE TRANSFORMATION OF POLISH UNIVERSITIES – BACKGROUND AND SELECTED SOLUTIONS
PublicationThe article presents the background of the current pro-innovation and pro-quality transformation suggested in Polish universities. The first part contains a concise description of Polish higher education system. In the second part, an example of an internal quality assurance system was presented, which was implemented in the Gdańsk University of Technology. The summary indicates recommendations resulting from previous negative...
-
Standard gas mixtures- indispensable reference materials in the analysis of gaseous media
PublicationIn recent years the need for the quality control and assurance of analytical measurement results has been particularly strongly emphasised. Certified reference materials play an invaluable role in this process. The article characterises the basic types of reference materials, focusing in particular on those in the gaseous state. It also reviews the literature on the techniques of preparing standard gas mixtures over the last ten...
-
Standard gas mixtures- indispensable reference materials in the analysis of gaseous media
PublicationIn recent years the need for the quality control and assurance of analytical measurement results has been particularly strongly emphasised. Certified reference materials play an invaluable role in this process. The article characterises the basic types of reference materials, focusing in particular on those in the gaseous state. It also reviews the literature on the techniques of preparing standard gas mixtures over the last ten...
-
Non-matrix reference matrials- chalanges in the preparation of standard gas mixtures
PublicationIn the last few years particularly great pressure is exerted on quality control and assurance of analytical measurement results. An invaluable role in this process is played by reference materials. The paper presents the characteristics of basic types of reference materials, with particular attention to gaseous reference materials. In addition, a review of literature on techniques of preparation of gaseous standard materials, published...
-
Standards for Quality Assurance in the European Higher Education Area versus Common Assessment Framework in education. Conflict or harmony?
PublicationThe aim of the research was to analyze the assumptions of Standards and Guidelines for Quality Assurance in the European Higher Education Area (ENQA) and the criteria of Common Assessment Framework (CAF) for the educational sector and based on that to find out the main differences and similarities (conflicts and harmony) between them. The results of the research showed that the current trends of the quality movement evolution in...
-
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...
-
Stakeholders Satisfaction Index as an Important Factor of Improving Quality Management Systems of Universities in Poland Stakeholders Satisfaction
PublicationThe following article analyses selected methods of assessing the quality of educational services of universities and discusses the role of stakeholders in, required by law, quality assurance and quality management systems according to Common Assessment Framework for education. Furthermore, it presents the Stakeholders Satisfaction Index (SSI) which is an original proposal of an aggregate measure of satisfaction perceived by stakeholders....
-
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...
-
Supporting Assurance by Evidence-based Argument Services
PublicationStructured arguments based on evidence are used in many domains, including systems engineering, quality assurance and standards conformance. Development, maintenance and assessment of such arguments is addressed by TRUST-IT methodology outlined in this paper. The effective usage of TRUST-IT requires an adequate tool support. We present a platform of software services, called NOR-STA, available in the Internet, supporting key activities...
-
Approaching Secure Industrial Control Systems
PublicationThis study presents a systematic approach to secure industrial control systems based on establishing a business case followed by the development of a security programme. To support these two fundamental activities the authors propose a new method for security cost estimation and a security assessment scheme. In this study they explain the cost evaluation technique and illustrate with a case study concerning the assessment of the...
-
Quality 5.0: A Paradigm Shift Towards Proactive Quality Control in Industry 5.0
PublicationIndustry 5.0, the latest wave of industrial revolution, is redefining the traditional manufacturing and production landscapes by leveraging advanced technologies, promoting sustainability, and fostering a human-centric approach. An inevitable consequence of this progression is Quality 5.0, the next phase of quality control and assurance. Quality 5.0 aims to transcend the limitations of conventional quality control techniques, which...
-
Quality Assurance of Educational Processes as the Foundation of the Quality Management System in Gdansk University of Technology
PublicationThe paper presents a model of quality management system (QMS) developed by the author in Gdansk University of Technology (GUT). The core of the model is internal quality assurance system of educational processes based on the ENQA guidelines. Next described in the paper steps of GUT QMS development are the implementation of one of the normative QMS models (e.g. ISO 9001, ISO/IEC 17025) in selected organizational units of GUT and...
-
Towards Agile Development of Critical Software
PublicationThe paper presents a case study aiming at collecting opinions of software en-gineers on the risks related to integration of agile practices to safety-critical software development projects. The study has been performed within the scope of our research targetting at providing critical software developers with a comprehensive solution allowing to incorporate agile practices into software development process while still being conformant...
-
Performance of a new commercial high-definition 3D patient specific quality assurance system for CyberKnife robotic radiotherapy and radiosurgery
PublicationConventional two dimensional and low-definition measurement techniques for dosimetric verification of radiotherapy treatment deliveries are no longer adequate in the era of hypofractionation and extremely high dose gradients. New quality assurance (QA) tools with 3D capability and high definition are urgently needed. The purpose of this study was to evaluate the performance of one of the first such commercial systems as applied...
-
Agile Development of Critical Software - Can It be Justified?
PublicationThe paper introduces the problem of application of agile practices in critical software development projects. It summarizes the present state of research and identifies the need for having a ready-to-use model of being agile while still meeting the required assurance levels which could be particularly useful for small and medium sized safety-critical software companies. Then the objective and scope of a research aiming at delivering...
-
Internationalization and Quality Assurance in Higher Education
PublicationInternationalization is an inevitable phenomenon among all contemporary higher education institutions (HEIs) in a globalizing world. It is the driving force for development and progress. In course of the last 30 years, it became an inevitable element of HE management. However, it carries along a number of risks, pitfalls, and organizational challenges. To hedge those, quality assurance (QA) is called to the stage. HEIs therefore...
-
Quantitative assessment
PublicationThe main trends in the development of analytical chemistry are the determination of increasingly lower concentrations of analytes in samples with complex matrix composition (trace analysis). While the obtained analytical results must be reliable, which means that they must accurately (truly and precisely) reflect the actual content of analytes in a representative sample of the material object under study. However, it is an extremely...
-
Safety assurance strategies for autonomous vehicles
PublicationAssuring safety of autonomous vehicles requires that the vehicle control system can perceive the situation in the environment and react to actions of other entities. One approach to vehicle safety assurance is based on the assumption that hazardous sequences of events should be identified during hazard analysis and then some means of hazard avoidance and mitigation, like barriers, should be designed and implemented. Another approach...
-
Detection of inter-turn faults in transformer winding using the capacitor discharge method
PublicationThe paper presents results of an analysis of inter-turn fault effects on the voltage and current waveforms of a capacitor discharge through transformer windings. The research was conducted in the frame of the Facility of Antiproton and Ion Research project which goal is to build a new international accelerator facility that utilizes superconducting magnets. For the sake of electrical quality assurance of the superconducting magnet...
-
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...
-
Devices for the production of reference gas mixtures
PublicationFor many years there has been growing demand for gaseous reference materials, which is connected with development in many fields of science and technology. As a result, new methodological and instrumental solutions appear that can be used for this purpose. Appropriate quality assurance/quality control (QA/QC) must be used to make sure that measurement data are a reliable source of information. Reference materials are a significant...
-
The role and the place of method validation in the Quality Assurance and Quality Control (QA/QC) System
PublicationOznaczanie analitów na coraz niższych poziomach stężeń w próbkach charakteryzujących się coraz bardziej złożonym składem matrycy to jeden z głównych kierunków rozwojowych analityki chemicznej. Jest to zadanie niezwykle trudne i skomplikowane, w związku z czym stanowi wielkie wyzwanie dla analityków i wymaga zwrócenia uwagi na problem kontroli i zapewnienia jakości uzyskiwanych wyników (ang. Quality Assurance/Quality Control - QA/QC).W...
-
PORÓWNANIE EFEKTYWNOŚCI DZIAŁALNOŚCI BADAWCZO ROZWOJOWEJ W KRAJACH OECD
PublicationEfektywność działalności badawczo-rozwojowej powinna być w centrum zainteresowania decydentów we wszystkich krajach. Kluczowe jest stworzenie możliwości pomiaru efektywności działań w tym obszarze. Celem artykułu jest porównanie efektywności realizacji polityki działalności badawczo-rozwojowej w krajach OECD, wykorzystując metodę Data Envelopment Analysis. Podkreślono problem heterogeniczności grupy porównywanych krajów. Zastosowano...
-
PBDEs in environmental samples: Sampling and analysis
PublicationThe paper reviews the subject literature concerning analytical procedures routinely sed for monitoring polybrominated diphenyl ethers (PBDE) in environmental samples. It describes and summarizes subsequent stages of analytical procedure including sample collection and preparation, extraction, clean-up and final determination. Different approaches with their advantages and limitations are presented. Special attention is drawn to...
-
Plate heat exchanger with porous structure for potential use in ORC system
PublicationThe experimental analysis of passive heat transfer intensification in the case of plate heat exchanger has been carried out. The passive intensification was obtained by a modification of the heat transfer surface, which was covered by a metallic porous microlayer. The experiment was accomplished in two stages. In the first stage the commercial stainless steel gasketed plate heat exchanger was investigated, while in the second one...
-
Plate heat exchanger with porous structure for potential use in ORC system
PublicationThe experimental analysis of passive heat transfer intensification in the case of plate heat exchanger has been carried out. The passive intensification was obtained by a modification of the heat transfer surface, which was covered by a metallic porous microlayer. The experiment was accomplished in two stages. In the first stage the commercial stainless steel gasketed plate heat exchanger was investigated, while in the second one...