정보과학회지 (Communications of the Korean Institute of Information Scientists and Engineers)

한국정보과학회 (Korean Institute of Information Scientists and Engineers)
권호 표지

고도의 안정성과 신뢰성을 요구하는 Mission Critical System을 위한 가상화 기반 소프트웨어 아키텍쳐

A Virtualization-based Software Architecture for Highly Secure and Reliable Mission Critical Systems

  • 발행 : 2012.03.20
⟨ 이전 논문 다음 논문 ⟩

초록

키워드

참고문헌

  1. D. C. Latham, "Department of Defense Trusted Computer System Evaluation Criteria", Department of Defense, 1986.
  2. J. Liedtke, "Toward Real Microkernels", Communications of the ACM(CACM), Vol. 39, No. 9, pp.70-77, September 1996. https://doi.org/10.1145/234215.234473
  3. B. Lampson, M. Abadi, M. Burrows, and E. Wobber, "Authentication in Distributed Systems: Theory and Practice", ACM Transactions on Computer Systems (TOCS), Vol. 10, No. 4, pp.265-310, November 1992. https://doi.org/10.1145/138873.138874
  4. CPS Steering Group, "Cyber-Physical Systems Executive Summary", http://varma.ece.cmu.eduJSummitlCPSExecutive- Summary.pdf, March 2008.
  5. T. C. Bressoud and F. B. Schneider, "Hypervisor-Based Fault-Tolerance", ACM Transactions on Computer Systems(TOCS), Vol. 14, No. 1, pp.80-107, February 1996 . https://doi.org/10.1145/225535.225538
  6. M. M. Swift, B. N. Bershad and H. M. Levy, "Improving the Reliability of Commodity Operating Systems", ACM Transactions on Computer Systems(TOCS), Vol. 23, No. 1, pp.77-110, February 2005. https://doi.org/10.1145/1047915.1047919
  7. L. Sha, R. Raikumar, and M. Gagliardi, "Evolving dependable real-time systems", in Proceedings ofthe IEEE Aerospace Applications Conference, Vol. 1, pp.335-346, Aspen, CO, February 1996.
  8. J. Rivera, A. Danylyszyn, C. Weinstock, L. Sha, and M. Gagliardi, "An Architectural Description of the Simplex Architecture", Technical Report CMU/SEI-96-TR-006, Software Engineering Institute, Camegie Mellon University, Pittsburgh, Pennsylvania, March 1996.
  9. L. Sha, "Dependable system upgrade", in Proceedings of the 19th IEEE Real-Time Systems Symposium(RTSS'98), pp.440-448, Madrid, Spain, December 1998.
  10. L. Sha, "Using simplicity to control complexity", IEEE Software, Vol. 18, No. 4, pp.20-28, July/August 2001. https://doi.org/10.1109/MS.2001.936213
  11. R. Chandra, X Liu, and L. Sha, "On the Scheduling of Flexible and Reliable Real-Time Control Systems", Real-Time Systems, Vol. 24, No 2. pp.153-169, March 2003. https://doi.org/10.1023/A:1021726418716
  12. L. Sha, "Upgrading real-time control software in the field", in Proceedings of IEEE, Vol. 91 , No. 7, January 2003.
  13. T. Crenshaw, E. Gunter, C. Robinson, L. Sha, and P. Kumar, "The Simplex ReferenceModel: Limiting Fault-Propagation due to Unreliable Components in Cyber-Physical System Architectures", in Proceedings of the 28th IEEE Real-Time Systems Symposium(RTSS'07), pp.400-409, Tuscon, Arizona, December 2007.
  14. X. Liu, H. Ding, K. Lee, Q. Wang, and L. Sha, "ORTEGA: An Efficient and Flexible Software Fault Tolerance Architecture for Real-Time Control Systems", in Proceedings of the 20th IEEE Euromicro Conference on Real-Time Systems(ECRTS'08), pp.125-134, Prague, Czech Republic, July 2008.
  15. S. Bak, D. Chivukula, O. Adekunle, M. Sun, M. Caccamo, and L. Sha, "The System-Level Simplex Architecture for Improved Real-Time Embedded System Safety", in Proceedings of the 15th IEEE Real Time and Embedded Technology and Applications Symposium(RTAS' 09), pp.99-107, San Francisco, CA, April 2009.
  16. S. H. Yoo, C. Yoo, "Research Trends in Real-time Embedded System Virtualization," Journal of KlISE, Vol. 26, No. 10, pp.41-49, October 2008.(in Korean)
  17. S. Yoo, M. Park, C. Yoo, "A Step to Support Real-time in a Virtual Machine Monitor", in Proceedings of the 6th IEEE Consumer Communications and Networking Conference(CCNC'09), pp.405-411, Las Vegas, Nevada, January 2009.
  18. G. Heiser, "Hypervisors for Consumer Electronics", in Proceedings of the 6th IEEE Consumer Communications and Networking Conference(CCNC'09), pp.614-618, Las Vegas, Nevada, January 2009.
  19. C. Augier, "Realtime Scheduling in a Virtual Machine Environments", in Proceedings of the Junior Researcher Workshop on Real-Time Computing(JRWRTC'07), Nancy, France, March 2007.
  20. G. Heiser, K. Elphinstone, I. Kuz, G. Klein and Stefan M. Petters, "Towards trustworthy computing systems: Taking microkernels to the next level", ACM Operating System Review, Vol. 41, No. 4, pp.3-11, July 2007. https://doi.org/10.1145/1278901.1278904
  21. A. Tanenbaum, J. Herder, and H. Bos, "Can we make operating systems reliable and secure?", IEEE Computer, Vol. 29, Issue 5, pp.44-51, May 1996. https://doi.org/10.1109/2.488300
  22. N. Schneidewind, "Reliability modeling for safety-critical software", IEEE Transactions on Reliability, Vol. 46, No. 1, pp.88-98, March 1997. https://doi.org/10.1109/24.589933
  23. N. Wattanapongsakorn and S. Levitan, "Reliability Optimization Models for Embedded Systems With Multiple Applications", IEEE Transactions on Reliability, Vol. 53, No. 3, pp.406-416, September 2004. https://doi.org/10.1109/TR.2004.833310
  24. G. Heiser, "Hypervisors for Consumer Electronics", In Proceedings of the IEEE Consumer Communications and Networking Conference, Las Vegas, NV., pp.1-5, January 2009.
  25. S. Gokhale, "Architecture-Based Software Reliability Analysis: Overview and Limitations", IEEE Transactions on Dependable and Secure Computing, Vol. 4, No. 1, pp.32-40, January 2007.
  26. L. Edward, "Cyber Physical Systems: Design Challenges", Technical Report No. UCB/EECS-2008-8, Department of Electrical Engineering and Computer Science, University of California, Berkeley, CA, January, 2008.
  27. E. Lee, "Cyber-Physical Systems-Are Computing Foundations Adequate?", in Proceedings of the NSF CPS Workshop, Austin, TX, Oct 2006.
  28. J. Stankovic, "When Sensor and Actuator Networks Cover the World", ETRI Journal, Vol. 30, No. 5, Oct. 2008.
  29. C. Lu, J. Stankovic, S. Son, and G. Tao, "Feedback Control Real-Time Scheduling: Framework, Modeling and Algorithms", Real-Time Systems, Vol. 23, No. 1-2, pp.85-126, July, 2002. https://doi.org/10.1023/A:1015398403337
  30. D. Yau, J. Hou, M. Shankar, and N. Rao, "Systems Support for Radiational Plume Detection, Identification, and Tracking Sensor-cyber Networks", in Proceedings of the NSF CPS Workshop, Austin, TX, Oct 2006.
  31. T. He, P. Vicaire, T. Yan, L. Luo, L. Gu, G. Zhou, R. Stoleru, Q. Cao, J. Stankovic and T. Abdelzaher, "Achieving Real-Time Target Tracking Using Wireless Sensor Networks", in Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06), Washington, D. C., pp.37-48, 2006.
  32. J. Regehr, A. Reid, K. Webb, M. Parker, and J. Lepreau, "Evolving real-time systems using hierarchical scheduling and concurrency analysis", in Proceedings of the 24th IEEE Real-Time Systems Symposium(RTSS 2003), Cancun, Mexico, pp.25-36, 2003.