Sophocles: Cyber-Enterprise for System-on-Chip Distributed Simulation -- Model Unification

Pierre Boulet 1, 2, * Jean-Luc Dekeyser 1, 2 Cédric Dumoulin 1, 2 Philippe Marquet 1, 2 Philippe Kajfasz Dominique Ragot
* Auteur correspondant
2 DART - Contributions of the Data parallelism to real time
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
Abstract : Complexity in the digital systems integration rises from the heterogeneity of the components integrated in a chip. The aim of the Sophocles project is to validate methodologies, platforms and technologies to support integration, verification and programming, over a distributed environment, of complex systems composed of heterogeneous virtual components. Several formalisms are gathered, according to their applicability, in order to immediately propose a framework of formal specification and validation of applications for SoCs. The unification of these formalisms in a modeling language facilitates the work of the users while guaranteeing a strong semantics on all the levels of the specification.
Type de document :
Communication dans un congrès
IFIP International Workshop on IP Based System-on-Chip Design, 2003, Grenoble, France. 2003
Liste complète des métadonnées

https://hal.inria.fr/inria-00565177
Contributeur : Pierre Boulet <>
Soumis le : vendredi 11 février 2011 - 10:39:26
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13

Identifiants

  • HAL Id : inria-00565177, version 1

Collections

Citation

Pierre Boulet, Jean-Luc Dekeyser, Cédric Dumoulin, Philippe Marquet, Philippe Kajfasz, et al.. Sophocles: Cyber-Enterprise for System-on-Chip Distributed Simulation -- Model Unification. IFIP International Workshop on IP Based System-on-Chip Design, 2003, Grenoble, France. 2003. 〈inria-00565177〉

Partager

Métriques

Consultations de la notice

224