On-board Software
- Critical software development for satellite on-board systems. Experience in various embedded platforms used for space engineering (LEON, ARM) and ECSS qualification process.
Formal design
- Rich experience in MBSE based development for space systems. ASN.1/ACN data modelling for on-board software protocols using ESA PUS-C standard.
Software Testing
- Development of automated software validation facilities with high-level scripting compliant with PUS standards. Support to validation activities.