Towards a Unified Model-Based Safety Assessment

@inproceedings{Peikenkamp2006TowardsAU,
  title={Towards a Unified Model-Based Safety Assessment},
  author={Thomas Peikenkamp and Antonella Cavallo and Laura Valacca and Eckard B{\"o}de and Matthias Pretzer and Ernst Moritz Hahn},
  booktitle={SAFECOMP},
  year={2006}
}
The increase of complexity in aircraft systems demands for enhanced analysis techniques. Methods are required that leverage the burden of their application by reusing existing design and process information and by enforcing the reusability of analyses results allowing early identification of design’s weak points and check of design alternatives. This report elaborates on a method that assumes a system specification in an industrial standard notation and allows to perform several formal safety… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 17 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-10 OF 19 REFERENCES

Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment

  • ARP4761
  • Aerospace Recommended Practice, Society of…
  • 1996
Highly Influential
11 Excerpts

ModelCertifier User Manual

  • I-Logix
  • I-Logix, Andover, MA
  • 2003
Highly Influential
3 Excerpts

Analysis of Large Safety-Critical Systems: A quantitative approach

  • M. Herbstritt, R. Wimmer, +4 authors B. Becker
  • Reports of SFB/TR 14 AVACS 8
  • 2006
1 Excerpt

Efficient computation of time-bounded reachability probabilities in uniform continuous-time markov decision processes

  • C Baier
  • Theor. Comput. Sci. 345(1)
  • 2005
1 Excerpt

Similar Papers

Loading similar papers…