13
Session 3 - Modelling – IAA-BR-03-02 T OWARDS AN AUTOMATED HYBRID TEST AND SIMULATION FRAMEWORK TO FUNCTIONAL VERIFICATION OF NANOSATELLITES’ ELECTRICAL POWER SUPPLY SUBSYSTEM Italo Pinto Rodrigues Ana Maria Ambrosio Christopher Shneider Cerqueira

Towards an automated hybrid test and simulation framework to functional verification of nanosatellites' electrical power supply subsystem

Embed Size (px)

Citation preview

Page 1: Towards an automated hybrid test and simulation framework to functional verification of nanosatellites' electrical power supply subsystem

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

Page 2: Towards an automated hybrid test and simulation framework to functional verification of nanosatellites' electrical power supply subsystem

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

Page 3: Towards an automated hybrid test and simulation framework to functional verification of nanosatellites' electrical power supply subsystem

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.

Page 4: Towards an automated hybrid test and simulation framework to functional verification of nanosatellites' electrical power supply subsystem

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

Page 5: Towards an automated hybrid test and simulation framework to functional verification of nanosatellites' electrical power supply subsystem

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

Page 6: Towards an automated hybrid test and simulation framework to functional verification of nanosatellites' electrical power supply subsystem

11:12

6

Implementation Details

Page 7: Towards an automated hybrid test and simulation framework to functional verification of nanosatellites' electrical power supply subsystem

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

Page 8: Towards an automated hybrid test and simulation framework to functional verification of nanosatellites' electrical power supply subsystem

11:12

8

Examples

Page 9: Towards an automated hybrid test and simulation framework to functional verification of nanosatellites' electrical power supply subsystem

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

Page 10: Towards an automated hybrid test and simulation framework to functional verification of nanosatellites' electrical power supply subsystem

11:12

10

Example #2

Page 11: Towards an automated hybrid test and simulation framework to functional verification of nanosatellites' electrical power supply subsystem

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.

Page 12: Towards an automated hybrid test and simulation framework to functional verification of nanosatellites' electrical power supply subsystem

11:12

12

ACKNOWLEDGEMENTS

Page 13: Towards an automated hybrid test and simulation framework to functional verification of nanosatellites' electrical power supply subsystem

11:12

13

CONTACT

[email protected]

Files to download

available soon.