Automated Verification of Model-based Programs Under Uncertainty

@inproceedings{Mahtab2004AutomatedVO,
  title={Automated Verification of Model-based Programs Under Uncertainty},
  author={Tazeen Mahtab},
  year={2004}
}
Highly robust embedded systems have been enabled through software executives that have the ability to reason about their environment. Those that employ the modelbased autonomy paradigm automatically diagnose and plan future actions, based on models of themselves and their environment. This includes autonomous systems that must operate in harsh and dynamic environments, like deep space. Such systems must be robust to a large space of possible failure scenarios. This large state space poses… CONTINUE READING

Similar Papers

References

Publications referenced by this paper.
SHOWING 1-6 OF 6 REFERENCES

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software

G. Brat, D. Giannakopoulou, +6 authors R. Washington
  • 2003
VIEW 2 EXCERPTS