Loading...
Please wait, while we are loading the content...
Similar Documents
Analyse d'un modèle AADL à l'aide de Pola
| Content Provider | Semantic Scholar |
|---|---|
| Author | Hladik, Pierre-Emmanuel Peres, Florent Shi, Xiaomu |
| Copyright Year | 2010 |
| Abstract | Cet article presente l'integration d'un langage formel de verification, Pola, dans le processus de conception des systemes temps reel critiques en se basant sur le langage AADL (Architecture Analysis and Design Language). Pola (Policies analyzer) est un langage dedie (Domain Specific Language) qui permet de decrire le comportement dynamique et temporel de systemes temps reel complexes en vue de leur verification (ordonnancabilite, absence de blocages, etc), laquelle est effectuee de maniere automatique par em model checking. Le travail presente dans cet article consiste a utiliser les methodes et outils offerts par l'ingenierie des modeles pour transformer un modele AADL vers un modele Pola. Une attention particuliere est portee sur les informations liees a l'ordonnancement qui sont contenues dans les modeles AADL et leur traduction dans le contexte Pola. Un premier outil utilisant le langage de transformation ATL et l'outil Acceleo a ete developpe pour en valider la faisabilite. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://hal.archives-ouvertes.fr/hal-00493726/document |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |