From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,86343922ebef03ad X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news3.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!newsfeed.vmunix.org!peer-uk.news.demon.net!kibo.news.demon.net!news.demon.co.uk!demon!not-for-mail From: Simon Wright Newsgroups: comp.lang.ada Subject: Re: Rose model and ada code generation Date: Mon, 01 May 2006 11:30:40 +0100 Organization: Pushface Message-ID: References: <1146469692.252446.99110@j33g2000cwa.googlegroups.com> NNTP-Posting-Host: pogner.demon.co.uk Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: news.demon.co.uk 1146479442 1867 62.49.19.209 (1 May 2006 10:30:42 GMT) X-Complaints-To: abuse@demon.net NNTP-Posting-Date: Mon, 1 May 2006 10:30:42 +0000 (UTC) Cancel-Lock: sha1:YA3mnwQ4YWc9xm+d8wuBDptuDsQ= User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (darwin) Xref: g2news2.google.com comp.lang.ada:4007 Date: 2006-05-01T11:30:40+01:00 List-Id: "Ananth the Boss" writes: > in rational rose , there is an option generation of ada code from > rose model. can anyone eloborate on how to go about designing rose > model for safety critical software development and how to generate > code. can any one suggest visual tutorial links. thanks in advance You could check out my ColdFrame at http://coldframe.sf.net/ as an alternative to code generation using Rose/Ada. However .. You have been describing your project as safety critical. I wonder what you mean? In UK terms, what's the Safety Integrity Level? (what hazards that your software is responsible for could kill or injure people? how often are the hazards likely to happen?). I don't see why the model should be any different for safety-related development than for any other, the model should reflect the problem domain and if you are going to generate code the model has to be precise. But any code generator involves a complex tool chain, most parts of which will not be in any sense validated (ColdFrame uses iTcl and Saxon, for example; and its run time as provided uses tagged types and dispatching freely). It would probably take a lot of effort to persuade your Independent Safety Authority to sign off on a toolset as complex as that without requiring you to validate the generated code (not the model). But I am not an expert. A colleague has developed a toolset for generating SPARK code from models (the tool was Artisan), including the generation of annotations from tags in the model. See eg http://www.artisansw.com/press/2004/BAE_hawk.asp -- he presented a paper at Ada Europe 2005, too, "Safety Critical Software with UML, Artisan and SPARK".