A runtime system for logical-space programming
Abstract
References
Index Terms
- A runtime system for logical-space programming
Recommendations
Cyber-Physical Challenges for Space Systems
ICCPS '12: Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical SystemsModern space systems necessarily have a tight coupling between onboard cyber (processing, communication) and physical (sensing, actuation) elements to survive the harsh extraterrestrial environment and successfully complete ambitious missions. This ...
Synchronous Programming with Refinement Types
Cyber-Physical Systems (CPS) consist of software interacting with the physical world, such as robots, vehicles, and industrial processes. CPS are frequently responsible for the safety of lives, property, or the environment, and so software correctness ...
Cyber-physical cloud computing implemented as PaaS
CyPhy '14: Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical SystemsWe describe a Platform-as-a-Service (PaaS) system for performing multi-customer information acquisition missions on unmanned vehicle swarms operated and maintained by a third party. Customers implement their missions completely unaware of each other and ...
Comments
Information & Contributors
Information
Published In

Sponsors
- IEEE-SPS: Signal Processing Society
- IEEE
- IEEE-CSS: Control Systems Society
- IEEE-CS\TCRT: TC on Real-Time Systems
- ACM: Association for Computing Machinery
- SIGBED: ACM Special Interest Group on Embedded Systems
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
Funding Sources
- National Science Foundation
- National Research Network RiSE on Rigorous Systems Engineering
- Fundação para a Ciência e a Tecnologia
- Ministério da Defesa Nacional
Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 66Total Downloads
- Downloads (Last 12 months)4
- Downloads (Last 6 weeks)1
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in