Verification of an AFDX infrastructure using simulations and probabilities

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6418 LNCS, Issue , 2010, Pages 330-344

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

^a VERIMAG   (France)

^b CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AVIONICS FULL DUPLEX SWITCHED ETHERNETS; CIVILIAN AIRCRAFTS; COMPONENT BASED DESIGN; DELIVERY TIME; ETHERNET PROTOCOLS; INTEGRATED FUNCTION; POINT-TO-POINT COMMUNICATION; POINT-TO-POINT NETWORK; QUANTITATIVE INFORMATION; VERIFICATION PROCESS; VIRTUAL LINK; STOCHASTIC ABSTRACTIONS;

AVIONICS; EMBEDDED SYSTEMS; ETHERNET; COMPLEX NETWORKS; ELECTRONIC DATA INTERCHANGE; STOCHASTIC SYSTEMS;

NETWORK PROTOCOLS; ETHERNET;

EID: 78650099258     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16612-9_25     Document Type: Conference Paper

References (22)

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)
6. Basu, A., Bensalem, S., Bozga, M., Caillaud, B., Delahaye, B., Legay, A.: Statistical abstraction and model-checking of large heterogeneous systems. In: Hatcliff, J., Zucca, E. (eds.) FORTE 2010. LNCS, vol. 6117, pp. 32-46. Springer, Heidelberg (2010)
7. Charara, H., Fraboul, C.: Modelling and simulation of an avionics full duplex switched ethernet. In: Proceedings of the Advanced Industrial Conference on Telecommunications/Service Assurance with Partial and Intermittent Resources Conference/E-Learning on Telecommunication Workshop. IEEE, Los Alamitos (2005)
8. Charara, H., Scharbarg, J.L., Ermont, J., Fraboul, C.: Methods for bounding end-to-end delays on AFDX network. In: ECRTS. IEEE Computer Society, Los Alamitos (2006)
9. Clarke, E.M., Faeder, J.R., Langmead, C.J., Harris, L.A., Jha, S.K., Legay, A.: Statistical model checking in biolab: Applications to the automated analysis of t-cell receptor signaling pathway. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol. 5307, pp. 231-250. Springer, Heidelberg (2008)
10. Cruz, R.: A calculus for network delay. IEEE Transactions on Information Theory 37(1), 114-141 (1991)
11. Grosu, R., Smolka, S.A.: Monte carlo model checking. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 271-286. Springer, Heidelberg (2005)
12. Hérault, T., Lassaigne, R., Magniette, F., Peyronnet, S.: Approximate probabilistic model checking. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol. 2937, pp. 73-84. Springer, Heidelberg (2004)
13. Hoeffding, W.: Probability inequalities. Journal of the American Statistical Association 58, 13-30 (1963)
14. Jansen, D.N., Katoen, J.-P., Oldenkamp, M., Stoelinga, M., Zapreev, I.S.: How fast and fat is your probabilistic model checker? an experimental performance comparison. In: Yorav, K. (ed.) HVC 2007. LNCS, vol. 4899, pp. 69-85. Springer, Heidelberg (2008)
15. Jha, S.K., Clarke, E.M., Langmead, C.J., Legay, A., Platzer, A., Zuliani, P.: A bayesian approach to model checking biological systems. In: Degano, P., Gorrieri, R. (eds.) Computational Methods in Systems Biology. LNCS, vol. 5688, pp. 218-234. Springer, Heidelberg (2009)
16. Laplante, S., Lassaigne, R., Magniez, F., Peyronnet, S., de Rougemont, M.: Probabilistic abstraction for model checking: An approach based on property testing. ACM Trans. Comput. Log. 8(4) (2007)
17. Legay, A., Delahaye, B.: Statistical model checking : An overview. CoRR abs/1005.1327 (2010)
18. Scharbarg, J.L., Fraboul, C.: Simulation for end-to-end delays distribution on a switched ethernet. In: ETFA. IEEE, Los Alamitos (2007)
19. Sen, K., Viswanathan, M., Agha, G.: Statistical model checking of black-box probabilistic systems. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 202-215. Springer, Heidelberg (2004)
20. Wald, A.: Sequential tests of statistical hypotheses. Annals of Mathematical Statistics 16(2), 117-186 (1945)
21. Younes, H.L.S.: Verification and Planning for Stochastic Processes with Asynchronous Events. Ph.D. thesis, Carnegie Mellon (2005)
22. Younes, H.L.S., Kwiatkowska, M.Z., Norman, G., Parker, D.: Numerical vs. statistical probabilistic model checking. STTT 8(3), 216-228 (2006)