Mateus Andrade Almeida

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Aerospace safety-critical software development demands a rigorous verification and validation process, for instance the use of MC/DC (Modified Condition/Decision Coverage) as requirements' coverage criteria. Although the MC/DC may reduce the number of test cases, the definition of test cases is still demanding in terms of effort, given the quantity of(More)
Development of satellite and launcher subsystems involves programming complex embedded systems and dealing with multiple system interactions while complying with both functional and technical requirements as well as software quality. Space onboard system project development is complex and is normally both time consuming and highly susceptible to errors. The(More)
  • 1