The objective of the High-Confidence Cyber-Physical Systems Project is to enable efficient development of autonomous CPSs whose distributed elements operate in a provably correct and timely manner and consequently whose collective behavior can be predicted and relied on. This entails demonstrating scalable algorithms for functional analysis of real-time software, techniques for controlling effects of multicore memory access on CPS real-time behavior, and techniques for assuring distributed autonomous coordination. Accordingly, our current research includes a number of mutually reinforcing threads.
Andersson, Bjorn & de Niz, Dionisio. "Analyzing Global-EDF for Multiprocessor Scheduling of Parallel Tasks." Proceedings of the 16th International Conference on Principles of Distributed Systems. Rome, Italy, December 2012.
Chaki, Sagar; Gurfinkel, Arie; & Strichman, Ofer. "Time-Bounded Analysis of Real-Time Systems," 72–80. Proceedings of the International Conference on Formal Methods in Computer-Aided Design. Austin, TX, Oct.–Nov. 2011. ACM Press, 2011.
de Niz, Dionisio; Wrage, Lutz; Storer, Nathaniel; Rowe, Anthony; & Rajkumar, Ragunathan. "On Resource Overbooking in an Unmanned Aerial Vehicle," 97–106. Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems. Beijing, China, April 2012. ACM Press, 2012.
Moreno, Gabriel & de Niz, Dionisio. "An Optimal Real-Time Voltage and Frequency Scaling for Uniform Multiprocessors," 21–30. Proceedings of the IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. Seoul, Korea, August 2012. IEEE Computer Society Press, 2012.
For more information
Please tell us what you
think with this short
(< 5 minute) survey.