R. Lutz and R. Woodhouse, "Bi-directional Analysis for Certification of Safety-Critical Software," First Int'l Software Assurance Certification Conf., 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Applying Adaptive Safety Analysis Techniques - Lutz, Shaw Self-citation (Lutz) (Correct)
....understanding of design interactions. Horizontal movement (e.g. between SFTA and SFMECA) has been established elsewhere as a useful way to combine the strengths of a forward and backward search, but was not performed here since the emphasis was on integrating the software and the system analyses [12]. 5. Conclusions SFMECA and SFTA are well accepted techniques for large projects. We found that, with some adaptations, their use on two smaller, cost and schedule constrained projects was similarly productive in verifying the design and identifying remaining areas of concern in the ....
Lutz, R. and R. Woodhouse, "Bi-Directional Analysis for Certification of Safety-Critical Software," Proceedings of the First International Conference on Software Assurance Certification, Chantilly, VA, March, 1999.
Using Immersive Virtual Environments for Certification - Cruz-Neira, al. (Correct)
No context found.
R. Lutz and R. Woodhouse, "Bi-directional Analysis for Certification of Safety-Critical Software," First Int'l Software Assurance Certification Conf., 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC