Towards an automated hybrid test and simulation framework to functional verification of...
-
Upload
italo-pinto-rodrigues -
Category
Engineering
-
view
40 -
download
1
Transcript of Towards an automated hybrid test and simulation framework to functional verification of...
Session 3 - Modelling – IAA-BR-03-02
TOWARDS AN AUTOMATED HYBRID TEST AND SIMULATION
FRAMEWORK TO FUNCTIONAL VERIFICATION OF
NANOSATELLITES’ ELECTRICAL POWER SUPPLY SUBSYSTEMItalo Pinto Rodrigues
Ana Maria Ambrosio
Christopher Shneider Cerqueira
Motivation
11:12
2
17%
Battery
Sollar Array
Main Faults
Electrical Power
Subsystem
Small investment in functional testing tools!
Verification
Mission in progressMission achievedLaunch failDeorbited/pre-orbitEarly lossNo informationUnknown
Objective
11:12
3
Contribute to the pico and
nanosatellites Verification and
Validation process in the early
phases of development
lifecycle.To achieve this objective it was proposed a
framework that combines simulation and
automated test execution.
11:12
4
Framework Overview
Simulation Execution Matrix
Environmental Models
Sub
syst
em
RequirementsSystemEngineers
Specialist Engineers
Test
s
TestEngineers
Test Verdict(Results)
Automatic Executor
Subsystem Models
Test Function
Test Case Sequences
Test Matrix
Test Execution Configuration
11:12
5
Define Test
Execution
Configuration
Test
Engineers
Only SoftwareOnly Software with
FEE ModelHIL
Configuration
Virtual System Model
Satellite Equipment Models
Environment Models
Satellite Dynamics ModelsSubsystem
Model(EPS)
Virtual System Model
Hardware(EPS)
Satellite Equipment Models
Environment Models
Satellite Dynamics Models
Front-end Equipment
Virtual System Model
Subsystem Model(EPS)
Satellite Equipment Models
Environment Models
Satellite Dynamics Models
Front-end equipment
Model
11:12
6
Implementation Details
11:12
7
Sequence Execution
Model1
Model2
Model3
Model4
1
4
7
10
Parameter1
Parameter2
Parameter3
Parameter4
3
2
5
6 8
911
(a)
Test case to be connected to the model.
TestCase+1
Input
Output
+1
+1
(b)CasoTeste1 4
Model1
Model2
Model3
Model4
1
7
10
13
Parameter1
Parameter2
Parameter3
Parâmetro4
2
8
9 11
14
3
Parameter1
5
6
12
(c)
Internal Execution
Variable Declaration
Variable Reading
11:12
8
Examples
11:12
9
Example #1
Subsystem Models
Simulation Execution Matrix
Sub
syst
em
RequirementsSystemEngineers
Specialist Engineers
Test
s
TestEngineers
Test Verdict(Results)
Automatic Executor
Environmental Models
Test Case Sequences
Test Matrix
Test Function
11:12
10
Example #2
Conclusion
11:12
11
• The framework presented here enables the coupling of physical
models in hardware, linking them to the simulation;
• Due to implemented solutions, it can be used for any pico and
nanosatellite subsystem;
• The automated tests can address many benefits, such as the
repeatability of the test and improved productivity.
• The results demonstrated the ease of use of the tool
implemented in the framework context for the models validation
and requirements verification.
• The framework is a contribution to the pico and nanosatellite
verification and validation process.
11:12
12
ACKNOWLEDGEMENTS