Try Mobilus Beta
Search tips
 This content is not included in your SAE MOBILUS subscription, or you are not logged in.

Audio/Video and Hard Real-Time Capability for Advanced IMA Architectures

Journal Article
2011-01-2699
ISSN: 1946-3855, e-ISSN: 1946-3901
DOI: https://doi.org/10.4271/2011-01-2699
Published October 18, 2011 by SAE International in United States
Audio/Video and Hard Real-Time Capability for Advanced IMA Architectures
Sector:
Citation: Jakovljevic, M., "Audio/Video and Hard Real-Time Capability for Advanced IMA Architectures," SAE Int. J. Aerosp. 4(2):1293-1300, 2011, https://doi.org/10.4271/2011-01-2699.
Language: English

References

  1. ARINC 818 www.arinc.com
  2. ARINC 664-P7 www.arinc.com
  3. Wolfig, R. Jakovljevic, M. Distributed IMA and DO-297: Architectural, communication and certification attributes IEEE/AIAA 27th Digital Avionics Systems Conference, 2008 DASC 2008 St. Paul, MN
  4. Jakovljevic, M. “Synchronous/asynchronous Ethernet networking for mixed criticality systems” IEEE/AIAA 28th Digital Avionics Systems Conference Oct 2009 DASC Orlando, FL
  5. Jakovljevic, M. Ademaj, A. “Ethernet protocol services for critical embedded systems applications” IEEE/AIAA 29th Digital Avionics Systems Conference Oct 2010 DASC Salt Lake City, UT
  6. Pseudowire Emulation Edge to Edge IETF http://datatracker.ietf.org/wg/pwe3/charter/
  7. SAE AS6802 standard draft V1.1.3 June 2011 www.sae.org
  8. Steiner, W. Dutertre, B. “SMT-based formal verification of a TTEthernet synchronization function” Proceeding FMICS'10 Proceedings of the 15th international conference on Formal methods for industrial critical systems Antwerp, Belgium September 20 21 2010
  9. Miner, P. “ Formal Analysis of TTEthernet Fault Tolerance” 3rd. Meeting SAE AS-2D Vienna June 2010
  10. Steiner, W. Duretre, B. “Automated Formal Verification of the TTEthernet Synchronization Quality” Third International Symposium on NASA Formal Methods, NFM 2011 Pasadena, CA, USA April 2011
  11. RTCA DO-297/EUROCAE ED-124 “Integrated Modular Avionics (IMA) Design Guidance and Certification Considerations” RTCA 2005

Cited By

Recommended Content

Technical Paper Optimal Scheduling and Delay Analysis for AFDX End-Systems
Journal Article Towards Cooperation of Formal Methods for the Analysis of Critical Control Systems
Technical Paper Guaranteeing Hard Real-Time Requirements of In-Vehicle Multi-hop Communication Over Ethernet