Functional System Simulation in support of System (Design) Verification

2013-01-28 Harald Eisenmann

Incose International Workshop 2013

ASTRIUM CONFIDENTIAL

2013-01-16 - 2

ASTRIUM CONFIDENTIAL

The dream of model-based systems engineering …

Model-basedSystems Engineering

Mech/ThermEngineering

RequirementsEngineering

GNCEngineering

SoftwareEngineering

SimulatorEngineering

ElectricalEngineering

VerificationEngineering

AITEngineering

PayloadEngineering

OperationalEngineering

2013-01-16 - 3

ASTRIUM CONFIDENTIAL

Functional simulator configurations in support of functional (design) verification

Ver

ifica

tion

Ope

ratio

n

Sys

tem

C

on

cep

t S

im

H/W

Flight S/WDevelopment

ConceptualDesign

Preliminary Design

OperationalProcedures

Monitoring & Control Data

Fu

nct

ion

al

En

gin

ee

ring

Sim

.

Ele

ctric

al

Fu

nct

ion

al M

od

el

Op

era

tion

al

Sa

telli

te S

imu

lato

r

(Pro

to-)

Flig

ht

Mo

de

l

Fu

nct

ion

al

Va

lida

tion

Be

nch

So

ftw

are

Ve

rific

atio

nF

aci

lity

So

ftw

are

T

est

Be

nch

Configuration Characterization

2013-01-16 - 4

ASTRIUM CONFIDENTIAL

Functional Validation Bench

Linux / Windows Linux / Windows

Operating System

SimTG Simulation Kernel

SimOPS

SM&C - Corba

Jsynoptic

FVB ModelsAOCS SW + CSW

CradleSpecifc FVB Services

FVB (Functional Verification Bench)

Operating System Linux / Windows

Operating System

SimTG Simulation Kernel

SM&C

OBC ModelBus Models (1553, Spw,

Connectors, TMTC)Other Models

Processor Emulator(SimLeon / SimERC32)

FVB Models

CCS

SVF (Software Verification Facitlity)

Operating System Linux / Windows

Operating System

SimTG Simulation Kernel

SM&C

OBC Model

Bus Models (1553, Spw, Connectors,

TMTC)

Other Models

Processor Emulator

(SimLeon / SimERC32)

FVB Models

Ground Station Models

SimOPS Jsynoptic

CCS

SatSim

Operating System Linux / Windows

SimTG Simulation Kernel

SM&C

Bus Models (1553, Spw, Connectors, TMTC)

SimFE I/FSimFE I/F

SimFE HW I/F

STB (Software Test Bench)

SimOPS Jsynoptic

Operating System Linux / Windows

Operating System

SimTG Simulation Kernel

SM&C

CCS Other Models

FVB Models

Bus Models (1553, Spw,

Connectors, TMTC)SimFE I/F

SimFE I/F

SimFE HW I/F

EFM (Electrical / Functional Model

Software Verification Facility

Software Test Bench

Electrical Functional Model, Proto-flight Model

Operational Simulator

SimTG Applications supporting all FVI UseCases

2013-01-16 - 5

ASTRIUM CONFIDENTIAL

Integrated system model to support SE process based on shared discipline data

Mechanical Engineering

OperationalEngineering

ElectricalEngineering

SystemsEngineering

AOCEngineering

2013-01-16 - 6

ASTRIUM CONFIDENTIAL

Various disconnected manually defined “views” form the system model

Manual process to ensure coherence

between views

Budgets

Verification Matrix

Integration ProcedureConfigurationOperational ProcRequirements Operational Modes

Electrical Interfaces

Functional Architecture

2013-01-16 - 7

ASTRIUM CONFIDENTIAL

Physical Configuration

AIT Flow and Integration Procedures

Verfication Definitions

Functional Architecture

Requirements Engineering

System Topology Operational Procedures

Integrated system database for sharing of data between disciplines

Operational Concept

videos\Walkthrough.mp4

2013-01-16 - 8

ASTRIUM CONFIDENTIAL

Well established processes and tool support per discipline

Power-Analysis

[SystemA]

Budgets

[Excel]

DynamicAnalysis

[Matlab]

FV Simulation

[SimTG]

…

[…]

…

[…]

FEM

[Nastran,Patran]

TMM

[SystemA]

CCS

[OpenCentre]

Func. Eng.

[SysML,…]

Req.-Eng

[Doors]

FSWEng

[UML,SysML]

FVI Eng.

[SimTG]

SRDB

[SIS, FOST]

E-CAD

[EngBase,…]

M-CAD

[Catia]

DMU4All

[Catia]

CAD Management

[Enovia]

Product Data Management

[Windchill]

En

gin

ee

ring

To

ols

Inte

gra

ted

M

od

el

Ma

na

ge

me

nt

IPS

[Solumina]

Co

nfig

ura

tion

Co

ntr

ol

SystemEngineering

AvionicsMechanicalEngineering

AIT

System Engineering DB

[RangeDB] ?

2013-01-16 - 9

ASTRIUM CONFIDENTIAL

Currently performed improvement activities Deployment of an integrated system model

Re-alignment of the FV models with the system model

Generation / configuration and characterization of models Potentially extending the FV perimeter to design verification

Managing the co-existence of system and verification model

Further improvements of the conceptual data model / data modeling techniques