Case Study
AlphaBUS
Validation and Verification
Challenge
- Verify the end-to-end functionality of the system in satisfying all requirements and specifications
- check the output of the code development phase using static analysis
- Validate the AlphaBUS platform
Solution
- Expert team deployment at client premises during initial phases
- Platform simulation environment qualification support
- Test design and implementation on the platform SW
- Usage of highly specialized tools (e.g.: PolySpace; VectorCast)
Benefit
- Integration in the client’s teams to guarantees procedure synchronization
- Developed methodology foreseen to be applied on other platforms
Case Studies
-
AlphaBUS
Supporting the OBSW validation team with V&V activities
-
Galileo
Payload Security Units
-
Herschel / Planck
RTEMS Tailoring and Qualification
-
ISVV Services
LisaPathfinder; CryoSat-2; GOCE; Sentinel-1

