TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Proportional Font
Show Text Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Subject:
From:
Simon Wright <[log in to unmask]>
Reply To:
Team Ada: Ada Programming Language Advocacy (83 & 95)
Date:
Mon, 26 Feb 2007 20:43:44 +0000
Content-Type:
text/plain
Parts/Attachments:
text/plain (21 lines)
On 24 Feb 2007, at 09:06, Zoe Brain wrote:

> I'm doing my PhD on automotive software development. We already  
> have a nice model compiler that takes requirements (not designs)  
> expressed in xtUML and generates Ada-95 systems from them. Contact  
> http://www.softimp.com.au and ask about their BILBY model compiler.

My experience of xUML (actually its predecessor, and from a  
competitor at that) was that you ended up doing quite a lot of  
design, and even programming -- just not in Ada.

> We hope to apply that to automotive systems soon - measuring  
> footprint, real-time performance and so on. After that, re-jig the  
> model compiler so it produces SPARK-95, and code  that complies  
> with avionics standards and is also formally provable.

Presumably for any really interesting SPARK annotations you'd have to  
decorate the model? The model compiler can make deductions from the  
model but I would have expected them to be about modelling (eg  
multiplicities), not so much about automotive systems.

ATOM RSS1 RSS2