{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:51:52Z","timestamp":1750308712969,"version":"3.41.0"},"reference-count":41,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2012,12,1]],"date-time":"2012-12-01T00:00:00Z","timestamp":1354320000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS 06-49885 SGER, CCR-3-25716"],"award-info":[{"award-number":["CNS 06-49885 SGER, CCR-3-25716"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000144","name":"Division of Computer and Network Systems","doi-asserted-by":"publisher","award":["CNS 06-49885 SGER, CCR-3-25716"],"award-info":[{"award-number":["CNS 06-49885 SGER, CCR-3-25716"]}],"id":[{"id":"10.13039\/100000144","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2012,12]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.1145\/2362336.2362348","type":"journal-article","created":{"date-parts":[[2013,1,11]],"date-time":"2013-01-11T15:42:48Z","timestamp":1357918968000},"page":"1-23","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Modeling towards incremental early analyzability of networked avionics systems using virtual integration"],"prefix":"10.1145","volume":"11","author":[{"given":"Min-Young","family":"Nam","sequence":"first","affiliation":[{"name":"University of Illinois at Urbana-Champaign"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kyungtae","family":"Kang","sequence":"additional","affiliation":[{"name":"Hanyang University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rodolfo","family":"Pellizzoni","sequence":"additional","affiliation":[{"name":"University of Waterloo"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kyung-Joon","family":"Park","sequence":"additional","affiliation":[{"name":"Daegu Gyeongbuk Institute of Science &amp; Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jung-Eun","family":"Kim","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lui","family":"Sha","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,1]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"PCI-SIG. 2012. http:\/\/www.pcisig.com\/specifications.  PCI-SIG. 2012. http:\/\/www.pcisig.com\/specifications."},{"key":"e_1_2_1_2_1","unstructured":"Aeronautical Radio Inc. 1991. Design guidance for integrated modular avionics. ARINC rep. 651.  Aeronautical Radio Inc. 1991. Design guidance for integrated modular avionics. ARINC rep. 651."},{"key":"e_1_2_1_3_1","unstructured":"Aeronautical Radio Inc. 2005. Aircraft data network Part 7 - Avionics full duplex switched ethernet network. ARINC rep. 664P7-1.  Aeronautical Radio Inc. 2005. Aircraft data network Part 7 - Avionics full duplex switched ethernet network. ARINC rep. 664P7-1."},{"volume-title":"Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS'96)","author":"Audsley N.","key":"e_1_2_1_4_1","unstructured":"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. 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."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/646852.707738"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194096000107"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1755809"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2005.25"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2006.42"},{"volume-title":"Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS'97)","author":"Deng Z.","key":"e_1_2_1_10_1","unstructured":"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. 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."},{"volume-title":"Proceedings of the 13th IEEE Real-Time Systems Symposium (RTSS'92)","author":"Driscoll K.","key":"e_1_2_1_11_1","unstructured":"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. 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."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2004.24"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1555349.1555361"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:20045088"},{"volume-title":"SAFEbus. In Proceedings of the 11th IEEE\/AIAA Digital Avionics Systems Conference (DASC'92)","author":"Hoyme K.","key":"e_1_2_1_15_1","unstructured":"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. 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."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1376804.1376810"},{"volume-title":"Proceedings of the 20th IEEE Real-Time Systems Symposium (RTSS'99)","author":"Kuo T.-W.","key":"e_1_2_1_17_1","unstructured":"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. 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."},{"key":"e_1_2_1_18_1","volume-title":"Proceedings of the 19th IEEE\/AIAA Digital Avionics Systems Conference (DASC'00)","volume":"1","author":"Lee Y.-H.","unstructured":"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. 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."},{"volume-title":"Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS'03)","author":"Lipari G.","key":"e_1_2_1_19_1","unstructured":"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. 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."},{"volume-title":"Real-Time Systems","author":"Liu J. W.-S.","key":"e_1_2_1_20_1","unstructured":"Liu , J. W.-S. 2000. Real-Time Systems . Prentice Hall . Liu, J. W.-S. 2000. Real-Time Systems. Prentice Hall."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/90.769767"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2009.48"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2007.893876"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/JLT.2003.808766"},{"key":"e_1_2_1_25_1","unstructured":"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.  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."},{"key":"e_1_2_1_26_1","volume-title":"Computer Networks: A System Approach. Morgan Kaufmann.","author":"Peterson L. L.","year":"2000","unstructured":"Peterson , L. L. and Davie , B. S . 2000 . Computer Networks: A System Approach. Morgan Kaufmann. Peterson, L. L. and Davie, B. S. 2000. Computer Networks: A System Approach. Morgan Kaufmann."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01648-6_3"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.729792"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.1998.739884"},{"key":"e_1_2_1_30_1","unstructured":"SAE. 2009. Architecture Analysis & Design Language (AADL). AS5506A. http:\/\/standards.sae.org\/as5506a.  SAE. 2009. Architecture Analysis & Design Language (AADL). AS5506A. http:\/\/standards.sae.org\/as5506a."},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2009.2016085"},{"volume-title":"Proceedings of the 27th IEEE\/AIAA Digital Avionics Systems Conference (DASC'08)","author":"Schuster T.","key":"e_1_2_1_32_1","unstructured":"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. 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."},{"volume-title":"Proceedings of the 11th IEEE Real-Time Systems Symposium (RTSS'90)","author":"Sha L.","key":"e_1_2_1_33_1","unstructured":"Sha , L. , Rajkumar , R. , and Lehoczky , J. P . 1990. Real-time scheduling support in futurebus&plus; . In Proceedings of the 11th IEEE Real-Time Systems Symposium (RTSS'90) . IEEE, Los Alamitos, CA, 331--340. Sha, L., Rajkumar, R., and Lehoczky, J. P. 1990. Real-time scheduling support in futurebus&plus;. In Proceedings of the 11th IEEE Real-Time Systems Symposium (RTSS'90). IEEE, Los Alamitos, CA, 331--340."},{"volume-title":"Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS'03)","author":"Shin I.","key":"e_1_2_1_34_1","unstructured":"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. 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."},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1104011.1103847"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01924-1_16"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2000.858698"},{"volume-title":"Proceedings of IEEE International Conference on Network Protocol (ICNP'97)","author":"Venkatramani C.","key":"e_1_2_1_38_1","unstructured":"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. 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."},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2008.8"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/90.650141"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/35.819900"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2362336.2362348","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2362336.2362348","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:14:16Z","timestamp":1750277656000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2362336.2362348"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":41,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["10.1145\/2362336.2362348"],"URL":"https:\/\/doi.org\/10.1145\/2362336.2362348","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2012,12]]},"assertion":[{"value":"2010-02-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2011-01-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2013-01-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}