Systematic Hierarchical Analysis of Requirements for Critical Systems
Asieh Salehi Fathabadi,
Colin Snook,
Dana Dghaym
et al.
Abstract:Safety and security are key considerations in the design of critical systems. Requirements analysis methods rely on the expertise and experience of human intervention to make critical judgements. While human judgement is essential to an analysis method, it is also important to ensure a degree of formality so that we \textit{reason about} safety and security at early stages of analysis and design, rather than detect problems later. In this paper we present a hierarchical and incremental analysis process that ai… Show more
Set email alert for when this publication receives citations?
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.