SymTA/S Aerospace Libraries

Based on requirements from AIRBUS, Thales, EADS, Embraer, and other partners and customers, Symtavision is extending its SymTA/S scheduling analysis support into aerospace applications through a number of new analysis libraries, most importantly for ARINC 653 partitioned operating systems, ARINC 664 switched ethernet, and time-triggered communication.

Symtavision is further leveraging its automotive know-how to develop analyses of mixed time-triggered / event-triggered aerospace networks, as well as interfaces to major avionics tool-chains including AbsInt, Esterel, SYSGO, and TTTech. This work is performed in the EU-funded (FP7) INTERESTED project.

For more information, please contact: info@symtavision.com.

 

SymTA/S ARINC 653 for Partitioned Operating Systems

Click to enlarge

Main features:

  • supports major frame and partition schedules
  • facilitates verification and optimization of capacities and partition load
  • generates system-level and partition-level Gantt charts
  • import of ARINC653-XML standard configuration files

 

 

 

SymTA/S ARINC 664 for Switched Ethernet

Click to enlarge

Main features:

  • round robin & FIFO scheduling for virtual links in end-systems
  • buffer delay calculation and optimization, incl. BAG selection
  • traffic policy optimization in switched networks
  • Gantt charts for end-system delay and network traffic