[taste-users] |
[ Thread Index | Date Index | More lists.tuxfamily.org/taste-users Archives ]
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 ----------------------------------------- |
Attachment:
mp.aadl
Description: mp.aadl
Mail converted by MHonArc 2.6.19+ | http://listengine.tuxfamily.org/ |