[pok-devel]

[ Thread Index | Date Index | More lists.tuxfamily.org/pok-devel 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/