The University of Southampton
University of Southampton Institutional Repository

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
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.
IEEE
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Kazmierski, Tomasz
a97d7958-40c3-413f-924d-84545216092a
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) (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
Download (202kB)

More information

Accepted/In Press date: 5 July 2016
Published date: 15 September 2016
Venue - Dates: Forum on specification & Design Languages (FDL 2016), Germany, 2016-09-14 - 2016-09-16
Related URLs:
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 398615
URI: https://eprints.soton.ac.uk/id/eprint/398615
PURE UUID: 2d791c17-53c8-4cb6-a1c3-ac895411e132
ORCID for Colin Snook: ORCID iD orcid.org/0000-0002-0210-0983

Catalogue record

Date deposited: 19 Sep 2016 12:53
Last modified: 20 Jul 2019 01:04

Export record

Altmetrics

Contributors

Author: Colin Snook ORCID iD
Author: Tomasz Kazmierski

University divisions

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of https://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×