Temps Logique pour l'ingénierie dirigée par le modèles

Frédéric Mallet 1
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
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-fledged 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, CCSL is 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.
Document type :
Habilitation à diriger des recherches
Liste complète des métadonnées

Cited literature [77 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00541140
Contributor : Frédéric Mallet <>
Submitted on : Monday, November 29, 2010 - 9:42:28 PM
Last modification on : Monday, November 5, 2018 - 3:36:03 PM
Document(s) archivé(s) le : Friday, December 2, 2016 - 9:51:48 PM

Identifiers

  • HAL Id : tel-00541140, version 1

Citation

Frédéric Mallet. Temps Logique pour l'ingénierie dirigée par le modèles. Modeling and Simulation. Université Nice Sophia Antipolis, 2010. ⟨tel-00541140⟩

Share

Metrics

Record views

628

Files downloads

458