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
Type de document :
Communication dans un congrès
FDL 2014 : Forum on specification and Design Languages, Oct 2014, Munich, Germany. IEEE, 2014
Liste complète des métadonnées

https://hal.inria.fr/hal-01060309
Contributeur : Team Aoste <>
Soumis le : mercredi 3 septembre 2014 - 13:37:31
Dernière modification le : jeudi 1 septembre 2016 - 20:42:55
Document(s) archivé(s) le : jeudi 4 décembre 2014 - 11:15:28

Fichier

FDL2014.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01060309, version 1

Collections

Citation

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. IEEE, 2014. <hal-01060309>

Partager

Métriques

Consultations de
la notice

481

Téléchargements du document

244