The HiVe Writer

  • Authors:

  • Tony Cant;Ben Long;Jim McCarthy;Brendan Mahony;Kylie Williams

  • Affiliations:

  • Command, Control, Communications and Intelligence Division, Defence Science and Technology Organisation, PO Box 1500, Edinburgh, South Australia 5111;Command, Control, Communications and Intelligence Division, Defence Science and Technology Organisation, PO Box 1500, Edinburgh, South Australia 5111;Command, Control, Communications and Intelligence Division, Defence Science and Technology Organisation, PO Box 1500, Edinburgh, South Australia 5111;Command, Control, Communications and Intelligence Division, Defence Science and Technology Organisation, PO Box 1500, Edinburgh, South Australia 5111;Command, Control, Communications and Intelligence Division, Defence Science and Technology Organisation, PO Box 1500, Edinburgh, South Australia 5111

  • Venue:
  • Electronic Notes in Theoretical Computer Science (ENTCS)
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.