Power [Session 8]

This session explores different aspects of power, which need to be modeled to enable a power-aware design of today´s highly complex embedded systems. The first paper presents a new power-aware methodology for early specification, design-space exploration and verification of the designs´ power properties using so-called Power Contracts. The latter provides a formal link between the bottom-up power characterization of low-level system components and the top-down specification of the systems´ high-level power intent. The second paper presents a SystemC AMS extension to support modeling and simulation of externally as well as internally controlled electrical linear networks with ideal switches, which are a useful behavior abstraction technique to model semiconductor components in power system development. The last paper in this session describes a system-level multi-view modeling and co-simulation framework to deal with the high complexity of embedded systems, which is suitable to execute heterogeneous models for the thermal analysis of such systems.