Wyszukiwarka
Wyniki wyszukiwania dla: assurance case
-
Assurance Case Patterns On-line Catalogue
PublikacjaAssurance 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
PublikacjaAssurance 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
PublikacjaAn 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
PublikacjaAssurance 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.
PublikacjaComparability 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
Konferencje -
Integrating Confidence And Assurance Arguments
PublikacjaTo 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
PublikacjaStructured 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
PublikacjaA 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
PublikacjaInternationalization 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
PublikacjaAssuring 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
PublikacjaQuality 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
PublikacjaThe 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
PublikacjaCMMI (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
PublikacjaIn 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
Publikacja -
Quality Assurance and Quality Control in the Analytical Chemical Laboratory: A Practical Approach.
PublikacjaNowe 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
PublikacjaThe 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
PublikacjaThe 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
PublikacjaOznaczanie 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...