The growing complexity of current aerospace systems results an increasing responsibility to the software developed for these applications. This is particularly significant for critical space missions, where frequently the software has stringent real-time requirements to be met, which requires high reliability and a disciplined process of development, with a high degree of expertise of the professionals involved.
Strategic areas of the software discipline as Requirements, Design, Programming Languages, Verification & Validation, Dependability, among others are fostered in the interest of assimilating and improving the state of the art of aerospace applications.
Within this context, this Research Group aims to ensure the success and the quality of the software products for the spacecraft missions of the National Program of Space Activities.