Software certification - coding, code, and coders

@article{Havelund2011SoftwareC,
  title={Software certification - coding, code, and coders},
  author={K. Havelund and G. Holzmann},
  journal={2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT)},
  year={2011},
  pages={205-210}
}
  • K. Havelund, G. Holzmann
  • Published 2011
  • Computer Science
  • 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT)
  • We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. The flight software that controls these spacecraft is considered to be mission critical. We argue that the goal of a software certification process cannot be the development of “perfect” software, i.e., software that can be formally proven to be correct under all imaginable and unimaginable circumstances. More… CONTINUE READING