Welcome to Telelogic Product Support
  Home Downloads Knowledgebase Case Tracking Licensing Help Telelogic Passport
Telelogic Rhapsody (steve huntington)
Decrease font size
Increase font size
Topic Title: Any other Rhapsody Ada (& SPARK) users out there?
Topic Summary:
Created On: 9-Mar-2008 21:43
Status: Read Only
Linear : Threading : Single : Branch
Search Topic Search Topic
Topic Tools Topic Tools
Subscribe to this topic Subscribe to this topic
E-mail this topic to someone. E-mail this topic
Bookmark this topic Bookmark this topic
View similar topics View similar topics
View topic in raw text format. Print this topic.
 9-Mar-2008 21:43
User is offline View Users Profile Print this message


Britt Snodgrass

Posts: 7
Joined: 2-May-2007

We are using Rhapsody Developer in Ada on a new project. We are also trying to use the SPARK profile. We are seeing some odd behavior regarding code generation for child packages. I'm curious how big the Rhapsody Ada user base is and to what extent anyone has used the code generation capabilities.

- Britt
Report this to a Moderator Report this to a Moderator
 12-Mar-2008 16:42
User is offline View Users Profile Print this message


Brian Regan

Posts: 8
Joined: 27-May-2005

You are not (completely) alone.

Rhapsody-Ada: Yes; SPARK: No.

I never tried generating child-packages though.
Report this to a Moderator Report this to a Moderator
 12-Mar-2008 17:10
User is offline View Users Profile Print this message


Britt Snodgrass

Posts: 7
Joined: 2-May-2007

Its good to hear we are not alone, although we're pretty sure we're the first to attempt to use the SPARK profile. Its obvious that I-Logix/Telelogic have invested a lot of effort in Rhapsody Ada - its very nice in many ways. However many of the default code generation properties seem odd. We have the sense that its not been heavly used by experienced Ada developers who target small, though complex, embedded systems.

Some of the problems we were having with child packages were resolved after support advised us of some CG (not Ada_CG) properties to change

I'd be interested in talking to the product manager if I can find out who he or she is.

- Britt
Report this to a Moderator Report this to a Moderator
 18-Mar-2008 08:56
User is offline View Users Profile Print this message


Enda mcMahon

Posts: 2
Joined: 29-Nov-2007

You are definitely not alone. MBDA (UK) have been using RiA for 2 years. We have not tried to use SPARK Ada yet. We thought it best to get experience of generating Ada before we tried to address any high intergrity issues. I believe that SAAB also use RiA. I'd be interested to hear about any properties that you have had to change regarding use of child packages - if you get the time send them to enda.mcmahon@mbda.co.uk. It would be useful to keep in touch to exchange views.

Regards

Enda
Report this to a Moderator Report this to a Moderator
 19-Mar-2008 15:11
User is offline View Users Profile Print this message


Britt Snodgrass

Posts: 7
Joined: 2-May-2007

Enda,

I'll post property settings here as I have time (I don't have much). I am using RiA 7.1.1 MR3.

With regard to child packages, we are striving to have Rhapsody generate child package filenames using GNAT's default filename convention (i.e., all lower case with a hyphen used for "dot replacement") such as parent-child-grandchild.ads

I had to uncheck the CG:Configuration:GenerateDirectoryPerModelComponent property to stop Rhapsody from putting each level of children into a corresponding subdirectory (e.g. ..\Parent\Child\GrandChild.ads) The subdirectories cause
problems when compiling outside of Rhapsody in the context of a standard GNAT Project (.gpr file).

I've requested a new property to force generation all lower case filenames. In the meantime I've experimented with setting CG:Class:FileName for each class but that seems to only affect the class name, not extended child class names. I've reported this as a defect.

- Britt
Report this to a Moderator Report this to a Moderator
 15-Apr-2008 11:31
User is offline View Users Profile Print this message


Leif Johansson

Posts: 1
Joined: 1-Mar-2007

Hi,

Enda is right, there are users of RiA within Saab. We are just starting to use Rhapsody in Ada for a small project at Saab Microwave Systems in Gothenburg, Sweden, and are glad to get in contact with other RiA users. We are not using SPARK.

We have not yet generated much Ada code from our models, but will do so during the next few months.

Regards
/Leif
Report this to a Moderator Report this to a Moderator
Statistics
20925 users are registered to the Telelogic Rhapsody forum.
There are currently 1 users logged in.
You have posted 0 messages to this forum. 0 overall.

FuseTalk Standard Edition v3.2 - © 1999-2009 FuseTalk Inc. All rights reserved.