Iaps ws _space_sw_development.presentato

IAPS workshop – Formazione ed Evoluzione Stellare Roma 6/06/2012

SVILUPPO SW REAL-TIME
PER STRUMENTAZIONE
R. Orfei (FP), R. Cerulli-Irelli (FP), A. Di Giorgio, S. Pezzuto, S.
Molinari, M.Benedettini, S.J. Liu, G.Giusi
+
L. Piazzo (Dip. INFOCOM La Sapienza)
D. Schito (Ergho System)
F.Nuzzolo

IAPS workshop – 5, 6 Giugno 2012

Scigè John LIU - pag. 1


SW Experience by Targets
1.1 - OBS – On-Board Software
for Space Instruments

1.2 - GSE – Ground
Segment Equipment

1.3 - Data Analysis


History



EUCLID - VIS Future

SPICA - SAFARI



1.1 - OBS – On-Board Software
• ESA Space Engineering Standards : Software
ECSS-E-ST-40C • Design
• Development
HERSCHEL
• TEMIC-21020 ( DSP )
• MIL-STD-1553 & 1355
• Virtuoso

EUCLID & SPICA
• GAISLER-LEON3-699 (SparcV8)
• SPW – Space-Wire
• RTEMS (Object Oriented)



1.2 - GSE – Ground Segments Equipment
Integration and Validation
• SCOS-2K EGSE Environment

Development and Testing
• MIL-STD 1553 & SpaceWire GSE
• In-Circuit Inspection DSU / JTAG


Data Analysis 1.3 - Data Analysis
– Hi-GAL & Herschel Gould Belt Surveys
– PACS/SPIRE Parallel mode Scanning
• Heavy data collection and processing



1.3 - Data Analysis
Hi-GAL Processing
• Signal Calibration
• Map Making
• * - extraction
• * - measurements
• Statistics
• Etc etc



1.3 - Data Analysis



Space-Q SW Engineering [1/3]
Tutte le fasi dello sviluppo secondo Standard SW ESA:
ANALISI  SPECIFICA  CODIFICA  …

Design Level - CASE Development Level – IDE
• Requirements • Visual-Studio
•
•
Design
Specifications
} Architecture/
Modeling •
•
Visual-DSP
Net-beans
AXYOMSYS - BNF
• Eclipse/Leon3 - DSU
{V-Paradigm, Rational, Poseidon} - UML



…  INTEGRAZIONE  ISPEZIONE  …
In Circuit Inspection
& Performance Metrics
• IEEE 1149 [ JTAG ]
– DSP, uProc & fpga
• ASIC – DSU
– Leon3 Gaisler & fpga
Deep Memory Inspection
Timing Performance
Low Level Debug



…  INTEGRAZIONE  ISPEZIONE  …
In Circuit Inspection
& Performance Metrics
• IEEE 1149 [ JTAG ]
– DSP, uProc & fpga
• ASIC – DSU
– Leon3 Gaisler & fpga
Deep Memory Inspection
Timing Performance
LOW LEVEL DEBUG



…  VERIFICA e CONSOLIDAZIONE  ACCETTAZIONE
Source Code Analisys and Test
C++ TEST [ Parasoft ]
• static analysis, code review, unit
testing, runtime error detection, and
coverage analysis

DAC Development Assistant C [ RistanCASE ]
• MISRA coding standards, constructs
analysis, code reliability, compliancy

Understand C/C++ [Scientific Toolworks]
• Source Code Analysis &
Automated Generation of
Metrics, Complexity Documentation References and
evaluation, dependency checks reports



OBS - Configurability & Performance
Modular Approach
• Real-Time Constraint
• High Data volume General OverView

I/O Input
Low Level
Process
Task Activation and Data Flows OutPut

• Complex System TM RP Pool
TM EV Pool
TM HK Pool
TM_Packet & TM_MSG
TM_PTR and Offset

TMTC
UpLoad_Packet

TC_PTC
DDC 1553
DualPortRam

• High Configurability
ISR_1553_EVENT
TM SD Pool

DDC 1553 TC_Packet
DualPortRam

Communication to CDMU

TC_POOL
irq2

TC_READY
TIME STAMP Ack

TM_PTR
LP TC HP TC

TC_PTD
TIME STAMP TM_RequestGenerator
TM_PTR

• Event Driven
irq_2 _QUEUE
PushAction
TM_PTR STEP AUTO
S/C _QUEUE
READ TS_EVENT
isr1553 TIME_TSK TM EV Pool

CMD_SEQ
EnableTimeVerification_Flag

Automation
INIT Send DRCU Command LS
RUN_VM Synchronize DRCU Counters HP

LS_LOAD
LS_i_Event CMD_EXEC_EVENT LS_
VM_TM KS_FIFOGetW
VM_SVC SEMA
QUEUE
PEAK_SEMA Acceptance Report
TM RP Pool
PEAK_UP_START_EVENT ABORT_DUMP_EVENT

(and automata)
PEAK_UP_ABORT_EVENT

RUN_VM
AUTO_ KS_FIFOGetW VM_i
AUTO_SEQ MEM_DUMP_QUEUE MEM_DUMP
QUEUE {1/2/3/AFX}
^
PEAK_UP
generate_dump_packets
Houskeeping TM SD Pool

ActivateMonitoring
Start_VM CHOP/JIGGLE

PEAK_UP_FLUSH_EVENT
Definition

PEAK_UP_EXCPT_EVENT
Peak Up Report
TM EV Pool
TM RP Pool

ISR_FIFO_EVENT
LS LS_

PEAK_SEMA
TM EV Pool

Flush Flags
HP SEMA VM_TM Resume HK_ASK_x
HK_ASK_x
HK_ASK_x

Flush Flags
QUEUE

ISR_FIFO_EVENT
HK_ASK_x

TM EV Pool

LS_i_EVENT
LS Inhibition LS TM HK Pool
Table LP

MON_EVENT
^
Monitored Value
Houskeeping
LS Port READ LS LS_
LS Curr_Mon_Par
Read LP SEMA
Curr_Mon_Valid

READ

VM_Response
No_Response/

Irq3flags
irq3 Echo_Error/Unknown/
Irq3 AUTO_ PushAction AUTO_
irq_3 Forbidden/Timeout HK_MON
HWTimer LS Event QUEUE QUEUE
Call to TM EV Pool
LS Port ~
VM_HARD
Write
S/S DCU~MCU~SCU Temeletry Packets
HS Event TM SD Pool
irq_0
irq0 IRQ ACKNOWNLEDGE
DCU/MCU/SCU FRAMES
HS HS FIFO Ack.
HS FIFO CHANNEL STATUS
Port Read Frame ID/LEN/CRC Events
TM EV Pool
FIFO_DataFlow_Flag
Monitored Value AUTO_
CHANNEL STATUS RECEPTION STATUS Houskeeping QUEUE
IDLE
Curr_Mon_Par
Curr_Mon_Valid



OBS - Configurability & Performance
Modular Approach
• Real-Time Constraint
• High Data volume
• Complex System
• High Configurability
• Event Driven
Automation
(and automata)

• Virtualization Layer
• Guest Procedures
[ VM Cerulli ]


GSE – Ground Segment Equipment
Mission Operations
Instruments Health Monitoring
SCOS-2000
( Herschel , Planck , et al )

• Mission Information Base
• Communication Level Procedures
• Real-time Monitoring
[Quick Look Analysis]



GSE – Ground Segment Equipment
For Development Purpose
On Target Development
Umbilical Cable
• In Circuits Emulators – JTAG
• Debug Support Unit
.

Remote Inspection
Space and Avionics Protocols
• Mil-Std-1553B
• SpaceWire [ ex 1355 ]
• Remote Monitoring
• Remote Debugers



Data Analysis
Star Formation and Evolution Group Pipeline in Many-SLangs:
Hi-GAL e Herschel Gould Belt [ Ask Molinari ] • Fortran 77- 90 – 2003
• IDL, Matlab
Huge Storage • C/C++/C#
• > 60TB of raw data • Java/Jython
• High Spatial Spectral Resolution • Scripting: Sql, Bash, ….

HPC - High
Performance
Computing

BLADE-H server
• 144 Xeon Cores 2.5Ghz
• 230Gbyte RAM
• 230Gbyte Swap/TMP SSD
Skill Exchange:
HPP – Turrini Nest Step:
SeaBIRD – Politi GRID+GPU
BNF – Fonte / Carraro Super Storage


Fine


Iaps ws _space_sw_development.presentato

More Related Content

Similar to Iaps ws _space_sw_development.presentato (11)

Recently uploaded (20)

Iaps ws _space_sw_development.presentato

Editor's Notes