Case Study
AlphaBUS
Validation & Verification
Challenge
- Verify the end-to-end functionality of the system for satisfying all requirements and specifications
- Check output of the code development phase using static analysis
- Validate the AlphaBUS platform
Solution
- Deploy expert team at clients' premises during initial phases
- Offer platform simulation environment qualification support
- Test design and implementation on the platform SW
- Use highly-specialised tools (PolySpace®, VectorCast™, etc.)
Benefit
- Integration with the clients' teams to guarantees procedure synchronisation
- Developed methodology applicable to other platforms
Case Studies
-
AlphaBUS
Supporting the on-board software validation team with V&V activities
-
Galileo
Payload Security Units
-
Herschel & Planck
RTEMS Tailoring & Qualification
-
ISVV Services
LisaPathfinder; CryoSat-2; GOCE; Sentinel-1



