Logical Time in Model-Driven Engineering - TEL - Thèses en ligne
Habilitation À Diriger Des Recherches Year : 2010

Logical Time in Model-Driven Engineering

Abstract

ccsl has arisen from different inspiring models in an attempt to abstract away the data and the algorithms and to focus on events and control. Even though CCSL was initially defined as the time model of the UML profile for MARTE, it has now become a full-edged domain-specific modeling language for capturing causal, chronological and timed relationships. It is intended to be used as a complement of other syntactic models that capture the data structure, the architecture and the algorithm. This work starts by describing the historical models of concurrency that have inspired the construction of CCSL. Then, CCSLis introduced and used to build libraries dedicated to two emerging standard models from the automotive (East-ADL) and the avionic (AADL) domains. Finally, we discuss an observer-based technique to verify implementations in different languages (Esterel, VHDL) against a CCSL specification.
CCSL a été construit pour abstraire les données et l'algorithme dans l'intention de focaliser sur les événements et le contrôle. Même si CCSL a été initialement conçu pour servir de modèle de temps au profil UML MARTE, il est devenu un langage de modélisation à part entière dédié à la capture des relations de causalités, chronologiques et temporelles, inhérentes à un modèle. Il est destiné à complémenter des modèles syntaxiques qui eux capturent les structures de données, l'architecture et l'algorithme. Ce document commence par décrire les modèles de parallélisme qui ont inspirés CCSL. Ensuite, le langage CCSL est présenté puis utilisé pour construire des bibliothèques dédiées à deux spécifications standardisées dans les domaines de l'avionique (AASL) et de l'automobile (East-ADL). Finalement, nous introduisons une technique basée sur des observateurs pour vérifier des implantations (en Esterel et VHDL) et s'assurer qu'elles respectent bien les propriétés données par une spécification CCSL.

Keywords

Fichier principal
Vignette du fichier
01 hdr_uns-mallet.pdf (1.76 Mo) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

tel-02113377 , version 1 (28-04-2019)

Identifiers

  • HAL Id : tel-02113377 , version 1

Cite

Frédéric Mallet. Logical Time in Model-Driven Engineering. Embedded Systems. Université Nice Sophia Antipolis, 2010. ⟨tel-02113377⟩
120 View
131 Download

Share

More