Validation of mission critical software design and implementation using model checking
Paula J. Pingree, Erich Mikk, Gerard J. Holzmann, Margaret Smith, Dennis R. Dams · 2002
Over the years, the complexity of space missions has dramatically increased with more of the critical aspects of a spacecraft’s design being implemented in software. With the added functionality and performance required by the software to meet system requirements, the robustness of the software must be upheld. Traditional software validation methods of simulation and testing are being stretched to adequately cover the needs of software development in this growing environment. It is becoming increasingly difficult to establish traditional software validation practices that confidently confirm the robustness of the design in