Ocarina is an AADL model processor, providing code generation facilities towards C and Ada; Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- Installation
See INSTALL file for more details on supported platforms and installation process.
- Examples
Examples are located in the examples/ directory and are essentially code generation examples. For more details, read the examples/README file
- Documentation
The documentation of Ocarina is located in the doc/ directory. To build the documentation manually just run 'make html' or 'make pdf' in the doc/ directory.