Next: GNU Free Documentation License, Previous: Ocarina AADL property files, Up: Top
Ocarina front-end supports the parsing and semantic analysis of all AADL 1.0 concepts.
Code generators restricts AADL 1.0 semantics to ensure the model can lead to satisfactory code generation, see the corresponding documentation for more details.