System safety is a widely practised discipline that is built on the familiar everyday notions of risk and hazard. There are a number of well-known standards covering the safety of defence systems, railway systems, automotives and aircraft. Central to system safety is the idea of a safety case: a reasoned argument for safety of a system that is based on evidence. However, the concepts on which system safety is built, i.e. risk and hazard, can sometimes be confusing, are often poorly understood and are frequently misapplied in the context of safety engineering for software-intensive systems. In this paper we discuss these matters, and speculate on where system safety might be heading. We describe some common issues with -and desirable attributes of -safety standards and safety cases. We present the idea of a structured document as a means of understanding these issues. We discuss first how the notion of structured document was used in a lightweight way in the Australian Defence standard DEF(AUST)5679, and how the HiVe tool, currently under development at DSTO, offers a more powerful means of building structured documents. We conclude with brief comments on how the notion of hazard could be replaced by that of a safety protocol.
Critical systems require assurance that key security, safety or mission requirements are met. Tools are necessary to provide this assurance. The HiVe Writer supports model-based documentation for complex critical systems. The HiVe Writer forms the functional foundation for the ambitious HiVe (Hierarchical Verification Environment) project which aims to provide a unified framework in which entire design projects can be described with the highest level of assurance. The primary innovation in the HiVe Writer is a centrally-managed design model: any design, explanatory and technical documents created within the tool are constrained to be consistent with this design model and therefore with each other. This paper gives a detailed description of the HiVe Writer, showing how it supports model-based editing of structured technical documents and, in particular, requirements formulation.
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.