skip to main content
research-article

Modeling towards incremental early analyzability of networked avionics systems using virtual integration

Published:01 January 2013Publication History
Skip Abstract Section

Abstract

With the advance of hardware technology, more features are incrementally added to already existing networked systems. Avionics has a stronger tendency to use preexisting applications due to its complexity and scale. As resource sharing becomes intense among the network and the computing modules, it has become a difficult task for the system designer to make confident architectural decisions even for incremental changes. Providing a tailored environment to model and analyze incremental changes requires a combination of software tools and hardware support. We have built a virtual integration tool called ASIIST which can provide a worst-case end-to-end latency of data that is sent through a network and the internal bus architecture of the end-systems. Also, we have devised a new real-time switching algorithm which guarantees the worst-case network delay of preexisting network traffic under feasible conditions. With the real-time switch support, ASIIST can provide an early modularized analysis of the end-to-end latency to make architectural design choices and incremental changes easier for the user.

References

  1. PCI-SIG. 2012. http://www.pcisig.com/specifications.Google ScholarGoogle Scholar
  2. Aeronautical Radio Inc. 1991. Design guidance for integrated modular avionics. ARINC rep. 651.Google ScholarGoogle Scholar
  3. Aeronautical Radio Inc. 2005. Aircraft data network, Part 7 - Avionics full duplex switched ethernet network. ARINC rep. 664P7-1.Google ScholarGoogle Scholar
  4. Audsley, N. and Wellings, A. 1996. Analysing apex applications. In Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS'96). IEEE, Los Alamitos, CA, 39--39. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Baker, T. G. 2002. Lessons learned integrating COTS into systems. In Proceedings of the Ist International Conference on COTS-Based Software Systems (ICCBSS'02). Springer, Berlin, 21--30. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Binns, P., Englehart, M., Jackson, M., and Vestal, S. 1996. Domain specific software architectures for guidance, navigation and control. Int. J. Softw. Engin. Knowl. Engin. 6, 2, 201--227.Google ScholarGoogle ScholarCross RefCross Ref
  7. Boudec, J.-Y. L. and Thiran, P. 2001. Network Calculus: A Theory of Deterministic Queuing Systems for the Internet. Springer. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Davis, R. and Burns, A. 2005. Hierarchical fixed priority preemptive scheduling. In Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS'05). IEEE, Los Alamitos, CA, 389--398. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. Davis, R. and Burns, A. 2006. Resource sharing in hierarchical fixed priority pre-emptive systems. In Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS'06). IEEE, Los Alamitos, CA, 257--270. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Deng, Z. and Liu, J. W.-S. 1997. Scheduling real-time applications in an open environment. In Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS'97). IEEE, Los Alamitos, CA, 308--319. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. Driscoll, K. and Hoyme, K. 1992. The airplane information management system: An integrated real-time flight-deck control system. In Proceedings of the 13th IEEE Real-Time Systems Symposium (RTSS'92). IEEE, Los Alamitos, CA, 267--270.Google ScholarGoogle Scholar
  12. Gopalakrishnan, S., Sha, L., and Caccamo, M. 2004. Hard real-time communication in bus-based networks. In Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS'04). IEEE, Los Alamitos, CA, 405--414. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. Gupta, G. R., Sanghavi, S., and Shroff, N. B. 2009. Node weighted scheduling. In Proceedings of the 11th Joint International Conference on Measurement and Modeling of Computer Systems (Sigmetrics'09). ACM, New York, 97--108. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. Henia, R., Hamann, A., Jersak, M., Racu, R., Richter, K., and Ernst, R. 2005. System level performance analysis - the SymTA/S approach. IEE Proc. Comput. Digit. Techn. 152, 2, 148--166.Google ScholarGoogle ScholarCross RefCross Ref
  15. Hoyme, K. and Driscoll, K. 1992. SAFEbus. In Proceedings of the 11th IEEE/AIAA Digital Avionics Systems Conference (DASC'92). IEEE, Los Alamitos, CA, 68--73.Google ScholarGoogle Scholar
  16. Hugues, J., Zalila, B., Pautet, L., and Kordon, F. 2008. From the prototype to the final embedded system using the ocarina AADL tool suite. ACM Trans. Embedd. Comput. Syst. 7, 4, 1--25. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. Kuo, T.-W. and Li, C.-H. 1999. A fixed-priority-driven open environment for real-time applications. In Proceedings of the 20th IEEE Real-Time Systems Symposium (RTSS'99). IEEE, Los Alamitos, CA, 256--267. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. Lee, Y.-H., Kim, D., Younis, M., and Zhou, J. 2000. Scheduling tool and algorithm for integrated modular avionics systems. In Proceedings of the 19th IEEE/AIAA Digital Avionics Systems Conference (DASC'00). Vol. 1. IEEE, Los Alamitos, CA, 1C2/1--1C2/8.Google ScholarGoogle Scholar
  19. Lipari, G. and Bini, E. 2003. Resource partitioning among real-time applications. In Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS'03). IEEE, Los Alamitos, CA, 151--158.Google ScholarGoogle Scholar
  20. Liu, J. W.-S. 2000. Real-Time Systems. Prentice Hall.Google ScholarGoogle Scholar
  21. McKeown, N. 1999. The iSLIP scheduling algorithm for input-queued switches. IEEE/ACM Trans. Netw. 7, 2, 188--201. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. Mohan, S., Nam, M.-Y., Pellizoni, R., Sha, L., Bradford, R., and Fliginger, S. 2009. Rapid early-phase virtual integration. In Proceedings of the 30th IEEE Real-Time Systems Symposium (RTSS'09). IEEE, Los Alamitos, CA, 33--44. Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. Neely, M. J., Modiano, E., and Cheng, Y.-S. 2007. Logarithmic delay for n × n packet switches under the crossbar constraint. IEEE/ACM Trans. Netw. 15, 3, 657--668. Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. Papadimitriou, G. I., Papazoglou, C., and Pomportsis, A. S. 2003. Optical switching: switch fabrics, techniques, and architectures. J. Lighwave Technol. 21, 2.Google ScholarGoogle ScholarCross RefCross Ref
  25. Pellizzoni, R., Nam, M.-Y., Bradford, R. M., and Sha, L. 2008. A network calculus based analysis for the PCI bus. Tech. rep., University of Illinois at Urbana-Champaign, http://ece.uwaterloo.ca/~rpellizz/techreps/busanal.pdf.Google ScholarGoogle Scholar
  26. Peterson, L. L. and Davie, B. S. 2000. Computer Networks: A System Approach. Morgan Kaufmann. Google ScholarGoogle ScholarDigital LibraryDigital Library
  27. Porter, J., Karsai, G., Völgyesi, P., Nine, H., Humke, P., Hemingway, G., Thibodeaux, R., and Sztipanovits, J. 2009. Towards model-based integration of tools and techniques for embedded control system design, verification, and implementation. Lecture Notes in Computer Science, vol. 5421, Springer, 20--34. Google ScholarGoogle ScholarDigital LibraryDigital Library
  28. Rexford, J., Hall, J., and Shin, K. G. 1998. A router architecture for real-time communication in multicomputer networks. IEEE Transactions on Computers 47, 10, 1088--1101. Google ScholarGoogle ScholarDigital LibraryDigital Library
  29. Reynolds, B. 1998. An application of COTS Ethernet for avionics. In Proceedings of the 17th IEEE/AIAA Digital Avionics Systems Conference (DASC'98). Vol. 2. IEEE, Los Alamitos, CA, J13/1--J13/8.Google ScholarGoogle ScholarCross RefCross Ref
  30. SAE. 2009. Architecture Analysis & Design Language (AADL). AS5506A. http://standards.sae.org/as5506a.Google ScholarGoogle Scholar
  31. Scharbarg, J.-L., Ridouard, F., and Fraboul, C. 2009. A probabilistic analysis of end-to-end delays on an AFDX avionic network. IEEE Trans. Indust. Info. 5, 1, 38--49.Google ScholarGoogle ScholarCross RefCross Ref
  32. Schuster, T. and Verma, D. 2008. Networking concepts comparison for avionics architecture. In Proceedings of the 27th IEEE/AIAA Digital Avionics Systems Conference (DASC'08). IEEE, Los Alamitos, CA, 1.D.1--1--1.D.1--11.Google ScholarGoogle Scholar
  33. Sha, L., Rajkumar, R., and Lehoczky, J. P. 1990. Real-time scheduling support in futurebus+. In Proceedings of the 11th IEEE Real-Time Systems Symposium (RTSS'90). IEEE, Los Alamitos, CA, 331--340.Google ScholarGoogle Scholar
  34. Shin, I. and Lee, I. 2003. Periodic resource model for compositional real-time guarantees. In Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS'03). IEEE, Los Alamitos, CA, 2--13. Google ScholarGoogle ScholarDigital LibraryDigital Library
  35. Singhoff, F., Legrand, J., Nana, L., and Marcé, L. 2005. Scheduling and memory requirements analysis with AADL. ACM SIGAda Ada Lett. XXV, 4, 1--10. Google ScholarGoogle ScholarDigital LibraryDigital Library
  36. Sokolsky, O., Lee, I., and Clarke, D. 2009. Process-algebraic interpretation of AADL models. In Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe'09). Springer, 222--236. Google ScholarGoogle ScholarDigital LibraryDigital Library
  37. Thiele, L., Chakraborty, and S., Naedele, M. 2000. Real-time calculus for scheduling hard real-time systems. In Proceedings of IEEE International Symposium on Circuits and Systems (ISCAS'00). Vol. 4. IEEE, Los Alamitos, CA, 101--104.Google ScholarGoogle ScholarCross RefCross Ref
  38. Venkatramani, C. and Chiueh, T. 1997. Design and implementation of a real-time switch for segmented Ethernets. In Proceedings of IEEE International Conference on Network Protocol (ICNP'97). IEEE, Los Alamitos, CA, 152--161. Google ScholarGoogle ScholarDigital LibraryDigital Library
  39. Wang, Q., Gopalakrishnan, S., Liu, X., and Sha, L. 2008. A switch design for real-time industrial networks. In Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'08). IEEE, Los Alamitos, CA, 367--376. Google ScholarGoogle ScholarDigital LibraryDigital Library
  40. Weller, T. and Hajek, B. 1997. Scheduling nonuniform traffic in a packet-switching system with small propagation delay. IEEE/ACM Trans. Netw. 5, 6, 813--823. Google ScholarGoogle ScholarDigital LibraryDigital Library
  41. Yao, S., Mukherjee, B., and Dixit, S. 2000. Advances in photonic packet switching: an overview. IEEE Comm. Mag. 38, 2, 84--94. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Modeling towards incremental early analyzability of networked avionics systems using virtual integration

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in

        Full Access

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader
        About Cookies On This Site

        We use cookies to ensure that we give you the best experience on our website.

        Learn more

        Got it!