Next: , Previous: Ocarina AADL property files, Up: Top


Appendix C Conformance to standards

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.