UPBOT: A testbed for cyber-physical systems

3rd Workshop on Cyber Security Experimentation and Test, CSET 2010

Volumn , Issue , 2010, Pages

  Crenshaw, Tanya L ^a   Beyer, Steven ^a  

^a UNIVERSITY OF PORTLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS; NETWORK SECURITY; NETWORKED CONTROL SYSTEMS; SAFETY ENGINEERING; TESTBEDS;

COMPONENT BASED SYSTEMS; CRITICAL PROPERTIES; FAULT-TOLERANT SOFTWARE; MALICIOUS ATTACK; MULTIPLE POINTS; NETWORKED CONTROLS; OFF-THE-SHELF COMPONENTS; SECURITY THREATS;

CYBER PHYSICAL SYSTEM;

EID: 85084161474     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (29)

1. Austin Armbruster, Matt Ryan, Xiaoqing Frank Liu, Ying Cheng, and Bruce M. McMillin. Hardware/software co-design for power system test development. In WISER, pages 83–88, 2004.
2. Girish Bagliga, Scott Graham, Lui Sha, and P. R. Kumar. Etherware: Domainware for wireless control networks. Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on, 0:155–162, 2004.
3. K. Beck. eXtreme Programming Explained: Embrace Change. Addison Wesley Longman, 2000.
4. Terry Benzel, Robert Braden, Dongho Kim, and Cliford Neuman. Experiences with deter: A testbed for security research. In In 2nd IEEE Conference on Testbeds and Research Infrastructure for the Development of Networks and Communities (Trident-Com), 2006.
5. Azer Bestavros. Towards safe and scalable cyber-physical systems. In NSF Workshop on Cyber-Physical Systems, 2006.
6. Matt Bishop. Computer Security: Art and Science. Addison Wesley Professional, 2003.
7. Manfred Broy. Challenges in automotive software engineering. In ICSE’06: Proceedings of the 28th international conference on Software engineering, pages 33–42, New York, NY, USA, 2006. ACM.
8. Alvaro A. Cardenas, Saurabh Amin, and Shankar Sastry. Secure control: Towards survivable cyber-physical systems. In ICDCSW’08: Proceedings of the 2008 The 28th International Conference on Distributed Computing Systems Workshops, pages 495–500, Washington, DC, USA, 2008. IEEE Computer Society.
9. Rebecca Castano, Tara Estlin, Daniel Gaines, Andres Castano, Caroline Chouinard, Ben Bornstein, Robert C. Anderson, Steve Chien, Alex Fukunaga, and Michele Judd. Opportunistic rover science: Finding and reacting to rocks, clouds and dust devils. In IEEE Aerospace Conference, March 2006.
10. Varun Chandola, Arindam Banerjee, and Vipin Kumar. Anomaly detection: A survey. ACM Comput. Surv., 41(3):1–58, 2009.
11. Bruce Douglass. Real-Time Design Patterns. Addison-Wesley Publishing Company, 2003.
12. Tara A. Estlin, Daniel M. Gaines, Caroline Chouinard, Rebecca Castao, Benjamin Bornstein, Michele Judd, Issa A. D. Nesnas, and Robert C. Anderson. Increased mars rover autonomy using AI planning, scheduling and execution. In 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy, pages 4911–4918. IEEE, 2007.
13. Ryohei Fujimaki, Takehisa Yairi, and Kazuo Machida. An approach to spacecraft anomaly detection problem using kernel feature space. In KDD ’05: Proceedings of the eleventh ACM SIGKDD international conference on Knowledge discovery in data mining, pages 401–410, New York, NY, USA, 2005. ACM.
14. Annarita Giani, Gabor Karsai, Tanya Roosta, Aakash Shah, Bruno Sinopoli, and Jon Wiley. A testbed for secure and robust scada systems. SIGBED Rev., 5(2):1–4, 2008.
15. Scott Graham and P. R. Kumar. The convergence of control, communication, and computation. Proceedings of PWC 2003: Personal Wireless Communications. Lecture Notes in Computer Science, 2775, 2003.
16. Cheolgi Kim, Mu Sun, Sibin Mohan, Heechul Yun, Abdullah Al-Nayeem, Lui Sha, and Tarek Abdelzaher. A framework for the safe interoperability of medical devices in the presence of connection failures. In International Conference on Cyber-physical Systems (ICCPS), Stockholm, Sweden, April 2010.
17. David Kitchin, Adrian Quark, William Cook, and Jayadev Misra. The Orc programming language. In Proceedings of FMOODS/FORTE 2009, June 2009.
18. Ar Lazarevic, Aysel Ozgur, Levent Ertoz, Jaideep Srivastava, and Vipin Kumar. A comparative study of anomaly detection schemes in network intrusion detection. In In Proceedings of the Third SIAM International Conference on Data Mining, 2003.
19. Maja J Mataríc, Nathan Koenig, and David Feil-Seifer. Materials for enabling hands-on robotics and stem education. In AAAI Symposium on Robots and Robot Venues: Resources for AI Education, March 2007.
20. E Messner. Behavior blocking software repels new viruses. Network World, January 2002.
21. Steven P. Miller, Elise A. Anderson, Lucas G. Wagner, Michael W. Whalen, and Mats P.E. Heimdahl. Formal verification of flight critical software. In Proceedings of the AIAA Guidance, Navigation and Control Conference and Exhibit, August 2005.
22. Carey Nachenberg. Computer virus coevolution. Communications of the ACM, 40(1), January 1997.
23. Andrew Nuxoll and John E. Laird. Extending cognitive architecture with episodic memory. In AAAI, pages 1560–1564, 2007.
24. John Peterson, Paul Hudak, and Conal Elliott. Lambda in motion: Controlling robots with haskell. In PADL, pages 91–105, 1999.
25. Larry Peterson, Andy Bavier, Marc E. Fiuczynski, and Steve Muir. Experiences building planetlab. In In Proceedings of the 7th USENIX Symp. on Operating Systems Design and Implementation OSDI, 2006.
26. Charles L. Phillips and H. Troy Nagle. Digital Control System Analysis and Design. Prentice Hall, 1994.
27. Willam Stallings and Lawrie Brown. Computer Security: Principles and Practice. Pearson Prentice Hall, 2008.
28. Brian Yamauchi. The wayfarer modular navigation payload for intelligent robot infrastructure. In SPIE, Vol. 5804, 85, March 2005.
29. Yuanfang Zhang, Christopher Gill, and Chenyang Lu. Reconfigurable real-time middleware for distributed cyber-physical systems with aperiodic events. In ICDCS’08: Proceedings of the 2008 The 28th International Conference on Distributed Computing Systems, pages 581–588, Washington, DC, USA, 2008. IEEE Computer Society.