First Ada DO-178 Certification

First Ada DO-178 Certification

[Jeffrey R.Carter]

Does anyone remember when Ada avionics S/W was first certified to DO-178? My 
memory is 1980s, but I haven’t been able to find any information about it.

-- 
Jeff Carter
“[A]bout half the patterns in the 'Gang of Four'
book only exist because of defects in C++ ...”
Brian Drummond
174

Re: First Ada DO-178 Certification

[Nioclásán Caileán de Ghlostéir]

[-- Attachment #1: Type: text/plain, Size: 1170 bytes --]

On Wed, 4 Oct 2023, Jeffrey R.Carter sent:
"“[A]bout half the patterns in the 'Gang of Four'
book only exist because of defects in C++ ...”
Brian Drummond
174"

"As this book is from before the effort to define Ada 9X, it contains 
claims that Ada 83 is OO. The object based decompositions in the book 
lack inheritance and polymorphism. For areas of his solutions where 
classes or abstract data types are not needed, Grady Booch had 
abstract-state machines: which he had much more easily represented by Ada 
packages than the insecure, inflexible awkwardness of the Singleton 
pattern in C++ in Gamma's; Helm's; Johnson's and Vlissides's "Design 
Patterns: Elements of Reusable Object-Oriented Software"."
says
HTTPS://ACCU.org/bookreviews/2004/gloster_1288

A so-called university course demanded us to buy "Design Patterns: 
Elements of Reusable Object-Oriented Software" and implement patterns 
thereof. This so-called course fraudulently boasts to be about "They 
[i.e. Space-Shuttle-software programmers]" Write The Right Stuff" but this 
course in no way is suitable for aerospace and instead is about the UML 
and curlily braced poop.

Re: First Ada DO-178 Certification

[Lawrence D'Oliveiro]

On Wed, 16 Oct 2024 21:40:26 +0200, Nioclásán Caileán de Ghlostéir wrote:

> "As this book is from before the effort to define Ada 9X, it contains 
> claims that Ada 83 is OO. The object based decompositions in the book 
> lack inheritance and polymorphism. ..."

What about metaclasses?

Re: First Ada DO-178 Certification

[Nioclásán Caileán de Ghlostéir]

On Wed, 16 Oct 2024, Lawrence D'Oliveiro wrote:
"What about metaclasses?"

Hi,

This book is dated 1987. Its author abandoned Ada for C++. I reviewed it 
in 2004. I do not readily remember metaclasses in it. I do not still have 
a copy and Google Books did not show me a copy. Google Books offers to 
search its 1994 edition
(
HTTPS://WWW.Google.com/books/edition/Software_Engineering_with_Ada/iPZGJRW9bKgC?hl=en&gbpv=1&dq=%22Software+Engineering+with+Ada%22&printsec=frontcover
)
and it showed no result for "metaclass" and "metaclasses".

Re: First Ada DO-178 Certification

[Lawrence D'Oliveiro]

On Thu, 17 Oct 2024 00:36:26 +0200, Nioclásán Caileán de Ghlostéir wrote:

> This book is dated 1987.
> ...
> I do not readily remember metaclasses in it.

In 1987, I think the only language that used the term “metaclass” was 
Smalltalk, and that was just as a hack mechanism on which to hang what we 
now call “classmethods”.

Python has metaclasses in a much more useful sense: being fully OO, every 
value that a variable can hold is an object. Since functions and classes 
are first-class objects, they, too, must be instances of some class(es). 
The class that a class is an instance of is called its “metaclass”.

Re: First Ada DO-178 Certification

[Nioclásán Caileán de Ghlostéir]

Smalltalk systems are bloated with code clones. So much for reuse!

Smalltalk and Python codes crash while attemptings to run because they do 
not check against faults during compilings.

"How Python and Rust handle errors is entirely different. Python will 
throw an exception when an error is encountered. Rust will return a value 
when an error is found, while Python will simply throw an error without 
providing any suggestions on how to fix it. Meanwhile, Rust will provide 
some recommendations to easily pinpoint and fix the issues."
says
@misc{Python-will-simply-throw-an-error-without-providing-any-suggestions-on-how-to-fix-it.htm,
title = {{Python vs Rust: Choosing Your Language - Teach Sector}},
year={2022},
url = {HTTPS://TeachSector.com/python-vs-rust-choosing-your-language/},
author = {Victor Porton}
}

Cf.

@misc{finding-bugs-in-your-Python-software-Have-you-ever-mistyped-an-identifier.html,
title = {{Best Programming Language \texttt{|} Teach Sector}},
year={2022},
url = {HTTPS://TeachSector.com/dforpython},
author = {Victor Porton}
}

and

@misc{dynamic-nature-of-Python-usually-leads-to-many-programming-errors.htm,
title = {{The Best Python Alternative You Can Find <E2><80><93> Course and 
Certifications - Teach Sector}},
year={2022},
url = 
{HTTPS://TeachSector.com/the-best-python-alternative-you-can-find-course-and-certifications/},
author = {Victor Porton}
}

and

@inproceedings{3383583.3398514.pdf,
author = {Fu, Yuanxi and Schneider, Jodi},
title = {{Towards Knowledge Maintenance in Scientific Digital Libraries 
with the Keystone Framework}},
year = {2020},
isbn = {9781450375856},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {HTTPS://DOI.org/10.1145/3383583.3398514},
doi = {10.1145/3383583.3398514},
abstract = {Scientific digital libraries speed dissemination of scientific 
publications, but also the propagation of invalid or unreliable knowledge. 
Although many papers with known validity problems are highly cited, no 
auditing process is currently available to determine whether a citing 
paper's findings fundamentally depend on invalid or unreliable knowledge. 
To address this, we introduce a new framework, the keystone framework, 
designed to identify when and how citing unreliable findings impacts a 
paper, using argumentation theory and citation context analysis. Through 
two pilot case studies, we demonstrate how the keystone framework can be 
applied to knowledge maintenance tasks for digital libraries, including 
addressing citations of a non-reproducible paper and identifying 
statements most needing validation in a high-impact paper. We identify 
roles for librarians, database maintainers, knowledgebase curators, and 
research software engineers in applying the framework to scientific 
digital libraries.},
booktitle = {Proceedings of the ACM/IEEE Joint Conference on Digital 
Libraries in 2020},
pages = {217--226},
numpages = {10},
keywords = {knowledge claims, citation of retracted papers, scientific 
literature, citation, argumentation theory, citation contexts, knowledge 
maintenance, retraction of research, argument retrieval},
location = {Virtual Event, China},
series = {JCDL '20}
}

and

@article{Python-is-missing-some-of-these,
 author = {Jeffrey R. Carter},
 title = {{Subject: Re: Is Python higher level than Ada?}},
 journal = {news:comp.lang.ada},
 volume = {2016},
 year = {2016},
 note = {Message-ID: \texttt{<o0i099$fg8$1@dont-email.me>} ag 
\url{HTTPS://Archive.LegitData.Co/comp.lang.ada/o0i099$fg8$1@dont-email.me/} 
mar shampla Date: Wed, 16 Nov 2016 09:08:37 -0700}
}

and

@article{Ada-had-records-from-day-one-only-40-years-ago,
 author = {Nasser M. Abbasi},
 title = {{Subject: Java and Python have just discovered 
\texttt{"}record\texttt{"} type finally after 40 years.}},
 journal = {news:comp.lang.ada},
 volume = {2023},
 year = {2023},
 note = {Message-ID: \texttt{<u3lu8o$1p3li$1@dont-email.me>} ag 
\url{HTTPS://Archive.LegitData.Co/comp.lang.ada/u3lu8o$1p3li$1@dont-email.me/} 
mar shampla Date: Fri, 12 May 2023 12:50:14 -0500}
}

and

@article{assuming-Python-implements-them-correctly-which-I-honestly-doubt,
 author = {Dmitry A. Kazakov},
 title = {{Subject: Re: Is Python higher level than Ada?}},
 journal = {news:comp.lang.ada},
 volume = {2016},
 year = {2016},
 note = {Message-ID: \texttt{<o0h7tt$1o9f$1@gioia.aioe.org>} ag 
\url{HTTPS://Archive.LegitData.Co/comp.lang.ada/o0h7tt$1o9f$1@gioia.aioe.org/} 
mar shampla Date: Wed, 16 Nov 2016 10:12:29 +0100}
}

Re: First Ada DO-178 Certification

[Lawrence D'Oliveiro]

On Thu, 17 Oct 2024 10:23:33 +0200, Nioclásán Caileán de Ghlostéir wrote:

> Smalltalk and Python codes crash while attemptings to run because they
> do not check against faults during compilings.

So, those are dynamic languages. You can add static type annotations to 
Python, if you want.