• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations

Abstract interpretation and static analysis. http://santos.cis.ksu.edu/ schmidt/Escuela03/WSSA/talk1p.pdf (2003)

by D Schmidt
Add To MetaCart

Tools

Sorted by:
Results 1 - 4 of 4

Software Reliability

by Javier Esparza, Sichere Und Zuverlässige Softwaresysteme
"... Software developers spend between 50 % and 70 % of the time testing and validating code Despite this, reliability is still the main problem of software products (e.g. Microsoft Windows) A recent study estimates the cost of bad software for industry in 60 billion dollars per year The cost of a softwa ..."
Abstract - Add to MetaCart
Software developers spend between 50 % and 70 % of the time testing and validating code Despite this, reliability is still the main problem of software products (e.g. Microsoft Windows) A recent study estimates the cost of bad software for industry in 60 billion dollars per year The cost of a software bug in a critical system can be of millions or even billions 2 Ariane 5 crash (1996) The launcher began to disintegrate at about 39 seconds because of high aerodynamic loads resulting from an angle of attack of more than 20 degrees. 3 The cause The angle of attack was caused by incorrect altitude data following a software exception. The software exception was raised by an overflow in the conversion of a 64-bit floating-point number to a 16-bit signed integer value. The result was an operand error. The operand error occurred because of an unexpected high value of the horizontal velocity sensed by the platform. The value of BH was much higher than expected because the early part of the trajectory of Ariane 5 differs from that of Ariane 4 and results in higher horizontal velocity values.

Power shutdown of USS Yorktown

by Javier Esparza, Sichere Und Zuverlässige
"... Software developers spend between 50 % and 70 % of the time testing and validating code Despite this, reliability is still the main problem of software products (e.g. Microsoft Windows) A recent study estimates the cost of bad software for industry in 60 billion dollars per year The cost of a softwa ..."
Abstract - Add to MetaCart
Software developers spend between 50 % and 70 % of the time testing and validating code Despite this, reliability is still the main problem of software products (e.g. Microsoft Windows) A recent study estimates the cost of bad software for industry in 60 billion dollars per year The cost of a software bug in a critical system can be of millions or even billions 2 Ariane 5 crash (1996) The cause The angle of attack was caused by incorrect altitude data following a software exception. The software exception was raised by an overflow in the conversion of a 64-bit floating-point number to a 16-bit signed integer value. The result was an operand error. The launcher began to disintegrate at about 39 seconds because of high aerodynamic loads resulting from an angle of attack of more than 20 degrees. The operand error occurred because of an unexpected high value of the horizontal velocity sensed by the platform. The value of BH was much higher than expected because the early part of the trajectory of Ariane 5 differs from that of Ariane 4 and results in higher horizontal velocity values. 3 4 Loss of Mars Climate Orbiter (1999) Direct cost 500.000.000 EUR, indirect cost 2.000.000.000 EUR To know more:

Some data Software Reliability

by Javier Esparza, Sichere Und Zuverlässige
"... Software developers spend between 50 % and 70 % of the time testing and validating code Despite this, reliability is still the main problem of software products (e.g. Microsoft Windows) A recent study estimates the cost of bad software for industry in 60 billion dollars per year The cost of a softwa ..."
Abstract - Add to MetaCart
Software developers spend between 50 % and 70 % of the time testing and validating code Despite this, reliability is still the main problem of software products (e.g. Microsoft Windows) A recent study estimates the cost of bad software for industry in 60 billion dollars per year The cost of a software bug in a critical system can be of millions or even billions 2 Ariane 5 crash (1996) The cause The angle of attack was caused by incorrect altitude data following a software exception. The software exception was raised by an overflow in the conversion of a 64-bit floating-point number to a 16-bit signed integer value. The result was an operand error. The launcher began to disintegrate at about 39 seconds because of high aerodynamic loads resulting from an angle of attack of more than 20 degrees. The operand error occurred because of an unexpected high value of the horizontal velocity sensed by the platform. The value of BH was much higher than expected because the early part of the trajectory of Ariane 5 differs from that of Ariane 4 and results in higher horizontal velocity values.

Automatic Parallelization of Scheme Programs using Static Analysis

by Jens Nicolay , 2010
"... ..."
Abstract - Add to MetaCart
Abstract not found
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University