using Model-Based Software Design approch. The project implements according to Agile Software Development Process, which starts with project planning and lists system requirement in a Requirement ...

For the Critical Design Review (CDR) of the JPL SMAP mission, the AADL team updated the AADL model to reflect the nontrivial re-architecture of the SMAP flight software and avionics hardware. In the ...