Verification of an AFDX Infrastructure Using Simulations and Probabilities

Basu, Ananda; Bensalem, Saddek; Bozga, Marius; Delahaye, Benoît; Legay, Axel; Sifakis, Emmanuel

doi:10.1007/978-3-642-16612-9_25

Cited by 21 publications

(15 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It also connects subsystems to sensors and actuators using a wired data bus that provides low data rates such as ARINC429, MIL-STD-1553, and CAN. Table I shows the characteristics of typical wired avionic network technology [6] [7]. These avionic wired network systems use proprietary interfaces and protocols.…”

Section: A Problem Analysis Of Wired Avionic Networkmentioning

confidence: 99%

Comparative Study of Wireless Network Technology for Avionic Sensor Actuator Networks Industrial wieless communication Technology for avionic systems

Kim¹,

Kim²,

Lee³

et al. 2017

Sixth International Conference on Advances in Computing, Control and Networking - ACCN 2017

View full text Add to dashboard Cite

Abstract-This paper compares the performance of wireless communication technologies to replace the wired networks by wireless networks on avionic sensor-actuator networks communication. Due to the drawbacks of the wired network, such as complexity, weight, maintenance cost and scalability, it leads to the high data rate and network traffic demands of avionics systems. Therefore, in WAIC(Wireless Avionics IntraCommunication) system suggested by ITU(International Telecommunication Union), based on environment of avionics system and requirements of a wired network, wireless network structures are defined to solve the problems of wired networks. In this paper, we consider features, advantages and disadvantages of wireless communication technologies which can be used for wireless avionics network, and we propose suitable wireless communication technology candidates for wireless avionics sensor-actuator networks in WAIC environments.

show abstract

Section: A Problem Analysis Of Wired Avionic Networkmentioning

confidence: 99%

Comparative Study of Wireless Network Technology for Avionic Sensor Actuator Networks Industrial wieless communication Technology for avionic systems

Kim¹,

Kim²,

Lee³

et al. 2017

Sixth International Conference on Advances in Computing, Control and Networking - ACCN 2017

View full text Add to dashboard Cite

show abstract

“…The presentation restricts to the analysis of a clock synchronization protocol [1] and an MPEG decoder. Other examples can be found in [2].…”

Section: Introductionmentioning

confidence: 99%

Statistical model checking QoS properties of systems with SBIP

Nouri

Bensalem

Bozga

et al. 2014

Int J Softw Tools Technol Transfer

Self Cite

View full text Add to dashboard Cite

show abstract

“…The experiment reported in [14] shows that the delay upper bounds can be improved up to 18% on average by using the staircase model instead of the affine arrival curve. However, the condition (6) shows that restricting the jitter upper bound within one BAG still cannot guarantee the elimination of sequence inversion. In the next section, two approaches that can contribute to eliminate the resulting potential failures are proposed.…”

Section: Condition For Avoiding Frame Sequence Inversionmentioning

confidence: 99%

“…As shown in (6), to avoid the SN inversion, the sum of jitter upper bound and transmission latency difference has to be constrained within one BAG. This section addresses the possible solutions for further reducing the jitter and the transmission latency difference.…”

Section: Approaches To Eliminate the Potential Risk Of Frame Sequmentioning

confidence: 99%

“…However, as the amount of electronic components in an aircraft continues to increase, legacy avionics communication protocols are at their limit in terms of performance and design complexity. Among the available technologies for handling the new challenges in avionics systems design, we can find an Ethernet-based technology, namely the Avionics Full Duplex Switched Ethernet (AFDX) [6], which features high speed, low cost, high flexibility, and reduced weight because of less wiring.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation