Browse > Article

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

Lim, Sung-Soo (국민대학교)
Publication Information
Communications of the Korean Institute of Information Scientists and Engineers / v.30, no.3, 2012 , pp. 47-54 More about this Journal
Keywords
Citations & Related Records
연도 인용수 순위
  • Reference
1 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.
2 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.   DOI
3 D. C. Latham, "Department of Defense Trusted Computer System Evaluation Criteria", Department of Defense, 1986.
4 J. Liedtke, "Toward Real Microkernels", Communications of the ACM(CACM), Vol. 39, No. 9, pp.70-77, September 1996.   DOI   ScienceOn
5 CPS Steering Group, "Cyber-Physical Systems Executive Summary", http://varma.ece.cmu.eduJSummitlCPSExecutive- Summary.pdf, March 2008.
6 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 .   DOI
7 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.   DOI   ScienceOn
8 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.
9 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.
10 L. Sha, "Dependable system upgrade", in Proceedings of the 19th IEEE Real-Time Systems Symposium(RTSS'98), pp.440-448, Madrid, Spain, December 1998.
11 L. Sha, "Using simplicity to control complexity", IEEE Software, Vol. 18, No. 4, pp.20-28, July/August 2001.   DOI   ScienceOn
12 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.   DOI   ScienceOn
13 L. Sha, "Upgrading real-time control software in the field", in Proceedings of IEEE, Vol. 91 , No. 7, January 2003.
14 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.
15 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.
16 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.
17 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)
18 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.
19 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.
20 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.
21 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.   DOI   ScienceOn
22 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.   DOI
23 N. Schneidewind, "Reliability modeling for safety-critical software", IEEE Transactions on Reliability, Vol. 46, No. 1, pp.88-98, March 1997.   DOI   ScienceOn
24 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.
25 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.   DOI   ScienceOn
26 G. Heiser, "Hypervisors for Consumer Electronics", In Proceedings of the IEEE Consumer Communications and Networking Conference, Las Vegas, NV., pp.1-5, January 2009.
27 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.
28 E. Lee, "Cyber-Physical Systems-Are Computing Foundations Adequate?", in Proceedings of the NSF CPS Workshop, Austin, TX, Oct 2006.
29 J. Stankovic, "When Sensor and Actuator Networks Cover the World", ETRI Journal, Vol. 30, No. 5, Oct. 2008.
30 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.   DOI
31 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.
32 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.