• 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
View online : Download aadl4ocaml

Contact | Site Map | Site powered by SPIP 3.1.13 + AHUNTSIC [CC License]

info visites 1693554