research-article

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

Authors:

Rodolfo Pellizzoni,

Kyung-Joon Park,

Lui ShaAuthors Info & Claims

ACM Transactions on Embedded Computing Systems (TECS), Volume 11, Issue 4

Article No.: 81, Pages 1 - 23

https://doi.org/10.1145/2362336.2362348

Published: 01 January 2013 Publication History

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.

[2]

Aeronautical Radio Inc. 1991. Design guidance for integrated modular avionics. ARINC rep. 651.

[3]

Aeronautical Radio Inc. 2005. Aircraft data network, Part 7 - Avionics full duplex switched ethernet network. ARINC rep. 664P7-1.

[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.

Digital 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.

Digital 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.

[7]

Boudec, J.-Y. L. and Thiran, P. 2001. Network Calculus: A Theory of Deterministic Queuing Systems for the Internet. Springer.

Digital 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.

Digital 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.

Digital 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.

Digital 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.

[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.

Digital 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.

Digital 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.

[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.

[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.

Digital 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.

Digital 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.

[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.

[20]

Liu, J. W.-S. 2000. Real-Time Systems. Prentice Hall.

[21]

McKeown, N. 1999. The iSLIP scheduling algorithm for input-queued switches. IEEE/ACM Trans. Netw. 7, 2, 188--201.

Digital 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.

Digital 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.

Digital Library

[24]

Papadimitriou, G. I., Papazoglou, C., and Pomportsis, A. S. 2003. Optical switching: switch fabrics, techniques, and architectures. J. Lighwave Technol. 21, 2.

[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.

[26]

Peterson, L. L. and Davie, B. S. 2000. Computer Networks: A System Approach. Morgan Kaufmann.

Digital 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.

Digital 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.

Digital 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.

[30]

SAE. 2009. Architecture Analysis & Design Language (AADL). AS5506A. http://standards.sae.org/as5506a.

[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.

[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.

[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.

[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.

Digital 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.

Digital 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.

Digital 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.

[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.

Digital 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.

Digital 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.

Digital Library

[41]

Yao, S., Mukherjee, B., and Dixit, S. 2000. Advances in photonic packet switching: an overview. IEEE Comm. Mag. 38, 2, 84--94.

Digital Library

Cited By

Stazi GSinisi SDi Valerio VLiu CUttberg DYapi LLazzara LUlisse ABaleani MMignogna A(2023)Agile Model-Based Integration Framework for Advanced Software Validation and VerificationAIAA SCITECH 2023 Forum10.2514/6.2023-2223Online publication date: 16-Jan-2023
https://doi.org/10.2514/6.2023-2223
Kang KNam MSha L(2015)Worst Case Analysis of Packet Delay in Avionics Systems for Environmental MonitoringIEEE Systems Journal10.1109/JSYST.2014.23368729:4(1354-1362)Online publication date: Dec-2015
https://doi.org/10.1109/JSYST.2014.2336872
Hugues JBrau G(2014)Analysis as a First-Class CitizenProceedings of the 2014 IEEE 17th International Symposium on Object/Component-Oriented Real-Time Distributed Computing10.1109/ISORC.2014.60(214-221)Online publication date: 10-Jun-2014
https://dl.acm.org/doi/10.1109/ISORC.2014.60
Show More Cited By

Index Terms

Modeling towards incremental early analyzability of networked avionics systems using virtual integration
1. Computer systems organization
  1. Embedded and cyber-physical systems
  2. Real-time systems
2. Hardware
  1. Hardware validation

Recommendations

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 01

New 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 ...
Rapid Early-Phase Virtual Integration
RTSS '09: Proceedings of the 2009 30th IEEE Real-Time Systems Symposium

In complex hard real-time systems with tight constraints on system resources, small changes in one component of a system can cause a cascade of adverse effects on other parts of the system. We address the inherent complexity of making architectural ...
AADL-based Modeling and TPN-based Verification of Reconfiguration in Integrated Modular Avionics
APSEC '11: Proceedings of the 2011 18th Asia-Pacific Software Engineering Conference

This paper seeks to model the Integrated Modular Avionics (IMA) using Architectural Analysis and Design Language (AADL). In particular, the mechanism to describe the dynamic reconfiguration of multimodal system is presented. By translating the AADL ...

Comments

Information & Contributors

Information

Published In

cover image ACM Transactions on Embedded Computing Systems

ACM Transactions on Embedded Computing Systems Volume 11, Issue 4

December 2012

459 pages

ISSN:1539-9087

EISSN:1558-3465

DOI:10.1145/2362336

Issue’s Table of Contents

Copyright © 2013 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Journal Family

ACM Journals for the Design of Smart and Connected Systems

Publication History

Published: 01 January 2013

Accepted: 01 January 2011

Revised: 01 August 2010

Received: 01 February 2010

Published in TECS Volume 11, Issue 4

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed

Funding Sources

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
321
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Stazi GSinisi SDi Valerio VLiu CUttberg DYapi LLazzara LUlisse ABaleani MMignogna A(2023)Agile Model-Based Integration Framework for Advanced Software Validation and VerificationAIAA SCITECH 2023 Forum10.2514/6.2023-2223Online publication date: 16-Jan-2023
https://doi.org/10.2514/6.2023-2223
Kang KNam MSha L(2015)Worst Case Analysis of Packet Delay in Avionics Systems for Environmental MonitoringIEEE Systems Journal10.1109/JSYST.2014.23368729:4(1354-1362)Online publication date: Dec-2015
https://doi.org/10.1109/JSYST.2014.2336872
Hugues JBrau G(2014)Analysis as a First-Class CitizenProceedings of the 2014 IEEE 17th International Symposium on Object/Component-Oriented Real-Time Distributed Computing10.1109/ISORC.2014.60(214-221)Online publication date: 10-Jun-2014
https://dl.acm.org/doi/10.1109/ISORC.2014.60
Han SKang KRyu J(2014)Determination of Delay Bound over Multi-hop Real-Time Switches with Virtual Output QueuingProceedings of the 2014 IEEE 28th International Conference on Advanced Information Networking and Applications10.1109/AINA.2014.144(892-898)Online publication date: 13-May-2014
https://dl.acm.org/doi/10.1109/AINA.2014.144

View Options

Login options

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

Full Access

Get this Article

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Issue’s Table of Contents