ATL Use Case - Sildex to Topcased AADL/COTRE

ATL Logo

Keywords

TOPCASED, SILDEX, SIGNAL, AADL

Overview

This use case presents the import of SILDEX models (a synchronous language based graphical modelling formalism developed by TNI and currently in use at AIRBUS) in AADL/COTRE. It was implemented in ATL by C-S in the context of the TOPCASED project.

SILDEX is a CASE tool supporting SIGNAL synchronous languages. It provides graphical and SIGNAL code editing of each process and relevant dataflow; formal proof with "synchronous compilation"; dynamic simulation; ADA, C and FORTRAN code generation, and documentation production. SILDEX was designed and tested in Smalltalk, then translated into C code with TNI's OpenTalk compiler. SILDEX targets critical real-time software developments.

TOPCASED is an open-source workshop based on an Eclipse platform. Several editors are available: SAM, AADL, UML2, ECORE, and SYSML. It integrate several transformation services. These services are based on ATL language and toolkit. Model transformations have been mainly used in order to access models defined using other editors than TOPCASED one's. Other services around models are available like OCL editor and checker, comparison, merging, etc.

TOPCASED-AADL is a subproject of the TOPCASED project. This subproject provides a set of modeling, transforming and verifying tools around AADL (Architecture Analysis and Design Language). These tools are based on the AADL metamodel that has been developped by the SEI for the OSATE project. AADL/COTRE is a language (including AADL) resulting from the COTRE project.

From the YACC grammar of AADL/COTRE, a metamodel has been defined. The following example shows an excerpt of the available grammar:



This metamodeling process implies an iterative approach revealing new reductions with each iteration. The following example shows the result of the metamodeling process:

After the creation of the source metamodel SILDEX and the target metamodel AADL/COTRE, the TOPCASED process to make a transformation can be breakdown as follow:

  • first, the mapping of the concepts,
  • then the writing of the ATL transformation rules and the automatic transformation by rule execution (also with ATL),
  • at last, manual check of the result through the reading of the files obtained by the editors (in this use case TOPCASED AADL Editor).



Excerpt of the ATL transformation: Sildex to AADL

Today the TOPCASED service to transform SILDEX models to AADL models is operational and used by the TOPCASED Project.



Screenshot of AADL Editor

Related Use Cases

None at the current time.

References

[1] Canals, A.; Le Camus, C.; Feau, M.; et al.: An Operational Use of ATL: Integration of Model and Meta Model Transformations in the TOPCASED Project. In: DASIA 2006 - Data Systems in Aerospace, Proceedings of the conference held 22-25 May, 2006 in Berlin, Germany. Edited by L. Ouwehand. ESA SP-630. European Space Agency, 2006. Published on CDROM., p.40.1
[2] Patrick Farail, Pierre Gaufillet, Agusti Canals, Christophe Le Camus, David Sciamma, Pierre Michel, Xavier Crégut, Marc Pantel: The TOPCASED project: a Toolkit in Open source for Critical Aeronautic SystEms Design. In: Proceedings of the Eclipse Technology eXchange workshop (eTX) at ECOOP 2006.

Download

Topcased Core

Toolkit and SDK features.

Acknowledgement

The present work is being supported by the Topcased Project, the Usine Logicielle project of the System@tic Paris Region Cluster, and the OpenEmbeDD project.
General Information