A Formal Approach to Power Optimization in CPSs With Delay-Workload Dependence Awareness


The planning of cyber-physical systems (CPSs) faces varied new challenges that are exceptional in the planning of classical real-time systems. Power optimization is one of the major style goals that's witnessing such new challenges. The presence of interaction between the cyber and physical components of a CPS ends up in dependence between the time delay of a computational task and the number of workload in the subsequent iteration. We tend to demonstrate that it's essential to take this delay-workload dependence into thought so as to achieve low power consumption. During this paper, we establish this new challenge, and gift the primary formal and comprehensive model to enable rigorous investigations on this topic. We tend to propose a simple power management policy, and show that this policy achieves a best attainable notion of optimality. In fact, we have a tendency to show that the optimal power consumption is attained in an exceedingly “steady-state” operation and a easy policy of finding and entering this steady state suffices, which will be quite shocking considering the added complexity of this downside. Finally, we validated the efficiency of our policy with experiments.

Did you like this research project?

To get this research project Guidelines, Training and Code... Click Here

PROJECT TITLE : A Formal Specification and Verification Framework for Timed Security Protocols - 2017 ABSTRACT: Today, protocols typically use time to provide higher security. Parenthetically, essential credentials are often
PROJECT TITLE :Integrating Animation-Based Inspection Into Formal Design Specification Construction for Reliable Software SystemsABSTRACT:Software style has been well recognized as an necessary means to attain high reliability,
PROJECT TITLE :A Formal Model of QoS-Aware Web Service Orchestration EngineABSTRACT:QoS-aware applications will satisfy not only the useful needs of the shoppers, but conjointly the QoS necessities. QoS-aware Net service orchestration
PROJECT TITLE :The Role of Uncertainty, Awareness, and Trust in Visual AnalyticsABSTRACT:Visual analytics supports humans in generating information from massive and typically complex datasets. Evidence is collected, collated and
PROJECT TITLE :Crosstalk Noise in WDM-Based Optical Networks-on-Chip: A Formal Study and ComparisonABSTRACT:Optical networks-on-chip (ONoCs) using wavelength-division multiplexing (WDM) technology have progressively attracted

Ready to Complete Your Academic MTech Project Work In Affordable Price ?

Project Enquiry