Establishing Flight Software Reliability : Testing , Model Checking , Constraint-Solving , and Monitoring

@inproceedings{Groce2008EstablishingFS,
  title={Establishing Flight Software Reliability : Testing , Model Checking , Constraint-Solving , and Monitoring},
  author={Alex Groce and Klaus Havelund and Gerard J. Holzmann and Rajeev Joshi},
  year={2008}
}
In this paper we discuss the application of a range of techniques to the verification of mission-critical flight software at JPL. It is clear that for this type of application we want to achieve a higher level of confidence than can be achieved through standard software testing. Unfortunately, given the current state of the art, especially when efforts are constrained by the tight deadlines and resource limitations of a flight project, it is not feasible to produce a rigorous formal proof of… CONTINUE READING

Citations

Publications citing this paper.

References

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

The Mars Rover Spirit FLASH anomaly

  • 2005 IEEE Aerospace Conference
  • 2005
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Randomized Differential Testing as a Prelude to Formal Verification

  • 29th International Conference on Software Engineering (ICSE'07)
  • 2007
VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

When only random testing will do

  • Random Testing
  • 2006
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

A tool for checking ANSI-C programs

Daniel Kroening, Edmund M. Clarke, Flavio Lerda
  • In Tools and Algorithms for the Construction and Analysis of Systems,
  • 2004
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

DART: Directed Automated Random Testing

  • Haifa Verification Conference
  • 2009
VIEW 3 EXCERPTS

Similar Papers

Loading similar papers…