model2adf framework - indico at esa / estec (indico) · • the verification of the compliance of...

34
A complete Model Driven “Spacecraft Reference Database application” automatic generation TEC-SW & TEC-ED Final Presentation Days 1-2 June 2015 | ESTEC Francesco Sgaramella (ESA) Emilia Barbagallo (Sapienza Consulting Ltd) Cosimo Bruno (dottCB consulting) Model2ADF Framework

Upload: others

Post on 04-Jun-2020

0 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

A complete Model Driven “Spacecraft Reference Database application” automatic generation

TEC-SW & TEC-ED Final Presentation Days

1-2 June 2015 | ESTEC

Francesco Sgaramella (ESA)

Emilia Barbagallo (Sapienza Consulting Ltd)

Cosimo Bruno (dottCB consulting)

Model2ADF Framework

Page 2: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

TEC-SW & TEC-ED Final Presentation Days | Model2ADF | F. Sgaramella – E. Barbagallo – C. Bruno | D/TEC | Slide 2

BACKGROUND

THE CHALLENGE

SIB APPLICATION

Model2ADF

CONCLUSIONS

AGENDA

Page 3: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

TEC-SW & TEC-ED Final Presentation Days | Model2ADF | F. Sgaramella – E. Barbagallo – C. Bruno | D/TEC | Slide 3

BACKGROUND

THE CHALLENGE

SIB APPLICATION

Model2ADF

CONCLUSIONS

AGENDA

Page 4: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

TEC-SW & TEC-ED Final Presentation Days | Model2ADF | F. Sgaramella – E. Barbagallo – C. Bruno | D/TEC | Slide 4

They mainly collect and maintain all the knowledge related to spacecraft M&C

(e.g. TM/TC) for allowing:

• On board SW development

• System AIT

• Delivery of data for in-flight operations

SPACECRAFT REFERENCE DATABASES (SRDBs)

Page 5: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

TEC-SW & TEC-ED Final Presentation Days | Model2ADF | F. Sgaramella – E. Barbagallo – C. Bruno | D/TEC | Slide 5

Verify that the SRDB data delivered by the Space Segment (Prime) to the

Ground Segment (Operations) are valid and complete according to the ESA

project requirements.

TEC-SW SRDB PROJECT SUPPORT

Space Segment

Ground Segment

ESTEC TEC-SW

SRDB DATA

SRDB DATA

Page 6: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

TEC-SW & TEC-ED Final Presentation Days | Model2ADF | F. Sgaramella – E. Barbagallo – C. Bruno | D/TEC | Slide 6

The TEC-SW-SRDB projects support includes:

• The verification of the compliance of the delivered data with the applicable

ICDs

• The verification of the compliance of the delivered data with the applicable

validation rules

• The identification of the changes occurred among deliveries

• The impact analysis of occurred changes for non-regression tests

TEC-SW SRDB PROJECT SUPPORT (cont’d)

Page 7: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

TEC-SW & TEC-ED Final Presentation Days | Model2ADF | F. Sgaramella – E. Barbagallo – C. Bruno | D/TEC | Slide 7

TEC-SW-SRDB Applications are the main means for this project support.

Several Applications have been developed during the last years complying with

the project specific data requirements.

This experience has identified for this type of applications:

• Main functional requirements

• High-level architecture

TEC-SW SRDB PROJECT SUPPORT (cont’d)

Page 8: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

TEC-SW & TEC-ED Final Presentation Days | Model2ADF | F. Sgaramella – E. Barbagallo – C. Bruno | D/TEC | Slide 8

TEC-SW-SRDB APPLICATIONS: MAIN REQUIREMENTS

TEC-SW-SRDB Applications

SRDB PRODUCT

DATA

Configuration Item Impact Analysis

MMI to navigate SRDB data and consistency violations

Configuration Item Difference Analysis

Consistency Checks

Page 9: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

TEC-SW & TEC-ED Final Presentation Days | Model2ADF | F. Sgaramella – E. Barbagallo – C. Bruno | D/TEC | Slide 9

TEC-SW-SRDB APPLICATIONS: HIGH-LEVEL ARCHITECTURE

Administration Area

Product Area

Product Area

Product Area

Product Area

Product Area

Product Area

Many Product Areas, one for each SRDB data delivery

One Administration Area, managing all SRDB data deliveries

Page 10: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

TEC-SW & TEC-ED Final Presentation Days | Model2ADF | F. Sgaramella – E. Barbagallo – C. Bruno | D/TEC | Slide 10

For each project a specific TEC-SW-SRDB application is developed:

• based on the same Architecture

• implementing the same type of functionalities (Import, Export, Consistency

checks, …)

BUT

• with data models that differ i.e. project specific

• resulting in project specific interfaces (Import, Export, MMI, …)

TEC-SW-SRDB APPLICATIONS TAILORED FOR ESA PROJECTS

Page 11: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

TEC-SW & TEC-ED Final Presentation Days | Model2ADF | F. Sgaramella – E. Barbagallo – C. Bruno | D/TEC | Slide 11

BACKGROUND

THE CHALLENGE

SIB APPLICATION

Model2ADF

CONCLUSIONS

AGENDA

Page 12: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

TEC-SW & TEC-ED Final Presentation Days | Model2ADF | F. Sgaramella – E. Barbagallo – C. Bruno | D/TEC | Slide 12

ESA-ESTEC needs to:

timely and cost effectively (i.e. in line with the project schedule and constraints)

produce means to assess the SRDB data quality by automatically

generating the TEC-SW-SRDB applications in compliance with the

project specific model requirements.

THE CHALLENGE

Page 13: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

TEC-SW & TEC-ED Final Presentation Days | Model2ADF | F. Sgaramella – E. Barbagallo – C. Bruno | D/TEC | Slide 13

BACKGROUND

THE CHALLENGE

SIB APPLICATION

Model2ADF

CONCLUSIONS

AGENDA

Page 14: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

TEC-SW & TEC-ED Final Presentation Days | Model2ADF | F. Sgaramella – E. Barbagallo – C. Bruno | D/TEC | Slide 14

Through the years, many TEC-SW-SRDB applications (e.g. SSM, METOPDB,

SSDB, CSDB, FEDs, VIDB) have been developed in support to projects such as

METOP, VEGA, IOV, Sentinels, EarthCare, FOC.

The SIB TEC-SW-SRDB application is the result of this evolution:

• Moving from a client-server to a three-tier Deployment

• Fully model-driven application specification, design and development:

– SIB Application Framework Software, able to adapt its behaviour to the

input model

– SIB MMI automatically generated according to the input model

SPACE SYSTEM BASE (SIB) APPLICATION

Page 15: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

TEC-SW & TEC-ED Final Presentation Days | Model2ADF | F. Sgaramella – E. Barbagallo – C. Bruno | D/TEC | Slide 15

Classic three-tier deployment allowing:

• Seamless remote access

• No client installation (standard Internet browsers)

• Performance isolation and optimization on server tiers

SIB DEPLOYMENT

Intranet/Internet

Application Server tier

Database Server tier

BrowserClients

Oracle Database Server 11g

Oracle WebLogic Server 11g

Page 16: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

TEC-SW & TEC-ED Final Presentation Days | Model2ADF | F. Sgaramella – E. Barbagallo – C. Bruno | D/TEC | Slide 16

SIB MODEL-DRIVEN APPROACH

SRDB DATA

SIB Application

FRAMEWORK

MMI

Configuration Item Impact Analysis

Configuration Item Difference Analysis

Consistency Checks

SRDB Physical Relational Model MMI Model Configuration

Item (CI) Model

Page 17: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

TEC-SW & TEC-ED Final Presentation Days | Model2ADF | F. Sgaramella – E. Barbagallo – C. Bruno | D/TEC | Slide 17

BACKGROUND

THE CHALLENGE

SIB APPLICATION

Model2ADF

CONCLUSIONS

AGENDA

Page 18: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

TEC-SW & TEC-ED Final Presentation Days | Model2ADF | F. Sgaramella – E. Barbagallo – C. Bruno | D/TEC | Slide 18

Model2ADF

Model2ADF Generator

SRDB Physical Relational Model

MMI Model

SIB MMI

Page 19: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

TEC-SW & TEC-ED Final Presentation Days | Model2ADF | F. Sgaramella – E. Barbagallo – C. Bruno | D/TEC | Slide 19

• SRDB Physical Relational Model

– ICD Database Schema Model

– Validation Rules Model

• MMI Model

– Menu Model

– Configuration Item View Model

THE MODELS

SIB Application

FRAMEWORK

MMI

SRDB Physical Relational

Model MMI Model

• Configuration Item Model

– “Part of” Model

– Impact Analysis Model

Configuration Item (CI) Model

Page 20: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

TEC-SW & TEC-ED Final Presentation Days | Model2ADF | F. Sgaramella – E. Barbagallo – C. Bruno | D/TEC | Slide 20

SRDB PHYSICAL RELATIONAL MODEL: ICD Database Schema Model

Page 21: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

TEC-SW & TEC-ED Final Presentation Days | Model2ADF | F. Sgaramella – E. Barbagallo – C. Bruno | D/TEC | Slide 21

SRDB PHYSICAL RELATIONAL MODEL: Validation Rules Model

Page 22: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

TEC-SW & TEC-ED Final Presentation Days | Model2ADF | F. Sgaramella – E. Barbagallo – C. Bruno | D/TEC | Slide 22

MMI MODEL: MENU MODEL

Page 23: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

TEC-SW & TEC-ED Final Presentation Days | Model2ADF | F. Sgaramella – E. Barbagallo – C. Bruno | D/TEC | Slide 23

MMI MODEL: Configuration Item View Model

Page 24: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

TEC-SW & TEC-ED Final Presentation Days | Model2ADF | F. Sgaramella – E. Barbagallo – C. Bruno | D/TEC | Slide 24

CONFIGURATION ITEM MODEL

Page 25: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

TEC-SW & TEC-ED Final Presentation Days | Model2ADF | F. Sgaramella – E. Barbagallo – C. Bruno | D/TEC | Slide 25

HOW IT WORKS

Model2ADF Generator

SRDB Physical Relational

Model MMI Model

MMI

Task Flow

Structure/Components of the ADF application

Business Components

Data Bindings Data Controls

View

Controller

Model

Business Services

Appl

icat

ion

seve

r SIB

MM

I SI

B M

MI Build &

Deploy

SIB

MM

I FR

AMEW

ORK

Data

base

seve

r

Load

Ora

cle

JDev

elop

er A

DF

Page 26: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

TEC-SW & TEC-ED Final Presentation Days | Model2ADF | F. Sgaramella – E. Barbagallo – C. Bruno | D/TEC | Slide 26

STANDARD FEATURES OF GENERATED MMI

Page 27: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

TEC-SW & TEC-ED Final Presentation Days | Model2ADF | F. Sgaramella – E. Barbagallo – C. Bruno | D/TEC | Slide 27

FLAT MMI

Page 28: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

TEC-SW & TEC-ED Final Presentation Days | Model2ADF | F. Sgaramella – E. Barbagallo – C. Bruno | D/TEC | Slide 28

CONFIGURATION ITEM VIEW MMI

Page 29: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

TEC-SW & TEC-ED Final Presentation Days | Model2ADF | F. Sgaramella – E. Barbagallo – C. Bruno | D/TEC | Slide 29

THE Model2ADF CONSOLE

Page 30: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

TEC-SW & TEC-ED Final Presentation Days | Model2ADF | F. Sgaramella – E. Barbagallo – C. Bruno | D/TEC | Slide 30

BACKGROUND

THE CHALLENGE

SIB APPLICATION

Model2ADF

CONCLUSIONS

AGENDA

Page 31: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

TEC-SW & TEC-ED Final Presentation Days | Model2ADF | F. Sgaramella – E. Barbagallo – C. Bruno | D/TEC | Slide 31

100% Model Driven SRDB Application:

• Fulfilled Requirements:

– Import/Export (driven by the SRDB

Physical Data model)

– Consistency Checks

– Impacts Analysis & Differences Report

– MMI for Data & Violations Navigation

– Flat MMI

– Configuration Item MMI (based on the

master-detail pattern)

• Input Models:

– SRDB Physical Data Model

– MMI Model

– Configuration Item Model

• Three Tier Deployment

CURRENT ACHIEVEMENTS

Page 32: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

TEC-SW & TEC-ED Final Presentation Days | Model2ADF | F. Sgaramella – E. Barbagallo – C. Bruno | D/TEC | Slide 32

100% Model Driven SRDB Application:

• Fulfilled Requirements:

– Import/Export (based on the user

specific conceptual views)

– Consistency Checks

– Impacts Analysis & Differences Report

– MMI for Data & Violations Navigation

– Flat MMI

– Configuration Item MMI (based on the

user specific conceptual views)

• Input Model:

– Conceptual Data Model

• Three Tier Deployment

NEXT CHALLENGE

Page 33: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

TEC-SW & TEC-ED Final Presentation Days | Model2ADF | F. Sgaramella – E. Barbagallo – C. Bruno | D/TEC | Slide 33

Any Questions?

SRDB DATA

SRDB Physical Relational Model MMI Model Configuration

Item (CI) Model

SIB Application

FRAMEWORK

MMI

Configuration Item Impact Analysis

Configuration Item Difference Analysis

Consistency Checks

Page 34: Model2ADF Framework - Indico at ESA / ESTEC (Indico) · • The verification of the compliance of the delivered data with the applicable ICDs • The verification of the compliance

TEC-SW & TEC-ED Final Presentation Days | Model2ADF | F. Sgaramella – E. Barbagallo – C. Bruno | D/TEC | Slide 34

CONTACTS:

[email protected]

[email protected]

[email protected]

Thank you!