Lience : Eclipse Public License.
Contributeurs : Étienne Borde et al.
Interview d’Etienne Borde sur le blog I’MTech
Les développeurs écrivent usuellement leurs systèmes à la main dans le langage de programmation de leur choix, ou en générant ce code à partir d’un modèle. Ils peuvent évaluer le temps de transmission des données sur le produit final, mais avec une faible traçabilité par rapport au modèle de départ. Si une commande prend plus de temps que prévu, les développeurs peuvent difficilement isoler l’étape qui pose problème.
RAMSES fournit des représentations intermédiaires au fur et à mesure de sa réalisation. L’outil analyse le temps associé à chaque tâche pour vérifier qu’il n’y a pas de dérives excessives. Dès qu’une accumulation de mécanismes introduit une trop forte divergence par rapport aux bornes temporelles imposées, RAMSES alerte le développeur. La plateforme peut indiquer quelles sont les étapes qui posent problème et ainsi faciliter la correction du code AADL.
RAMSES : focus technique
RAMSES (Refinement of AADL Models for Synthesis of Embedded Systems) est un compilateur du langage AADL qui permet de décrire des architectures informatiques. C’est un outil de transformation de modèle et de génération de code C pour les systèmes d’exploitation compatibles POSIX, ARINC653 ou OSEK. RAMSES s’interface avec OSATE2 et propose une interface de ligne de commande à OSATE2. RAMSES procède par raffinement dans la mesure où il produit une version simplifiée d’un modèle AADL comme étape intermédiaire vers la génération de code. Ce modèle simplifié comprend une sous-clause d’annexe de comportement qui exprime le comportement résultant de l’expansion des composants AADL.
