References
- D. C. Latham, "Department of Defense Trusted Computer System Evaluation Criteria", Department of Defense, 1986.
- 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
- 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
- CPS Steering Group, "Cyber-Physical Systems Executive Summary", http://varma.ece.cmu.eduJSummitlCPSExecutive- Summary.pdf, March 2008.
- 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
- 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
- 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.
- 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.
- L. Sha, "Dependable system upgrade", in Proceedings of the 19th IEEE Real-Time Systems Symposium(RTSS'98), pp.440-448, Madrid, Spain, December 1998.
- 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
- 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
- L. Sha, "Upgrading real-time control software in the field", in Proceedings of IEEE, Vol. 91 , No. 7, January 2003.
- 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.
- 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.
- 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.
- 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)
- 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.
- 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.
- 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.
- 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
- 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
- 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
- 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
- G. Heiser, "Hypervisors for Consumer Electronics", In Proceedings of the IEEE Consumer Communications and Networking Conference, Las Vegas, NV., pp.1-5, January 2009.
- 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.
- 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.
- E. Lee, "Cyber-Physical Systems-Are Computing Foundations Adequate?", in Proceedings of the NSF CPS Workshop, Austin, TX, Oct 2006.
- J. Stankovic, "When Sensor and Actuator Networks Cover the World", ETRI Journal, Vol. 30, No. 5, Oct. 2008.
- 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
- 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.
- 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.
- 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.