Accueil > Verimag > Outils

aadl4ocaml

  • Software distribution and licensing: Open-source distribution
  • Software maturity: Demos work, loose documentation.
  • Software Maintenance and Evolution: No maintenance, no future plans

aadl4ocaml is an ocaml library that :

  • parses AAXL (xml version of AADL) files,
  • generates an ocaml AST
  • provides a few utilitary functions dealing with aadl

One can browser the API here

REQUIREMENTS

You need ocamlduce (http://www.cduce.org/ocaml.html) to build this library, as well as xlm-light.

INSTALLATION

  • make
  • cp aadl4ocaml.*a
  • make doc

AUTHORS

  • Louis Mandel
  • Erwan Jahier
Voir en ligne : Download aadl4ocaml

Nouvelles publications