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.
- PCI-SIG. 2012. http://www.pcisig.com/specifications.Google Scholar
- Aeronautical Radio Inc. 1991. Design guidance for integrated modular avionics. ARINC rep. 651.Google Scholar
- Aeronautical Radio Inc. 2005. Aircraft data network, Part 7 - Avionics full duplex switched ethernet network. ARINC rep. 664P7-1.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- Boudec, J.-Y. L. and Thiran, P. 2001. Network Calculus: A Theory of Deterministic Queuing Systems for the Internet. Springer. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
- Liu, J. W.-S. 2000. Real-Time Systems. Prentice Hall.Google Scholar
- McKeown, N. 1999. The iSLIP scheduling algorithm for input-queued switches. IEEE/ACM Trans. Netw. 7, 2, 188--201. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Papadimitriou, G. I., Papazoglou, C., and Pomportsis, A. S. 2003. Optical switching: switch fabrics, techniques, and architectures. J. Lighwave Technol. 21, 2.Google Scholar
Cross Ref
- 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 Scholar
- Peterson, L. L. and Davie, B. S. 2000. Computer Networks: A System Approach. Morgan Kaufmann. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- SAE. 2009. Architecture Analysis & Design Language (AADL). AS5506A. http://standards.sae.org/as5506a.Google Scholar
- 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 Scholar
Cross Ref
- 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 Scholar
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Yao, S., Mukherjee, B., and Dixit, S. 2000. Advances in photonic packet switching: an overview. IEEE Comm. Mag. 38, 2, 84--94. Google Scholar
Digital Library
Index Terms
Modeling towards incremental early analyzability of networked avionics systems using virtual integration
Recommendations
On Schedulability Analysis for Embedded Systems with AADL Model
QSIC '13: Proceedings of the 2013 13th International Conference on Quality SoftwareIn order to predicate the schedulability of real-time embedded system in the model design stage, a new schedulability analysis method for embedded system models using Architecture Analysis and Design Language (AADL) is presented in this paper. Through ...
A survey of avionics analysis and simulation based on AADL model
This paper aims to review and summarise the researches on the analysis and simulation of avionics including integrated modular avionics IMA based on Architecture Analysis & Design Language AADL models. Firstly, the features of AADL and its annexes are ...
Limiting Worst-Case End-to-End Latency When Traffic Increases in a Switched Avionics Network
RTCSA '11: Proceedings of the 2011 IEEE17th International Conference on Embedded and Real-Time Computing Systems and Applications - Volume 01New features are often added incrementally to avionics systems. This avoids redesign and recertification but still requires verifying the timing constraints of both new and existing applications. We introduce a new switch that facilitates this ...






Comments