Skip to Main content Skip to Navigation
Conference papers

Execution of Heterogeneous Models for Thermal Analysis with a Multi-view Approach

Abstract : To deal with the high complexity of embedded systems, engineers rely on high-level heterogeneous models that combine functional and non-functional aspects, hardware/soft- ware artifacts, structural and behavioral descriptions. PRISMSYS is a system-level multi-view modeling framework, which provides a means to specify functional and non-functional aspects in interrelated views. Each concern/view is addressed separately with a dedicated set of models and correspondence rules, maintaining the semantic consistency between those different views. The behavioral specification mixes UML state machines with equational models defined as SYSML parametric diagrams. To supply a complete non-functional property-aware simulation environment, it is mandatory to formalize 1) the execution semantics of the UML state machines, 2) the SYSML parametric diagrams and 3) the coordination between them. This is achieved by using CCSL , the Clock Constraint Specification Language, to provide an event-based semantics for each model and their coordination. The proposed co-simulation framework combines TIMESQUARE , a discrete event simulator for CCSL , and Scilab, a tool for numerical computation. The framework is illustrated on a CPU thermal manager case study with a joint simulation of both its functional and non-functional models.
Keywords : hybrid CCSL timesquare
Document type :
Conference papers
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download
Contributor : Team Kairos Connect in order to contact the contributor
Submitted on : Wednesday, September 3, 2014 - 1:37:31 PM
Last modification on : Friday, January 21, 2022 - 3:15:43 AM
Long-term archiving on: : Thursday, December 4, 2014 - 11:15:28 AM


Files produced by the author(s)


  • HAL Id : hal-01060309, version 1



Amani Khecharem, Carlos Gomez, Julien Deantoni, Frédéric Mallet, Robert de Simone. Execution of Heterogeneous Models for Thermal Analysis with a Multi-view Approach. FDL 2014 : Forum on specification and Design Languages, Oct 2014, Munich, Germany. ⟨hal-01060309⟩



Les métriques sont temporairement indisponibles