Try Mobilus Beta
Search tips
 This content is not included in your SAE MOBILUS subscription, or you are not logged in.

An Overview of the V&V of Flight-Critical Systems Effort at NASA

Journal Article
2011-01-2560
ISSN: 1946-3855, e-ISSN: 1946-3901
DOI: https://doi.org/10.4271/2011-01-2560
Published October 18, 2011 by SAE International in United States
An Overview of the V&V of Flight-Critical Systems Effort at NASA
Sector:
Citation: Brat, G., "An Overview of the V&V of Flight-Critical Systems Effort at NASA," SAE Int. J. Aerosp. 4(2):865-870, 2011, https://doi.org/10.4271/2011-01-2560.
Language: English

References

  1. Next Generation Air Transportation System Integrated Plan JPDO December 2004
  2. Boehm, B. 1981 Software Engineering Economics DAA 2008
  3. System Transition: Dynamics of Change in the US Air Transportation System Mozdzanowska, Aleksandra Hansman, R. John June 2008
  4. Hayhurst, Kelly J. Dorsey, Cheryl A. Knight, John C. Leveson, Nancy G. McCormick, G. Frank August 1999 Streamlining Software Aspects of Certification: Report on the SSAC Survey, NASA/TM-1999-209519
  5. Kelly, T. P. Arguing Safety - A Systematic Approach to Safety Case Management PhD thesis Department of Computer Science, The University of York United Kingdom 1998
  6. Jackson, D. Thomas, M. Millett, L. I. Software for Dependable Systems: Sufficient Evidence? National Research Council, Committee on Certifiably Dependable Software Systems 2007
  7. Chandra, T. Griesemer, R. Redstone, J. 2007 Paxos made live: an engineering perspective In Proceedings of the 26 th ACM Symposium on Principles of Distributed Computing (PODC'07)
  8. Driscoll, K. Hall, B. Sivencrona, H. Zumsteg, P. 2003 Byzantine Fault Tolerance, From Theory to Reality Proc. 22nd International Conference on Computer Safety, Reliability and Security (SAFECOMP03) 235 248 Edinburgh, Scotland, UK
  9. Owen, David Desovski, Dejan Cukic, Bojan “Effectively Combining Verification Strategies: Understanding Different Assumptions.” 17th International Symposium on Software Reliability Engineering (ISSRE '06) 10 2006

Cited By