A Finite State Modeling of AFDX Frame Management Using Spin-Reference-Cited by-同舟云学术

A Finite State Modeling of AFDX Frame Management Using Spin

Published:2007 Issue: Volume: Page:227-243
ISSN:0302-9743
Container-title:Formal Methods: Applications and Technology
language:
Short-container-title:

Author:

Saha Indranil,Roy Suman

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-70952-7_15

Reference17 articles.

1. Anand, M., Vestal, S., Dajani-Brown, S., Lee, I.: Formal Modeling and Analysis of the AFDX Frame Management Design. In: Proceedings of 9th IEEE International Symposium on Object and component-oriented Real-time distributed Computing, IEEE Computer Society Press, Los Alamitos (2006)

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

3. ARINC. Specification 664: Aircraft Data Network, Part 7 - Deterministic Networks (Draft 2) (Oct. 10, 2003)

4. ARINC. Arinc Project Paper 664: Aircraft Data Network, Part 7 - Avionics Full Duplex Switched Ethernet (afdx) Network (2005)

5. Bošanački, D., Dams, D.: Integrating Real Time into Spin: A Prototype Implementation. In: Proceedings of the FORTE/PSTV XVIII conference, pp. 423–439. Kluwer Academic Publishers, Dordrecht (1998)

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

1. Modeling and Validating Launch Vehicle Onboard Software Using the SPIN Model Checker;Journal of Aerospace Information Systems;2020-12

2. Dependability Analysis of the AFDX Frame Management Design;Developments in Language Theory;2018

3. Formal Analysis of the PKMv3 Protocol;Mobile Networks and Applications;2017-09-21

4. Optimal Configuration of Virtual Links for Avionics Network Systems;International Journal of Aerospace Engineering;2015

5. Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems;Automated Technology for Verification and Analysis