Digital control system analysis and design (3rd ed.)
Digital control system analysis and design (3rd ed.)
Computer virus-antivirus coevolution
Communications of the ACM
Extreme programming explained: embrace change
Extreme programming explained: embrace change
Lambda in Motion: Controlling Robots with Haskell
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Hardware/software co-design for power system test development
Proceedings of the 2004 ACM workshop on Interdisciplinary software engineering research
An approach to spacecraft anomaly detection problem using kernel feature space
Proceedings of the eleventh ACM SIGKDD international conference on Knowledge discovery in data mining
Challenges in automotive software engineering
Proceedings of the 28th international conference on Software engineering
Experiences building PlanetLab
OSDI '06 Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation - Volume 7
A testbed for secure and robust SCADA systems
ACM SIGBED Review - Special issue on the the 14th IEEE real-time and embedded technology and applications symposium (RTAS'08) WIP session
Reconfigurable Real-Time Middleware for Distributed Cyber-Physical Systems with Aperiodic Events
ICDCS '08 Proceedings of the 2008 The 28th International Conference on Distributed Computing Systems
Secure Control: Towards Survivable Cyber-Physical Systems
ICDCSW '08 Proceedings of the 2008 The 28th International Conference on Distributed Computing Systems Workshops
Computer Security: Principles and Practice
Computer Security: Principles and Practice
ACM Computing Surveys (CSUR)
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Extending cognitive architecture with episodic memory
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
A framework for the safe interoperability of medical devices in the presence of network failures
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
Hi-index | 0.00 |
Developing software for cyber-physical systems presents a unique challenge. These systems are not simply software; they are composed of software running on a collection of machines that present a risk to human safety if anything goes wrong. Researchers want to create languages and tools that aid in the development of secure and fault-tolerant software, but they cannot simply "try out" their ideas on a fighter jet. This paper describes our modest UPBOT testbed. Pronounced yoo-pe-bät, it has three features that aptly comprise a cyber-physical system: networked control, enforceable physical properties, and off-the-shelf components. We offer that UPBOT can be used to effectively test security threats and defenses against cyber-physical systems; it presents multiple points of attack on a programmable, component-based system whose on-board intelligence may maintain safety-critical properties despite malicious attack. Given its low cost and low barrier to entry it may be especially useful to: i) undergraduates interested in learning about the domain; ii) researchers who lack access to oft-unavailable real systems but want to evaluate their solutions for cyber-physical systems.