• 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


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


  • make
  • cp aadl4ocaml.*a
  • make doc


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