Can Formal Argumentation Raise our Confidence in Safe Design?

摘要

It is technically possible to build systems of formal argumentation which help assemble evidence relating system designs to contextural material, such as safety guidelines. However, a number of assumptions underly this choice of architecture and influence its ability to support safer design. Many of these assumptions are not purely technical and apply regardless of hte choice of formal representation. Using as an example a prototype argumentation system from a safety-related domain, a set of assumptions is identified and generalised to this class of system.