Search
Search results for: ASSURANCE CASE
-
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...
-
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...
-
Harmonization and Quality Assurance of Income and Wealth Data: The Case of LIS.
PublicationComparability of concepts in survey data harmonization is essential for scientific analyses. LIS – also known as the Luxembourg Income Study or LIS Cross-National Data Center in Luxembourg – acquires and harmonizes income and wealth microdata to provide the scientific community with a comparable database that is unique in the world in its growing temporal and geographic breadth. Over many decades, scholars worldwide have used the...
-
Workshop on Assurance Cases for Security
Conferences -
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...
-
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...
-
Aspect-Oriented Management of Service Requests for Assurance of High Performance and Dependability
PublicationA new approach to service requests management in case of insufficient hardware resources is proposed. It is based on wide aspects of requests analysis and it assures reliable and fast access to priority services. Requests are analyzed for, among others, time of occurrence, category of user who made the request, type of service, current system load and hardware utilization. Deterministic but dynamic rules help to manage system load...
-
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...
-
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...
-
Quality assurance of alcoholic beverages by electronic nose
PublicationQuality is very important attribute of every alcoholic beverage. It is very significant to satisfy consumers and assure food quality. Flavour, colour and taste constitute a great matter not only for connoisseurs. Due to these features, the whole manufacturing process need to be monitored. This paper presents a high-class devices useful in assessing of beverage quality. Electronic noses offer quick real-time analysis, which is very...
-
Using Evidence-based Arguments to Support Dependability Assurance - Experiences and Challenges
PublicationThe presentation introduces to the problem of evidence-based arguments and their applications. Then, based on the experiences collected during development and commercial deployment of a concrete solution to this problem (system NOR-STA) we overview selected challenges and the ways of addressing them.
-
CMMI - an Assurance of Transferability of Knowledge andProjects in a Distributed Enterprise
PublicationCMMI (Capability Maturity Model Integrated)is a reference model fordefining and performing processes in software and systems engineeringorganizations.An organization implementing CMMI,among other things,assures thatacit knowledge is properly externalized into formal knowledge.This externalization gives an organization opportunity to assure that knowledge and development projects are easily transferable across adistributed enterprise...
-
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...
-
Test objects for MRI quality assurance based on polymer gels
Publication -
Quality Assurance and Quality Control in the Analytical Chemical Laboratory: A Practical Approach.
PublicationNowe opracowanie książkowe z zakresu QA/QC to praktyczny podręcznik zarówno dla studentów jak i pracowników laboratoriów. Opisano systemu jakości wyników pomiarów analitycznych i poszczególnych jego składników: spójności pomiarowej, niepewności pomiaru, walidacji procedury analitycznej, materiałów odniesienia i badań międzylaboratoryjnych. Opisano i przedstawiono narzędzia statystyczne służące do obliczania parametrów walidacyjnych,...
-
Using Evidence-based Arguments to Support Dependability Assurance-Experiences and Challenges
PublicationThe article introduces to the problem of evidence-based arguments and their applications. Then, based on the experiences collected during commercial deployment of a concrete solution to this problem (system NOR-STA) we overview selected challenges and the ways of addressing them
-
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...
-
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...
-
IMPLEMENTING THE QUALITY ASSURANCE SYSTEM AND ASSURING HEALTH SAFETY IN THE LIGHT OF INCREASING BREAD QUALITY
PublicationThe article presents rules, requirements, and norms for quality management and health safety assurance systems among small and medium bakeries. This group of businesses does not have the obligation of implementing or certifying specific systems. They are, however, implemented in order to increase the quality of the bread or reach a better market position. Also, the results of a 2022 study of 53 bakeries’ implementation of individual...
-
Certified Reference Material - as a necessary tool for the quality control and quality assurance of measurements
PublicationReference materials are necessary to control and ensure the quality of the measurements. The demand for analytical information on the composition of different material objects makes it necessary to produce an even wider range of materials.
-
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...
-
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...
-
The Role of and the Place of Method Validation in the Quality Assurance and Quality Control (QA/QC) System
Publication -
Quality Assurance and Quality Control in the Analytical Chemical Laboratory. A practical approach : Second edition
PublicationThe second edition defines the tools used in QA/QC, especially the application of statistical tools during analytical data treatment. Clearly written and logically organized, it takes a generic approach applicable to any field of analysis. The authors begin with the theory behind quality control systems, then detail validation parameter measurements, the use of statistical tests, counting the margin of error, uncertainty estimation,...
-
Quality Assurance of Educational Processes as the Foundation of the Quality Management System in Gdansk University of Technology
PublicationW opracowaniu przedstawiono rozwojowy model systemu zarządzania jakością w dużej uczelni technicznej. Punktem wyjścia dla tego projektowania tego modelu jest wewnętrzny system zapewnienia jakości kształcenia oparty na wytycznych ENQA a kluczowym czynnikiem wspierającym systemowo prowadzone zarządzanie wiedzą oraz samoocena.
-
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...
-
Vibration surveillance in the hybrid system on example of milling flexible details and considering assurance of modal subsystem.
PublicationPraca dotyczy nadzorowania drgań dużych mechanicznych układów niestacjonarnych modelowanych dyskretnie, za pomocą sterowania optymalnego przy energetycznym wskaźniku jakości. W układzie drgającym wyodrębniono podukład modalny, podukład strukturalny oraz podukład łączący. Dynamikę układu sterowanego opisano we współrzędnych hybrydowych, przez co uzyskano znacznie mniejszy rząd niż w przypadku modelu strukturalnego. Zdefiniowano...
-
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...
-
Integrated Processing: Quality Assurance Procedure of the Surface Layer of Machine Parts during the Manufacturing Step "Diamond Smoothing"
Publication -
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...
-
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...
-
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...
-
Vibration surveillance during ball end milling of curved flexible details on a basis of assessment of assurance of the model of real object
PublicationW pracy przedstawiono nową metodę nadzorowania drgań podczas frezowania zakrzywionych przedmiotów podatnych. Wykorzystano model modalny przedmiotu obrabianego, którego parametry zidentyfikowano na bazie badań doświadczalnych oraz analizy komputerowej. Zastosowanie modelu metody elementów skończonych, którego zachowanie jest zgodne z przedmiotem uformowanym w postaci cienkościennej powierzchni półwalcowej, a następnie - utworzenie...
-
Kontrola i zapewnienie jakości wyników pomiarów analitycznych =Quality control and quality assurance (QC/QA) of analytical results
PublicationWyniki, które winny być źródłem informacji analitycznej, są uzyskiwane w następstwie przeprowadzanych pomiarów. Na tym etapie stosuje się odpowiednie "narzędzia analityczne", które stanowią metodyki analityczne i urządzenia kontrolno-pomiarowe. "Narzędzia" muszą być właściwie przygotowane do pracy, tak aby uzyskiwane wyniki były miarodajne, czyli aby odzwierciedlały w sposób dokładny (jednocześnie precyzyjny i poprawny) rzeczywistą...
-
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...
-
Vibration surveillance during ball end milling of curved flexible details, considering an assessment of assurance between analysis and test model
PublicationPraca dotyczy nadzorowania drgań podczas obróbki smukłym frezem kulistym przedmiotów podatnych o powierzchniach zakrzywionych. Przedstawiono analizę dynamiczną niestacjonarnego układu drgającego, w którym wyodrębniono podukłady: modalny, strukturalny i łączący. Dokonano oceny zgodności wyników obliczeń numerycznych z wynikami pomiarów na frezarce Mikron VCP 600.
-
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...
-
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...
-
High-quality academic teachers in business school. The case of The University of Gdańsk, Poland
PublicationThe Bologna process, the increasing number of higher education institutions, the mass education and the demographic problems make the quality of education and quality of the academic teachers a subject of wide public debate and concern. The aim of the paper is to identify the most preferred characteristics of a teacher working at a business school. The research problem was: What should a high-quality business school academic teacher...
-
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...
-
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...
-
Influence of metallic porous microlayer on pressure drop and heat transfer of stainless steel plate heat exchanger
PublicationThe experimental analysis of passive heat transfer intensification in the case of plate heat exchanger has been carried out. On the heat transfer surface of heat exchanger the metallic porous layer was created. 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 – the identical heat exchanger but with the modified...
-
Influence of metallic porous microlayer on pressure drop and heat transfer of stainless steel plate heat exchanger
PublicationThe experimental analysis of passive heat transfer intensification in the case of plate heat exchanger has been carried out. The metallic porous layer was created on the heat transfer surface of analyzed unit. 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 – the identical heat exchanger but with the modified...
-
Heat transfer intensification by enlarged surface roughness in the plate heat exchanger
PublicationIn the paper an experimental analysis of passive heat transfer intensification technique employed in the case of the plate heat exchanger is presented. The passive intensification was obtained by a modification of the heat transfer surface. The roughness of surface was increased by a use of glass micro-beads. Single-phase convective heat transfer in the water-water system was studied. The experiment was accomplished in two stages....
-
A simplified approach to determine the expiration date of certified reference material based on the results of monitoring long-term stability
PublicationAll components of the quality assurance (QA) system for measurement results depend heavily on certified reference materials (CRMs). There is a need for a comprehensive discussion of the stability study using the CRM statistical method. Monitoring involves periodic sampling and analysis of the CRM at predetermined intervals to continuously monitor stability without compromising its integrity. The obtained stability data is then...
-
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...
-
Effect of surface roughness on thermal-hydraulic characteristics of plate heat exchanger
PublicationIn the paper the experimental analysis of passive heat transfer intensification in the case of modeled plate heat exchanger is conducted. The plate heat exchanger is chosen for the analysis because this kind of heat exchangers could be prospectively applied in the ORC systems, however other areas or application are equally possible. The experimental setup was assembled at the Department of Energy and Industrial Apparatus of Gdansk...