Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities
نویسندگان
چکیده
For safety-, mission-, or security-critical systems, regulations or acquisition guidelines typically require a documented body of evidence to provide a compelling case that the system satisfies specified critical properties; in other words, an argument is needed to "make the case" for the system's suitability or quality. These guidelines may use terms such as safety case, certification report, or security case; we collectively call them assurance cases.
منابع مشابه
An empirical investigation into the relationship between workshop operations and accidents in local automobile garages in Ghana
Local automobile garage workers carry out daily workshop operations, which sometimes lead to accidents and injuries. Therefore, this study was carried out to establish a relationship between automobile workshop operations causing accidents and safety practices among local garage workers in Ghana. Three main data collection approaches were used in the study namely focus group discussions (10 FGD...
متن کاملFM Approaches to Assurance Cases
Assurance cases are a key concept in communicating dependability assurance of computer systems among the stakeholders. Noting an analogy between assurance cases and proofs, we plan to apply the technology of interactive proof assistants for construction and assessment of assurance cases. Fig. 1 An illustration of GSN from [5] Note The purpose of this report is to record our presentation given a...
متن کاملIntegration of Analytical Quality Assurance Methods into Agile Software Construction Practice Research Proposal for a Family of Controlled Experiments
Defects in early software development products, e.g., design specifications, can have a major impact on product quality. Analytical quality assurance methods, like Software Inspections and Testing are common practices for detecting non-conformities in software products. Often, these quality assurance (QA) activities are not seen as integral part of software construction process but rather as ti...
متن کاملt4 Workshop Report*
Metabolomics promises a holistic phenotypic characterization of biological responses to toxicants. This technology is based on advanced chemical analytical tools with reasonable throughput, including mass-spectroscopy and NMR. Quality assurance, however - from experimental design, sample preparation, metabolite identification, to bioinformatics data-mining - is urgently needed to assure both qu...
متن کاملMaster Thesis
Today’s software companies face the challenges of highly distributed development projects and constant changing requirements. To be competitive, the software time to market has to be reduced as much as possible while keeping the expected quality. Development methodologies try to address this challenges by introducing new practices, techniques and methods for communication, requirements manageme...
متن کامل