The Galileo Precise Timing Facility
       software architecture

                Andrea Ferrato
               (AleniaSIA...
Outline

•   AleniaSIA overview
•   What is PTF
•   PTF software tasks
•   PTF software architecture
    – Chosen software...
AleniaSIA overview

                 Shareholders:
                                                60%                    ...
What is PTF

• Part of Galileo Ground Mission Segment
• Generates Galileo System Time for
  synchronization of the satelli...
What is PTF (2)

             H-Maser               pStepper
              clocks                                     Swit...
PTF software tasks

 • GST stabilization, via:
   – Internally-run algorithms (prototyped by TAS-I, INRiM,
     Politecnic...
PTF software architecture: chosen
                    platform

• LynuxWorks LynxOS-178:
  – OS designed for safety-critic...
PTF software architecture:
                            implementation details

                                           ...
PTF software architecture:
                   applied standards

• Galileo Software Standard (tailored on
  RTCA DO-178B)
...
PTF software architecture:
                  applied standards (2)

Activity                                    Adopted to...
Closing remarks

• Significant know-how acquisition
  – Formal: management of high-level standards
    (GSWS) and processe...
Upcoming SlideShare
Loading in …5
×

Ferrato_ Alenia

1,586
-1

Published on

0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total Views
1,586
On Slideshare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
Downloads
5
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Ferrato_ Alenia

  1. 1. 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
  2. 2. 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
  3. 3. 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
  4. 4. 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
  5. 5. 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
  6. 6. 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
  7. 7. 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
  8. 8. 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
  9. 9. 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
  10. 10. 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
  11. 11. 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
  1. A particular slide catching your eye?

    Clipping is a handy way to collect important slides you want to go back to later.

×