• Share
  • Email
  • Embed
  • Like
  • Save
  • Private Content
Ferrato_ Alenia
 

Ferrato_ Alenia

on

  • 2,277 views

 

Statistics

Views

Total Views
2,277
Views on SlideShare
2,276
Embed Views
1

Actions

Likes
0
Downloads
3
Comments
0

1 Embed 1

http://www.slideshare.net 1

Accessibility

Categories

Upload Details

Uploaded via as Adobe PDF

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

    Ferrato_ Alenia Ferrato_ Alenia Presentation Transcript

    • The Galileo Precise Timing Facility software architecture Andrea Ferrato (AleniaSIA S.p.A., Consorzio Torino Time) ITN - Oct 15, 2009 - Turin | © 2009 AleniaSIA S.p.A. - tutti i diritti riservati 1
    • Outline • AleniaSIA overview • What is PTF • PTF software tasks • PTF software architecture – Chosen software platform – Implementation details – Applied standards • Closing remarks ITN - Oct 15, 2009 - Turin | © 2009 AleniaSIA S.p.A. - tutti i diritti riservati 2
    • AleniaSIA overview Shareholders: 60% 30% 10% Aeronautical Avionic SW & M346 Master systems 16% EuroFighter Main programs Flight Market areas Space management Logistic UAVs 35% support, analysis IXV and tools Defense 16% ATR C27-J Test tools Training tools AW139 Transport 16% 17% Galileo ITN - Oct 15, 2009 - Turin | © 2009 AleniaSIA S.p.A. - tutti i diritti riservati 3
    • What is PTF • Part of Galileo Ground Mission Segment • Generates Galileo System Time for synchronization of the satellite constellation and depending services Sync() Sync() Sync() Galileo Ground Mission Segment GACF PTF Rest of GMS ITN - Oct 15, 2009 - Turin | © 2009 AleniaSIA S.p.A. - tutti i diritti riservati 4
    • What is PTF (2) H-Maser pStepper clocks Switching Distri- Matrix butors GST Caesium Time acq. clocks Time PTF Transfer Time acq. Internal LAN PTF PTF Control & Router Control Computer Rest Algorithms SW of GMS PTF Data LAN ITN - Oct 15, 2009 - Turin | © 2009 AleniaSIA S.p.A. - tutti i diritti riservati 5
    • PTF software tasks • GST stabilization, via: – Internally-run algorithms (prototyped by TAS-I, INRiM, Politecnico di Torino) – Comparison with Temps Atomique International, NavStar timescale, PTF-2 timescale • Monitoring & Control of internal hardware • Interaction with the rest of GMS – Status information to GACF – Data exchange with other elements ⇒ many tasks & criticalities, one system ITN - Oct 15, 2009 - Turin | © 2009 AleniaSIA S.p.A. - tutti i diritti riservati 6
    • PTF software architecture: chosen platform • LynuxWorks LynxOS-178: – OS designed for safety-critical, multi- process applications – Based on open standards (POSIX, ARINC- 653) – Federated architecture: each process is put in a partition with a strictly time- and space- constrained execution window ⇒ partition ≈ separate machine ITN - Oct 15, 2009 - Turin | © 2009 AleniaSIA S.p.A. - tutti i diritti riservati 7
    • PTF software architecture: implementation details ARINC-653 API Interpartition comm. (ARINC multicast) p4 p3 p2 p1 p0 PTF Steering System PTF External SNMP Control & Manager Manager Handler I/F M&C (DAL-C) (DAL-C) (DAL-C) (DAL-E) (DAL-E) Algorithms SW Lynx Certifiable Stack API (proxy-based approach) LynxOS-178 kernel Scalable / Rest of File transfer Commanding (FTP/TCP) distributable and monitoring GMS (SNMP/UDP) GACF ITN - Oct 15, 2009 - Turin | © 2009 AleniaSIA S.p.A. - tutti i diritti riservati 8
    • PTF software architecture: applied standards • Galileo Software Standard (tailored on RTCA DO-178B) – Waterfall development model – Highest criticality level: DAL-C • Avionics-like Verification and Validation process – Low level (i.e. unit testing, coverage analysis) – High level (i.e. integration, validation against requirements) ITN - Oct 15, 2009 - Turin | © 2009 AleniaSIA S.p.A. - tutti i diritti riservati 9
    • PTF software architecture: applied standards (2) Activity Adopted tools and methods Memory profiling http://valgrind.org/, LynuxWorks SpyKer Code static analysis http://www.splint.org/ Functional unit- and IPL Cantata++ integration- testing 100% statement coverage IPL Cantata++ Validation against CI and [custom procedures] software system requirements ITN - Oct 15, 2009 - Turin | © 2009 AleniaSIA S.p.A. - tutti i diritti riservati 10
    • Closing remarks • Significant know-how acquisition – Formal: management of high-level standards (GSWS) and processes (GSWS Waterfall DAL-C) – Technical: on the design and implementation of ARINC-653-based architectures (i.e. IMA avionics) – Contextual: probable involvement as partners in the next Galileo PTF phase (“Full Orbit Configuration”) Thank you! ITN - Oct 15, 2009 - Turin | © 2009 AleniaSIA S.p.A. - tutti i diritti riservati 11