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.
|