TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Classic View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

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

Print Reply
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Date: Mon, 16 Dec 2002 15:14:35 +0800
Reply-To: Rick Duley <[log in to unmask]>
From: Rick Duley <[log in to unmask]>
Content-Transfer-Encoding: 7bit
Sender: "Team Ada: Ada Advocacy Issues (83 & 95)" <[log in to unmask]>
Parts/Attachments: text/plain (75 lines)
Merry Christmas All

Santa told me that if MISRA take out 'aspects of the C language which
should be avoided in safety-related systems' they'll have to move to Ada
because there won't be much C left ;]

ho, Ho, HO!


---------------------------------------------------------

Rick Duley
School of Computing and Information Science
Edith Cowan University
2 Bradford St, Mt Lawley
Perth, Western Australia
mob: +61 040 910 6049                            /-_|\
                                                /     \
                                          perth *_.-._/
                                                     v
"Confound those who have said our remarks before us"
       Aelius Donatus (4th Century)
>>> "Luke(Lujun) Zhang" <[log in to unmask]> 12/16/02 13:54 PM >>>
Maybe the people who made the decision on which
language don't have an overall view of the strength
and weakness of Ada and C++ languages. Or they don't
have an enough long-term expectation on final system
before making the decision.

Luke Zhang

--- Terry Westley <[log in to unmask]> wrote:
> I just heard that some organization (perhaps
> Lockheed or JSF SPO)
> has chosen MISRA C over Ada for JSF flight software.
>
> According to http://www.misra.org.uk/> MISRA C is a
> standard
> for a "restricted subset of a high-level language
> for programming
> safety-related systems. The C programming language
> is being increasingly
> used for automotive applications, due largely to the
> inherent language
> flexibility, the extent of support and its potential
> for portability
> across a wide range of hardware. However the nature
> of the C language
> is such that there are many areas of concern which
> potentially
> jeopardise
> the high level of integrity required from the final
> executable code."
>
> Why in the world would you choose an inherently
> unsafe language for
> any safety-critical application?  I can't look at
> the standard because
> you have to buy a copy.  I hope they recommend
> against the use of
> pointers and C arrays, otherwise you can't make C
> safe.
>
> Surely Spark Ada would have been a better choice.
>
> --
> Terry Westley
> [log in to unmask]


__________________________________________________
Do you Yahoo!?
Yahoo! Mail Plus - Powerful. Affordable. Sign up now.
http://mailplus.yahoo.com

ATOM RSS1 RSS2