The software used for the development of our small satellites is listed here:
Structure
CATIA V5
NX I-DEAS 6.1
Attitude Control System
Satellite Tool Kit (STK)
Matlab/Simulink
On-board Computer
Eclipse
RTEMS ERC32/LEON Cross Compiler System
Git
Agilo
Doxygen
OrCad
ESATAN-TMS
Agilent IDE (Actel)
Handel-C
ISE Design Suite (Xilinx)
System Simulation and Verification
Aonix Ameos
Eclipse IDE
SCOS-2000
Rhea MOIS
Celestia