Cyber-Physical Systems (CPS) that contain self-modifying smart components can improve and self-repair, but sometimes at the cost of impeding model-based Verification and Validation (V&V). In this work, we focus on maintaining short and long range V&V capability in a system containing self-adaptive smart components. In this work, we focus on smart component based in-flight control adaptation of damaged Flapping-Wing Micro Air Vehicles (FW-MAV).
Cyber-physical processors work in harsh environments and often suffer very high operating temperatures. High temperatures accelerate processor aging and increase failure rate. Effective thermal-aware management is required to meet the computational demands of the application while reducing processor thermal stress.
This poster showcases progress on the NSF Knowledge-Aware Cyber-Physical Systems project. We have identified a case study to be used as a stepping stone in the study of Air France Flight 447, and have started using it to understand and show-case the features of the logic under development. It highlights the important distinction between observable and unobservable events, and has led to a better representation of pilot intuition while flying.
Submitted by knamuduri on Mon, 07/18/2016 - 11:26am
PISCATAWAY, N.J., USA, 29 June 2016 - IEEE, the world's largest technical professional organization dedicated to advancing technology for humanity, and the IEEE Standards Association (IEEE-SA), today announced the formation of the IEEE Aerial Network Communications Working Group.
