The PEGASE Project: Precise and Scalable Temporal Analysis for Aerospace Communication Systems with Network Calculus-Reference-Cited by-同舟云学术

The PEGASE Project: Precise and Scalable Temporal Analysis for Aerospace Communication Systems with Network Calculus

Published:2010 Issue: Volume: Page:122-136
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Boyer Marc,Navet Nicolas,Olive Xavier,Thierry Eric

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-16558-0_13

Reference34 articles.

1. Lecture Notes in Computer Science;J.Y. Boudec Le,2001

2. Chang, C.S.: Performance Guarantees in communication networks. In: Telecommunication Networks and Computer Systems. Springer, Heidelberg (2000)

3. AEEC: Arinc 664p7-1 aircraft data network, part 7, avionics full-duplex switched ethernet network. Technical report, Airlines Electronic Engineering Committee (September 2009)

4. ECSS: Spacewire – links, nodes, routers and networks. Technical Report ECSS-E-ST-50-12C, European cooperation for space standardization (ECSS), ESA-ESTEC, Requirements & standards division, Noordwijk, The Netherland (July 31, 2008)

5. Lecture Notes in Computer Science;J. Bengtsson,1996

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Approximation of Worst-Case Traversal Times in Real-Time Ethernet Networks: Exploring the Potential of Many-Objective Optimization for Simulation Aggregation;2024 IEEE 20th International Conference on Factory Communication Systems (WFCS);2024-04-17

2. Searching for Upper Delay Bounds in FIFO Multiplexing Feedforward Networks;Proceedings of the 30th International Conference on Real-Time Networks and Systems;2022-06-07

3. Approximating WCRT through the aggregation of short simulations with different initial conditions: application to TSN;Proceedings of the 30th International Conference on Real-Time Networks and Systems;2022-06-07

4. Trade-off between accuracy and tractability of Network Calculus in FIFO networks;Performance Evaluation;2022-02

5. Verifying Min-Plus Computations with Coq;Lecture Notes in Computer Science;2021