Abstract

System lifetime is a major design constraint for
battery-powered mobile embedded systems. The increasing gap
between the energy demand of portable devices and their
battery capacities is further limiting durability of mobile devices.
Thus, the guarantees over Quality of Service (QoS) of battery-constrained
devices under strict battery capacities are of primary
interest for mobile embedded systems’ manufacturers and stakeholders.
This paper presents a novel approach for deriving QoS of
applications modelled as synchronous dataflow (SDF) graphs.
We map these applications on heterogeneous multiprocessor platforms
that are partitioned into Voltage and Frequency Islands,
together with multiple kinetic battery models (KiBaMs). By
modelling the whole system as hybrid automata, and applying
model-checking, we evaluate, (1) system lifetime; and (2) minimum
required initial battery capacities to achieve the desired
application performance. We demonstrate that our approach
shows a significant improvement in terms of scalability, as
compared to a priced timed automata based KiBaM model. This
approach also allows early detection of design errors via model
checking.

Original language

Undefined

Title of host publication

Proceedings of the 16th International Conference on Application of Concurrency to System Design, ACSD 2016

abstract = "System lifetime is a major design constraint for battery-powered mobile embedded systems. The increasing gap between the energy demand of portable devices and their battery capacities is further limiting durability of mobile devices. Thus, the guarantees over Quality of Service (QoS) of battery-constrained devices under strict battery capacities are of primary interest for mobile embedded systems’ manufacturers and stakeholders. This paper presents a novel approach for deriving QoS of applications modelled as synchronous dataflow (SDF) graphs. We map these applications on heterogeneous multiprocessor platforms that are partitioned into Voltage and Frequency Islands, together with multiple kinetic battery models (KiBaMs). By modelling the whole system as hybrid automata, and applying model-checking, we evaluate, (1) system lifetime; and (2) minimum required initial battery capacities to achieve the desired application performance. We demonstrate that our approach shows a significant improvement in terms of scalability, as compared to a priced timed automata based KiBaM model. This approach also allows early detection of design errors via model checking.",

N2 - System lifetime is a major design constraint for
battery-powered mobile embedded systems. The increasing gap
between the energy demand of portable devices and their
battery capacities is further limiting durability of mobile devices.
Thus, the guarantees over Quality of Service (QoS) of battery-constrained
devices under strict battery capacities are of primary
interest for mobile embedded systems’ manufacturers and stakeholders.
This paper presents a novel approach for deriving QoS of
applications modelled as synchronous dataflow (SDF) graphs.
We map these applications on heterogeneous multiprocessor platforms
that are partitioned into Voltage and Frequency Islands,
together with multiple kinetic battery models (KiBaMs). By
modelling the whole system as hybrid automata, and applying
model-checking, we evaluate, (1) system lifetime; and (2) minimum
required initial battery capacities to achieve the desired
application performance. We demonstrate that our approach
shows a significant improvement in terms of scalability, as
compared to a priced timed automata based KiBaM model. This
approach also allows early detection of design errors via model
checking.

AB - System lifetime is a major design constraint for
battery-powered mobile embedded systems. The increasing gap
between the energy demand of portable devices and their
battery capacities is further limiting durability of mobile devices.
Thus, the guarantees over Quality of Service (QoS) of battery-constrained
devices under strict battery capacities are of primary
interest for mobile embedded systems’ manufacturers and stakeholders.
This paper presents a novel approach for deriving QoS of
applications modelled as synchronous dataflow (SDF) graphs.
We map these applications on heterogeneous multiprocessor platforms
that are partitioned into Voltage and Frequency Islands,
together with multiple kinetic battery models (KiBaMs). By
modelling the whole system as hybrid automata, and applying
model-checking, we evaluate, (1) system lifetime; and (2) minimum
required initial battery capacities to achieve the desired
application performance. We demonstrate that our approach
shows a significant improvement in terms of scalability, as
compared to a priced timed automata based KiBaM model. This
approach also allows early detection of design errors via model
checking.

KW - Voltage and Frequency Scaling

KW - METIS-318473

KW - Priced Timed Automata

KW - EWI-27106

KW - EC Grant Agreement nr.: FP7/2007-2013

KW - EC Grant Agreement nr.: FP7/318490

KW - IR-100968

KW - Battery

KW - MPEG-4 Decoder

KW - Hybrid Automata

KW - Model Checking

KW - Data flow

KW - Monte Carlo Simulation

KW - Heterogeneous

KW - UPPAAL SMC

KW - Quality of Service

KW - QoS

KW - KiBaM

KW - Kinetic Battery Model

KW - Statistical Model Checking

U2 - 10.1109/ACSD.2016.18

DO - 10.1109/ACSD.2016.18

M3 - Conference contribution

SN - 1550-4808

SP - 114

EP - 123

BT - Proceedings of the 16th International Conference on Application of Concurrency to System Design, ACSD 2016