ESA UNCLASSIFIED – For Official Use SOIS EDS ESA Internal Study YGT Program F. Torelli & P. Skrzypek CCSDS Fall Meeting /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

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

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

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

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

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 DVS Service Primitives Device Abstraction Control Procedure DAS Service Primitives Device-specific Access Protocol Application SubNet 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)

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 DVS Service Primitives Device Abstraction Control Procedure DAS Service Primitives Device-specific Access Protocol Application SubNet 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

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 DVS Service Primitives Device Abstraction Control Procedure DAS Service Primitives Device-specific Access Protocol Application SubNet 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 Terms No need for ECSS protocol description in the SOIS EDS

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

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 0x #define PM_ID_REDUNDANT_MASK 0x typedef 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 0x #define PM_ID_REDUNDANT_MASK 0x typedef 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 0x #define PM_ID_REDUNDANT_MASK 0x typedef 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

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

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 pixel 1  hot pixel 1-3Not used 4-13Pixel column 14-23Pixel 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] & 0x ? 0:1; DEFECTIVE_PIXELS_LIST[i].x = (NPAL_DEFLIST[i] >> 10) & 0x3FF; DEFECTIVE_PIXELS_LIST[i].y = NPAL_DEFLIST[i] & 0x3FF; }

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

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