Using Event-B and Modelica to evaluate thermal management strategies in many core systems
Using Event-B and Modelica to evaluate thermal management strategies in many core systems
Dynamic thermal management is an increasingly critical and complex part of the run-time management of manycore systems. Methods of controlling temperature include thread migration, dynamic voltage and frequency scaling and power gating using various strategies and combinations of each. In the PRiME project we are developing run-time management systems to sustain the scaling of many-core systems. As part of this development we are investigating the relative benefits of different thermal management strategies by co-simulating a Modellica model of the characteristics of a many-core device with a discrete Event-B model of the run-time manager. The results enable us to efficiently design more elaborate experiments on real hardware platforms in order to validate the run time management.
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Kazmierski, Tomasz
a97d7958-40c3-413f-924d-84545216092a
15 September 2016
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Kazmierski, Tomasz
a97d7958-40c3-413f-924d-84545216092a
Snook, Colin and Kazmierski, Tomasz
(2016)
Using Event-B and Modelica to evaluate thermal management strategies in many core systems.
In,
2016 Forum on Specification and Design Languages (FDL).
Forum on specification & Design Languages (FDL 2016) (14/09/16 - 16/09/16)
IEEE.
(doi:10.1109/FDL.2016.7880380).
Record type:
Book Section
Abstract
Dynamic thermal management is an increasingly critical and complex part of the run-time management of manycore systems. Methods of controlling temperature include thread migration, dynamic voltage and frequency scaling and power gating using various strategies and combinations of each. In the PRiME project we are developing run-time management systems to sustain the scaling of many-core systems. As part of this development we are investigating the relative benefits of different thermal management strategies by co-simulating a Modellica model of the characteristics of a many-core device with a discrete Event-B model of the run-time manager. The results enable us to efficiently design more elaborate experiments on real hardware platforms in order to validate the run time management.
Text
primeDTM.pdf
- Accepted Manuscript
More information
Accepted/In Press date: 5 July 2016
Published date: 15 September 2016
Venue - Dates:
Forum on specification & Design Languages (FDL 2016), Bremen, Germany, 2016-09-14 - 2016-09-16
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 398615
URI: http://eprints.soton.ac.uk/id/eprint/398615
PURE UUID: 2d791c17-53c8-4cb6-a1c3-ac895411e132
Catalogue record
Date deposited: 19 Sep 2016 12:53
Last modified: 16 Mar 2024 03:24
Export record
Altmetrics
Contributors
Author:
Colin Snook
Author:
Tomasz Kazmierski
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics