Specifying and verifying safety-critical software systems

@inproceedings{Gowen1994SpecifyingAV,
  title={Specifying and verifying safety-critical software systems},
  author={Lon D. Gowen},
  booktitle={CBMS},
  year={1994}
}
With respect to sajety-critical systems, specific techniques ab exist for statically analyzing such systems. For example, fault-tree analysis, software fault-tree analysis, event-tree analysis, and failure-modes-effects-and-criticality analysis are all safety-specific techniques for statically analyzing safety-critical software systems. However, with respect to dynamic analyses (i.e.. testing techniques), no specific techniques exist; instead. developers must use general-purpose testing… CONTINUE READING

References

Publications referenced by this paper.

ComputeG Volume 15, Number 2 (February

  • D E Systems
  • 1984

Similar Papers

Loading similar papers…