Technologies for Satellite Formation Flying Verification

1
Technologies for Satellite Formation Flying
Verification Validation23rd February 2006
23rd February 2006
2
FF Verification and Validation Challenges

• Complex GNC, FFM, MVM and FDIR functions
• Ground verification of these functions, in
  addition to conventional systems is critical to
  the mission success
• Complex interactions between multiple spacecraft
  and environment difficult to fully simulate with
  ground based verification
• High demand on the complexity and processing
  requirements of simulation models to achieve good
  representation of environment
• Lack of FF in-orbit experience and available data
• Validation and verification approach therefore
  needs to be proved before being applied to future
  operational systems

3
Traditional Ground Based Test Facilities

• Functional Engineering Simulator
• Verify key algorithms (GNC, FFM, MVM)
• Functional Validation Bench
• Validation of critical elements / subsystem
  designs (ISL, metrology)
• System Validation Facility (SVF)
• OBSW (including GNC, FFM, MVM and FDIR functions)
  validation in full S/W configuration and OBC
  hardware
• EGSE Facility
• Supports incremental S/C verification and
  validation
• Ground System Test Facility
• Supports Ground Segment verification and
  validation
• Operations Simulator
• Validation of FCPs and training of the Flight
  Control Team

4
Common Test Facility Approach

• Each Traditional Test Facility can be considered
  a configuration of a virtual system model running
  within a hard or soft real-time simulation
  environment based on common test facility
  architecture
• Validation of the virtual system model
  incremental over the project life-cycle
• Integrated model development philosophy
• avoid duplication of model development
• reuse of validated models across test facilities
• Clear separation of virtual system model from the
  simulation environment
• Simulation environment can be selected for
  facility depending on its real-time requirements
• Same approach is being used by VEGA for common
  ground system test facilities
• Galileo AIVP (Galileo Ground Segment)
• GSTVi (ESOCs Ground Segment)

5
Common Test Facility Architecture

6
GNC Algorithm Verifaction

Simulation Kernel
Virtual System Models
7
OBSW Validation (pure s/w)

Simulation Kernel
Virtual System Models
8
OBSW Validation (OBC h/w)

Simulation Kernel
Equipment Models

Spacecraft 1
Virtual System Models
Front
-
End Equipment
Physical Equipment Under Test
9
S/C Verification Validation

Simulation Kernel
Equipment Models

Spacecraft 1
Virtual System Models
Front
-
End Equipment
Physical Equipment Under Test
10
FCP Validation and FCT Training

Simulation Kernel
Virtual System Models
11
Key Enabling Standards SMP2

• Supports portability of models between simulation
  environments
• Enables the assembly of simulation configurations
  from libraries of reusable model components
• VEGA has been central to its development (funded
  by BNSC)
• Process to become an ECSS standard is now
  starting
• VEGA have used SMP2 as the basis for the SimVis
  simulation environment for ESTECs Concurrent
  Design Facility already used on Proba 3 study

12
Reuse of existing Tools and Technologies

• SMP2 Model Development and Integration Tools
  VEGA are a leading supplier
• XSIM Toolset SimVis Designer
• UML2 Profile and XMI based Code Generator for
  AIVP project
• Simulation Kernels with SMP2 runtime support
• SIMSAT-2000 and SIMSAT-Linux development lead by
  VEGA with SciSys
• Processor Emulators
• ERC-32 1750 developed by VEGA for ESA
• OBSW Debugger
• Advanced SVF being developed by VEGA with funding
  from BNSC
• Generic Model Libraries
• Vega producing common Environment Model for
  ESTECs VSRF and SimVis
• Monitoring and Control
• SCOS-2000 used by VEGA for MCS development (e.g.
  Mars Express MCS)

13

• Thank You For Your Attention