Model based support for the entire software development process
- Preliminary analysis, proposal development, cost estimation
- Requirements consolidation and elaboration
- Software design/software ecosystem design
- Behaviour modelling
- Test case/scenario definition
- Flight code generation
- Support code generation (SVF/EGSE related)
- Test code generation
- Schedulability analysis
- Design/requirement tracing
- Documentation generation (ECSS compliant)