References
- C. Watkins and R. Walter, "Transitioning from federated avionics architectures to integrated modular avionics," in Proc. of IEEE/AlAA 26th Digital Avionics Systems Conference (DASC), Oct. 2007.
- Aeronautical Radio Inc., Avionics Application Software Standard Interface (part 1): Require Services. ARINC Specification 653P1-2, Dec. 2005.
- Automotive Open System Architecture. AUTOSAR Specification Release 4.0, 2012
- Z. Deng and J. W.-S. Liu, "Scheduling real-time applications in an open environment," in Proc. of the 18th IEEE Real Time Systems Symposium (RTSS), pp. 308-319, Dec. 1997.
- S. Han and H.-W. Jin, "Kernel-level ARINC 653 partitioning for linux," in Proc. of the 27th ACM Symposium on Applied Computing (SAC), Mar. 2012.
- 이종태, 김정국, "파티션 컴퓨팅을 위한 TMO.p 모델과 스케줄러", 정보과학회논문지:컴퓨팅의 실제 및 레터, 제18권, 제11호, pp.733-741, 2012년 11월.
- S. Han and H.-W. Jin, "Resource partitioning for integrated modular avionics: comparative study of implementation alternatives," Software:Practice and Experience, VoI. 44, No. 12, pp. 1441-1466, Dec. 2014. https://doi.org/10.1002/spe.2210
- P. Edgar, J. Rufino, T. Schoofs, and J. Windsor, "Amoba - arinc 653 simulator for modular based space applications," in Proc. of Eurospace Data Systems in Aerospace Conference (DASIA), Oct. 2008.
- T. Schoofs, S. Santos, C. Tatibana, and J. Anjos, "An integrated modular avionics development environment," in Proc. the 28th IEEE/AlAA Digital Avionics Systems Conference (DASC), Oct. 2009.
- A. Dubey, G. Karsai, and N. Mahadevan, "A component model for hard real-time systems: ccm with arinc-653," Software:Practice and Experience, Vol. 41, No. 12, pp. 1517 - 1550, 2011. https://doi.org/10.1002/spe.1083
- 김주호, 김다정, 유수인, 조현철, 진현욱, 이식성과 확장성을 위한 계층적 ARINC 653 구현. 한국정보과학회 2015 동계학술발표집, 2015년 12월.
- P. Menage, "Cgroups," kernel.org, 2006
- M. Masmano, I. Ripoll, A. Crespo, and J. Metge, "Xtratum: a hypervisor for safety critical embedded systems," in Proc. of Real-Time Linux Workshop (RTLWS), 2009.
- R. Kaiser and S. Wagner, "Evolution of the pikeos microkernel," in Proc. of the 1st International Workshop on Microkernels for Embedded Systems, 2007.
- S. H. VanderLeest, "Arinc 653 hypervisor," in Proc. of IEEE/AIAA 29th Digital Avionics Systems Conference (DASC), Oct. 2010.
- S. Xi, J. Wilson, C. Lu, and C. D. Gill, "Rt-xen: towards real-time hypervisor scheduling in xen," in Proc. of IEEE International Conference on Embedded Software (EMSOFT'11), 2011.
- P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, R. Neugebauer, l. Pratt, and A. Warfield, "Xen and the ati of virtualization," ACM SIGOPS Operating Systems Review, Vol. 37, No. 5, pp. 164-177, 2003. https://doi.org/10.1145/1165389.945462
- S. Han and H.-W. Jin, "Full virtualization based arinc 653 partitioning for linux," in Proc. of IEEE/AIAA 31th Digital Avionics Systems Conference (DASC), Oct. 2011.
- Hypervisor for ARMv7 Virtualization Extensions, https://github.com/kesl/khypervisor.
- I. Shin and I. Lee, "Compositional real-time scheduling framework with periodic model", ACM Transactions on Embedded Computing Systems, Vol. 7, No. 2, pp. 30:1-30:39, Apr. 2008.
- M. Asberg, T. Nolte, S. Kato, and R. Rajkumar, "Exsched: an external cpu scheduler framework for real-time systems," in Proc. of IEEE 18th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), pp. 240-249, 2012.
- B. Brandenburg, J. Calandrino, and J. Anderson, "On the scalability of real-time scheduling algorithms on multicore platforms: a case study," in Proc. of the 29th Real-Time Systems Symposium (RTSS), 2008.
- Y.-G. Yim, H.-C. Jo, H.-W. Jin, and S.-I. Lee, "Schedulability analysis of liollx task groups for hard real-time systems," in Proc. of the 17th Real Time Linux Workshop (RTLWS), pp. 5-12, Oct. 2015.
- H. Ballani, P. Costa, T. Karagian.nis, and A. Rowstron, "Towards predictable datacenter networks," in Proc. of ACM SIGCOMM Computer Communication Review, Vol. 41, pp. 242 - 253, 2011.
- C. GuO, G. Lu, H. Wang, S. Yang, C. Kong, P. Sun, W. Wu, and Y. Zhang, "Secondnet: a data center network virtualization architecture with bandwidth guarantees," in Proc. of the 6th International Conference on emerging Networking Experiments and Technologies (CoNEXT), 2010.
- V. Jeyakumar, M. Alizadeh, D. Mazieres, B. Prabhakar, C. Kim, and A. Greenberg, "Eyeq: practical network performance isolation at the edge," in Proc. of the 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI), 2013.
- K. Tindell, A. Burns, and A. J. Wellings, "Analysis of hard real-time communications," Real-Time Systems Vol. 9, No. 2, pp. 147-171, 1995. https://doi.org/10.1007/BF01088855
- R. l. Davis, A. Burns, R. J. Bril, and J. J. Lukkien. "Controller Area Network (CAN) schedulability analysis: refuted, revisited and revised." Real-Time Systems, Vol. 35, No. 3, pp. 239-272, 2007. https://doi.org/10.1007/s11241-007-9012-7
- S.-H. Lee, H.-W. Jin, and K. Kim, "A simulation tool for optimal phasing of nodes distributed over industrial real-time networks," in Proc. of the 4th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS), pp. 13-18, Jul. 2013.
- H. Zeng, M. D. Natale, P. Giusto, and A. Sangiovanni-Vincentelli, "Using statistical methods to compute the probability distribution of message response time in controller area network," IEEE Transactions on Industrial Informatics, Vol. 6, No. 4, pp. 678 - 691, Nov 2010. https://doi.org/10.1109/TII.2010.2050143
- K. Kim, J. L. Diaz, L. LoBello, J. M. Lopez, C.-G. Lee, and S. L. Min, "An exact stochastic analysis of priority-driven periodic real-time systems and its approximations," IEEE Transactions on Computers, Vol. 54, No. 11, pp. 1460 - 1466, Nov. 2005. https://doi.org/10.1109/TC.2005.174
- D. Jansen and H. Buttner, "Real-time ethernet the ethercat solution," Computing Control Engineering Journal, Vol. 15, No. 1, pp. 16 - 21, 2004.
- IEEE standard for local and metropolitan area networks - audio video bridging (avb) systems, IEEE Std 802.1BA-2011 (2011) 1 - 45doi: 10.1109/IEEESTD.2011.6032690.
- J. Feld, "Profinet: Scalable factory communication for all applications," in Proc. of IEEE International Workshop on Factory Communication Systems, pp. 33 - 38, 2004
- S. S. Craciunas, R. S. Oliver, and V. Ecker, "Optimal static scheduling of real-time tasks on distributed time-triggered networked systems," in Proc. of IEEE International Conference on Emerging Technology and Factory Automation (ETFA), 2014.
- 이상헌, "파티션 시스템에서 실시간 네트워크 최악 종단 지연시간 향상", 박사학위논문, 건국대학교, 2015.
- C. Herber, A. Richter, H. Rauchfuss, and A. Herkersdorf. "Spatial and temporal isolation of virtual can controllers." ACM SIGBED Review, Vol. 11, No. 2, pp. 19-26, 2014. https://doi.org/10.1145/2668138.2668141
- J.-S. Kim, S.-H. Lee, and H.-W. Jin, "Fieldbus Virtualization for lntegrated Modular Avionics," in Proc. of the 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Sep. 2011.
- S. Hand, "Self-paging in the Nemesis operating system," in Proc. of the USENIX Symposium on Operating Systems Design and Implementation (OSDI), pp. 73 - 86, 1999.
- A. Eswaran and R. Rajkumar, "Energy-aware memory firewalling for QoS-sensitive applications," in Proc. of the Euromicro Conference on Real-Time Systems (ECRTS), pp 11 - 20, 2005.
- S. Kato, Y. Ishikawa, and R. Rajkumar, "CPU scheduling and memory management for interactive real-time applications," Real-Time Systems, Vol. 47, No. 5, pp. 454-488, 2011. https://doi.org/10.1007/s11241-011-9127-8
- R. Mancuso, R. Dudko, E. Betti, M. Cesati, M. Caccamo, and R. Pellizzoni, "Real-time cache management framework for multi-core architectures," in Proc. of IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 45-54, 2013.
- J. Herter, P. Backes, F. Haupenthal, and J. Reineke, "CAMA: A predictable cache-aware memory allocator," in Proc. of the 23rd Euromicro Conference on Real-Time Systems (ECRTS), pp. 23 - 32, 2011.
- H. Yun, G. Yao, R. Pellizzoni, M. Caccamo, and L. Sha, "Memguard: Memory bandwidth reservation system for efficient performance isolation in multi-core platforms," in Proc. of IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 55-64, 2013.
- S. Gondi, S. Biswas, and H. Yun, "Performance isolation for real-time applications on multicore platforms using PALLOC and MemGuard," in Proc. of Real-Time Linux Workshop (RTLWS), 2014.
- H. Yun, R. Mancuso, Z.-P. Wu, and R. Pellizzoni, "PALLOC: DRAM bank-aware memory allocator for performance isolation on multicore platforms," in Proc. of IEEE 20th Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 155-166, 2014.
- K. H. Kim and C. Subbaraman, "Fault tolerant real-time objects", Communications of the ACM, pp. 75-82, Jan. 1997.
- K. H. Kim and H. Kopetz, "A real-time object model RTO.k and an experimental investigation of its potentials", in Proc. of IEEE Computer Software and Applications Conference (COMPSAC), pp. 392-402, Nov. 1994.
- 유진호, 한규종, 김용현, 안미림, 김두현, "가상머신 상의 PSTR모델 수행환경 연구", 한국정보기술학회논문지, 제11권, 제8호, pp. 153-162, 2013년 8월.
- 정병용, 김정국, "파티션 컴퓨팅 기반의 무인기 고장 감내 관성 항법 시스템," 정보과학회논문지:컴퓨팅의 실제 및 레터, 제21권, 제1호, pp. 29-39, 2015년 1월.
- J. Hyun and K. H. Kim, "Fault-tolerant scheduling in hierarchical real-tÏme scheduling framework," in Proc. of IEEE 18th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) Workshop, Aug. 2012.
- H.-W. Jin, "Fault-tolerant hierarchical real-time scheduling with backup partitions on single processor," ACM SIGBED Review, Vol. 10, No. 4, pp. 25-28, Dec. 2013. https://doi.org/10.1145/2583687.2583693
- Y. Oh and S. H. Son, "Enhancing fault-tolerance in rate-monotonic scheduling," Real-Time Systems, Vol. 7, No. 3, pp. 315-329, 1994. https://doi.org/10.1007/BF01088524