15
ESA UNCLASSIFIED – For Official Use SOIS EDS ESA Internal Study YGT Program F. Torelli & P. Skrzypek CCSDS Fall Meeting 2012 15/10/2012

ESA UNCLASSIFIED – For Official Use SOIS EDS ESA Internal Study YGT Program F. Torelli & P. Skrzypek CCSDS Fall Meeting 2012 15/10/2012

Embed Size (px)

Citation preview

Page 1: ESA UNCLASSIFIED – For Official Use SOIS EDS ESA Internal Study YGT Program F. Torelli & P. Skrzypek CCSDS Fall Meeting 2012 15/10/2012

ESA UNCLASSIFIED – For Official Use

SOIS EDS ESA Internal StudyYGT Program

F. Torelli & P. SkrzypekCCSDS Fall Meeting 201215/10/2012

Page 2: ESA UNCLASSIFIED – For Official Use SOIS EDS ESA Internal Study YGT Program F. Torelli & P. Skrzypek CCSDS Fall Meeting 2012 15/10/2012

SOIS EDS - YGT Program | F. Torelli & P. Skrzypek | CCSDS Fall Meeting 2012 | 15/10/2012 | TEC | Slide 2

ESA UNCLASSIFIED – For Official Use

Introduction

Outline

1. Overview of the SOIS EDS study

2. Recap on basic SOIS concepts

3. Points currently under investigation

• Driver/device behavioural model in SOIS EDS

• Algorithms representation in SOIS EDS

Page 3: ESA UNCLASSIFIED – For Official Use SOIS EDS ESA Internal Study YGT Program F. Torelli & P. Skrzypek CCSDS Fall Meeting 2012 15/10/2012

SOIS EDS - YGT Program | F. Torelli & P. Skrzypek | CCSDS Fall Meeting 2012 | 15/10/2012 | TEC | Slide 3

ESA UNCLASSIFIED – For Official Use

Overview of the SOIS EDS study

Page 4: ESA UNCLASSIFIED – For Official Use SOIS EDS ESA Internal Study YGT Program F. Torelli & P. Skrzypek CCSDS Fall Meeting 2012 15/10/2012

SOIS EDS - YGT Program | F. Torelli & P. Skrzypek | CCSDS Fall Meeting 2012 | 15/10/2012 | TEC | Slide 4

ESA UNCLASSIFIED – For Official Use

SOIS EDS study

Young Graduate Trainee:

• MSc in Informatics, spec. Computer Engineering

• Experience in OS porting, drivers development, sensors wireless networks development and testing

• 1 year, full time

Objectives:

1. SOIS EDS technology and schema assessment.

2. EagleEye AOCS ICDs translation into SOIS EDS.

3. DVS and DAS auto-coding and integration into EagleEye Central SW

4. EagleEye AOCS performance verification

Page 5: ESA UNCLASSIFIED – For Official Use SOIS EDS ESA Internal Study YGT Program F. Torelli & P. Skrzypek CCSDS Fall Meeting 2012 15/10/2012

SOIS EDS - YGT Program | F. Torelli & P. Skrzypek | CCSDS Fall Meeting 2012 | 15/10/2012 | TEC | Slide 5

ESA UNCLASSIFIED – For Official Use

EagleEye and Avionics Test Bench

SOIS EDS from AOCS equipment

SOIS DAS & DVS into Central SW

Page 6: ESA UNCLASSIFIED – For Official Use SOIS EDS ESA Internal Study YGT Program F. Torelli & P. Skrzypek CCSDS Fall Meeting 2012 15/10/2012

SOIS EDS - YGT Program | F. Torelli & P. Skrzypek | CCSDS Fall Meeting 2012 | 15/10/2012 | TEC | Slide 6

ESA UNCLASSIFIED – For Official Use

Recap on basic SOIS concepts

Page 7: ESA UNCLASSIFIED – For Official Use SOIS EDS ESA Internal Study YGT Program F. Torelli & P. Skrzypek CCSDS Fall Meeting 2012 15/10/2012

SOIS EDS - YGT Program | F. Torelli & P. Skrzypek | CCSDS Fall Meeting 2012 | 15/10/2012 | TEC | Slide 7

ESA UNCLASSIFIED – For Official Use

SOIS Command & Data Acquisition Service Primitives

DV

S Service Primitives

Device Abstraction Control Procedure

DA

S Service Primitives

Device-specific Access Protocol

Application

Su

bN

et PS & MAS Service

Primitives

ECSS Protocol

Datalink

ACQUIRE_FROM_DEVICE.request (DASAP Address, Transaction Identifier, Device Identifier, Value Identifier)

ACQUIRE_FROM_DEVICE.indication (DASAP Address, Transaction Identifier, Value, Result Metadata, Timestamp (optional))

COMMAND_DEVICE.request (DASAP Address, Transaction Identifier, Device Identifier, Value Identifier, Value)

COMMAND_DEVICE.indication (DASAP Address, Transaction Identifier, Result Metadata)

ACQUIRE_FROM_DEVICE.request (Transaction Identifier, Virtual Device Identifier, Value Identifier)

ACQUIRE_FROM_DEVICE.indication (Transaction Identifier, Value, Result Metadata, Timestamp (optional))

COMMAND_DEVICE.request (Transaction Identifier, Virtual Device Identifier, Value Identifier, Value)

COMMAND_DEVICE.indication (Transaction Identifier, Result Metadata)

PACKET_SEND.request (PSSAP Address, PDSAP Address, Service Class, Priority, Channel, Data)

PACKET_RECEIVE.indication (PSSAP Address, PDSAP Address, Service Class, Channel, Data)

PACKET_FAILURE.indication (PSSAP Address, PDSAP Address, Failure Metadata)

READ.request (MASAP Address, Destination Address, Transaction ID, Memory ID, Start Memory Address, Size, Priority, Channel, Authorisation (optional))

READ.indication (MASAP Address, Destination Address, Transaction ID, Memory ID, Start Memory Address, Size, Priority, Channel, Data, Result Metadata)

WRITE.request (MASAP Address, Destination Address, Transaction ID, Memory ID, Start Memory Address, Size, Priority, Channel, Data, Acknowledge (optional), Authorisation (optional), Verification (optional))

READ/MODIFY/WRITE.request (MASAP Address, Destination Address, Transaction ID, Memory ID, Memory Address, Size, Mask, Priority, Channel, Data, Acknowledge (optional), Authentication (optional), Verification (optional))

MEMORY_ACCESS_RESULT.indication (MASAP Address, Destination Address, Transaction ID, Memory ID, Start Memory Address, Size, Result Metadata)

Page 8: ESA UNCLASSIFIED – For Official Use SOIS EDS ESA Internal Study YGT Program F. Torelli & P. Skrzypek CCSDS Fall Meeting 2012 15/10/2012

SOIS EDS - YGT Program | F. Torelli & P. Skrzypek | CCSDS Fall Meeting 2012 | 15/10/2012 | TEC | Slide 8

ESA UNCLASSIFIED – For Official Use

SOIS Command & Data Acquisition Procedures & Protocols

DV

S Service Primitives

Device Abstraction Control Procedure

DA

S Service Primitives

Device-specific Access Protocol

Application

Su

bN

et PS & MAS Service

Primitives

ECSS Protocol

Datalink

Non-Standard Protocol, it depends on the device/equipment

MilBus 1553 communication protocol service primitives and engine [ECSS-E-ST-50-13C]Spacewire RMAP service primitives and engine [ECSS-E-ST-50-52C]

Others…

Non-Standard Procedure, it depends on the device/equipment

Page 9: ESA UNCLASSIFIED – For Official Use SOIS EDS ESA Internal Study YGT Program F. Torelli & P. Skrzypek CCSDS Fall Meeting 2012 15/10/2012

SOIS EDS - YGT Program | F. Torelli & P. Skrzypek | CCSDS Fall Meeting 2012 | 15/10/2012 | TEC | Slide 9

ESA UNCLASSIFIED – For Official Use

SOIS EDS

SOIS Command & Data Acquisition Electronic Data Sheets

DV

S Service Primitives

Device Abstraction Control Procedure

DA

S Service Primitives

Device-specific Access Protocol

Application

Su

bN

et PS & MAS Service

Primitives

ECSS Protocol

Datalink

Service capability

Information to generate DACP

Mapping between DACP and DAS

Primitives

Information to generate DAP

Mapping between DSAP and SubNet

Primitives

SOIS DoT

Service Primitives Semantics

Code Generation

Code Generation

Terms

No need for ECSS protocol description in the SOIS EDS

Page 10: ESA UNCLASSIFIED – For Official Use SOIS EDS ESA Internal Study YGT Program F. Torelli & P. Skrzypek CCSDS Fall Meeting 2012 15/10/2012

SOIS EDS - YGT Program | F. Torelli & P. Skrzypek | CCSDS Fall Meeting 2012 | 15/10/2012 | TEC | Slide 10

ESA UNCLASSIFIED – For Official Use

Points currently under investigation

Page 11: ESA UNCLASSIFIED – For Official Use SOIS EDS ESA Internal Study YGT Program F. Torelli & P. Skrzypek CCSDS Fall Meeting 2012 15/10/2012

SOIS EDS - YGT Program | F. Torelli & P. Skrzypek | CCSDS Fall Meeting 2012 | 15/10/2012 | TEC | Slide 11

ESA UNCLASSIFIED – For Official Use

A. Driver behaviour• EDS includes the DACP and DAP algorithms

• DVS and DAS SW is the translation of the EDS algorithms

B. Device behaviour• EDS includes manufacturer behaviour state chart

• Code generator produces the DVS and DAS SW

Behavioural Model Options

SOIS EDS

Service capability

Information to generate DACP

Mapping between DACP and DAS

Primitives

Information to generate DAP

Mapping between DSAP and SubNet

Primitives

#define HPC_STATUS_FIRE_MASK 2#define GPI_DATA_REG_ADDR 0x01F800AC#define PM_ID_NOMINAL_MASK 0x00000020#define PM_ID_REDUNDANT_MASK 0x00000040typedef UNSIGNEDINT8 HPC_REGS_ACCESS[(sizeof(struct HPC_REGS) / sizeof(MEMADDR))];

struct HPC_REGS rHPCRegs;/* TSC695F GPI (GENERAL PURPOSE INTERFACE) PORT */

/* Local module channel Id. (constant).*/const UNSIGNEDINT32 HPC_LOC = ACARO_CH1;/* Partner module channel Id. (constant).*/const UNSIGNEDINT32 HPC_PAR = ACARO_CH2;

*ArmFlag = ((TempPattern

#define HPC_STATUS_FIRE_MASK 2#define GPI_DATA_REG_ADDR 0x01F800AC#define PM_ID_NOMINAL_MASK 0x00000020#define PM_ID_REDUNDANT_MASK 0x00000040typedef UNSIGNEDINT8 HPC_REGS_ACCESS[(sizeof(struct HPC_REGS) / sizeof(MEMADDR))];

struct HPC_REGS rHPCRegs;/* TSC695F GPI (GENERAL PURPOSE INTERFACE) PORT */

/* Local module channel Id. (constant).*/const UNSIGNEDINT32 HPC_LOC = ACARO_CH1;/* Partner module channel Id. (constant).*/const UNSIGNEDINT32 HPC_PAR = ACARO_CH2;

*ArmFlag = ((TempPattern

#define HPC_STATUS_FIRE_MASK 2#define GPI_DATA_REG_ADDR 0x01F800AC#define PM_ID_NOMINAL_MASK 0x00000020#define PM_ID_REDUNDANT_MASK 0x00000040typedef UNSIGNEDINT8 HPC_REGS_ACCESS[(sizeof(struct HPC_REGS) / sizeof(MEMADDR))];

struct HPC_REGS rHPCRegs;/* TSC695F GPI (GENERAL PURPOSE INTERFACE) PORT */

/* Local module channel Id. (constant).*/const UNSIGNEDINT32 HPC_LOC = ACARO_CH1;/* Partner module channel Id. (constant).*/const UNSIGNEDINT32 HPC_PAR = ACARO_CH2;

*ArmFlag = ((TempPattern

Page 12: ESA UNCLASSIFIED – For Official Use SOIS EDS ESA Internal Study YGT Program F. Torelli & P. Skrzypek CCSDS Fall Meeting 2012 15/10/2012

SOIS EDS - YGT Program | F. Torelli & P. Skrzypek | CCSDS Fall Meeting 2012 | 15/10/2012 | TEC | Slide 12

ESA UNCLASSIFIED – For Official Use

A. Driver behaviour “Easy” DVS and DAS SW code

generation/translation

Solution in-line with today’s philosophy of drivers’ development

DACP and DAP algorithms in EDS are good for DVS and DAS simulation

EDS might capture a simplified behaviour of the device

EDS to be produced by the device user

DACP and DAP algorithms in EDS are coded manually

B. Device behaviour “Difficult” DVS and DAS SW code

generation

Manufacturers have to comply to standard rules to describe the device behaviour description/statechart

EDS’ device behaviour is good to simulate the device

EDS captures the complete behaviour of the device

EDS’ device behaviour is provided by the manufacturer

DVS and DAS SW code is automatically generated

Behavioural Model Trade-Off

Page 13: ESA UNCLASSIFIED – For Official Use SOIS EDS ESA Internal Study YGT Program F. Torelli & P. Skrzypek CCSDS Fall Meeting 2012 15/10/2012

SOIS EDS - YGT Program | F. Torelli & P. Skrzypek | CCSDS Fall Meeting 2012 | 15/10/2012 | TEC | Slide 13

ESA UNCLASSIFIED – For Official Use

Algorithms Representation Limitations

SCXML & MathML Baseline, but…• Mathematical expressions are not sufficient to represent algorithms including, for example,

bitwise operations, checksums, switch cases…

• State machines are good for the description of macroscopic behaviour or asynchronous events, but not for simple elaborations such as loops or access to arrays.

DEFECTIVE_PIXELS_LIST at DVS interface:Each pixel is described by:

(uint32 x, uint32 y, uint8 type)Where:• pixels (x, y) coordinates are counted from top left,

starting with 0• type can be:

• hot_pixel 0• cold_pixel 1• unknown 2

Bits (little endian) Value

0 0 cold pixel1 hot pixel

1-3 Not used

4-13 Pixel column

14-23 Pixel row

Example from NPAL camera:NPAL_DEFLIST raw data at DAS interface

for(i=0; i<array_size(NPAL_DEFLIST); i++) { DEFECTIVE_PIXELS_LIST[i].type = NPAL_DEFLIST[i] & 0x800000 ? 0:1; DEFECTIVE_PIXELS_LIST[i].x = (NPAL_DEFLIST[i] >> 10) & 0x3FF; DEFECTIVE_PIXELS_LIST[i].y = NPAL_DEFLIST[i] & 0x3FF;}

Page 14: ESA UNCLASSIFIED – For Official Use SOIS EDS ESA Internal Study YGT Program F. Torelli & P. Skrzypek CCSDS Fall Meeting 2012 15/10/2012

SOIS EDS - YGT Program | F. Torelli & P. Skrzypek | CCSDS Fall Meeting 2012 | 15/10/2012 | TEC | Slide 14

ESA UNCLASSIFIED – For Official Use

Algorithms Representation Improvements

Improvements

• To incorporate programming language code inside the states of the state machines

• To complement SCXML and MathML with other formalisms, for example ASN.1 for interface definition and bit fields mapping

Additional Needs

• Availability of parser/code generators

• Rules and conventions in the way algorithms are hooked to the services

SOIS EDS Schema should include the framework for DACP and DAP algorithms definition

Page 15: ESA UNCLASSIFIED – For Official Use SOIS EDS ESA Internal Study YGT Program F. Torelli & P. Skrzypek CCSDS Fall Meeting 2012 15/10/2012

SOIS EDS - YGT Program | F. Torelli & P. Skrzypek | CCSDS Fall Meeting 2012 | 15/10/2012 | TEC | Slide 15

ESA UNCLASSIFIED – For Official Use

Conclusions

Objectives

1. Overview of the SOIS EDS study

1 man/year, prototyping of SOIS EDS in Avionics Test Bench

2. Recap on basic SOIS EDS concepts

DVS/DAS/SubNet (services), DACP (procedures), DAP (protocols).

3. Points currently under investigation

Trade-off between driver and device behavioural model in SOIS EDS

Need for the definition of a framework for the algorithms representation in SOIS EDS