Next: AADL modes for Emacs and vim, Previous: Ada Mapping Rules, Up: Top
Ocarina lets you generate Petri nets from AADL descriptions. This way, it is possible to achieve verification on AADL architectures before generating the corresponding source code.