[pok-devel]

Hi All:

I have a model called mp.aadl (see attached). It is a little demonstration model for us to learn the tooling and demonstrate the capability to our management. When I run this model through ocarina (March 25, 2012 binary version) the following exeception happens:

xxxx:/home/reder/mpmcs/MpmcsRefApp$ocarina -aadlv2 -f -g stats mp.aadl $POK_PATH/misc/aadl-library.aadl

xxxx:/home/reder/mpmcs/MpmcsRefApp$ocarina -aadlv2 -f -g pok_c mp.aadl $POK_PATH/misc/aadl-library.aadl

+========================== OCARINA BUG DETECTED =========================+

| Detected exception: SYSTEM.ASSERTIONS.ASSERT_FAILURE |

| Error: ocarina-me_aadl-aadl_instances-nodes.adb:183 |

| Please refer to the User's Guide for more details. |

+=========================================================================+

Exception name: SYSTEM.ASSERTIONS.ASSERT_FAILURE

Message: ocarina-me_aadl-aadl_instances-nodes.adb:183

When I look at the model in osate2 I have eliminated all syntax errors. Also if I use the –g stats option with ocarina a nice xml summary file is produced.

Does anyone have any idea of what I can do to get code to generate with this model? My target for the code is POK so I am sending this to all the mailing lists.

Thanks for any replies:

Len

-----------------------------------------

Leonard J. Reder

Jet Propulsion Laboratory

Flight Software Applications

Email: reder@xxxxxxxxxxxx

Phone: 818-354-3639

-----------------------------------------