Verification of an AFDX Infrastructure Using Simulations and Probabilities-Reference-Cited by-同舟云学术

Verification of an AFDX Infrastructure Using Simulations and Probabilities

Published:2010 Issue: Volume: Page:330-344
ISSN:0302-9743
Container-title:Runtime Verification
language:
Short-container-title:

Author:

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

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-16612-9_25

Reference22 articles.

1. ARINC 429, Aeronautical Radio Inc. ARINC specification 429. Digital Information Transfer Systems (DITS) part 1,2,3 (2001)

2. ARINC 664, Aircraft Data Network, Part 7: Avionics Full Duplex Switched Ethernet (AFDX) Network (2005)

3. Alur, R., Dill, D.: A Theory of Timed Automata. Theoretical Computer Science 126, 183–235 (1994)

4. Anand, M., Dajani-Brown, S., Vestal, S., Lee, I.: Formal modeling and analysis of afdx frame management design. In: ISORC, pp. 393–399. IEEE, Los Alamitos (2006)

5. Basu, A., Bozga, M., Sifakis, J.: Modeling Heterogeneous Real-time Systems in BIP. In: SEFM 2006, Pune, India. pp. 3–12 (September 2006)

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

1. PCSPOOF: Compromising the Safety of Time-Triggered Ethernet;2023 IEEE Symposium on Security and Privacy (SP);2023-05

2. Model-based design of resilient systems using quantitative risk assessment;Innovations in Systems and Software Engineering;2023-04-14

3. Visualisation of Control Software for Cyber-Physical Systems;Information;2021-04-21

4. Behavioral Fault Modelling and Analysis with BIP: A Wheel Brake System Case Study;Algorithms and Architectures for Parallel Processing;2020

5. Performance Evaluation of the NDN Data Plane Using Statistical Model Checking;Automated Technology for Verification and Analysis;2019