| [ATL] New ATL Use Case: "Compiling a new formal verification language to LOTOS (ISO 8807)" [message #63375] |
Tue, 02 October 2007 10:56 |
Eclipse User |
|
|
|
Dear all,
A new ATL Use Case entitled "Compiling a new formal verification
language to LOTOS (ISO 8807)" has been published.
This work presents a compiler from FIACRE (french acronym of
Intermediate Format for the Architectures of Embedded Distributed
Components) to LOTOS (Language Of Temporal Ordering Specification, ISO
8807) using Model Engineering techniques. The output of this compiler
can then be verified using the CADP toolbox.
This work is the result of the cooperation of two INRIA teams: ATLAS
(Nantes), and VASY (Grenoble), in the context of the OpenEmbeDD project.
Note that both the source and target languages have been defined in KM3
(abstract syntax) and TCS (concrete syntax). Both TCS models are part of
the new TCS Zoo available at:
http://wiki.eclipse.org/TCS/Zoo
The use case is available at:
http://www.eclipse.org/m2m/atl/usecases/FIACRE2LOTOS/
Best regards,
Frédéric Jouault
|
|
|
Powered by
FUDForum. Page generated in 0.06525 seconds
Home