Modélisation UML/MARTE de SoC et analyse temporelle basée sur l'approche synchrone
Résumé
System-on-Chip (Soc) are becoming very sophisticated. They require a huge amount of resources (processors, memories, etc.) to improve their execution performances in terms of execution time and energy. SoC development leads to a real challenge due to their complexity. This paper focuses on a high level design of these systems through a model-driven approach. We use the UML/MARTE profile dedicated to the Modelling and Analysis of Real Time Embedded systems. From user-defined models, temporal information are extracted for analyzing the system temporal properties. We consider the synchronous approach that favors formal validation.
Les systèmes embarqués sur puce (ou system-on-chip, SoC) sont de plus en plus sophistiqués. Ils exigent beaucoup de ressources (processeurs, mémoires, etc.) pour améliorer les performances d'exécution en termes de temps d'exécution et de consommation d'énergie. Le développement de ces systèmes pose donc un véritable défi à cause de leur complexité. Cet article s'intéresse à la conception abstraite de ces systèmes par le biais d'une approche dirigée par les modèles. Nous utilisons le profil UML/MARTE dédié à la modélisation et à l'analyse des systèmes embarqués temps réel. Ainsi, à partir de modèles définis par un utilisateur, des informations sont extraites pour analyser les propriétés temporelles du système. Nous nous appuyons sur l'approche synchrone qui permet la validation formelle.