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=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED.fn3LatRFkm9/xzEj7F2/NQ.user.gioia.aioe.org!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Ada in command / control systems Date: Tue, 26 Feb 2019 12:01:45 +0100 Organization: Aioe.org NNTP Server Message-ID: References: <2199b15b-d704-403f-a6c4-00fab29792d5@googlegroups.com> NNTP-Posting-Host: fn3LatRFkm9/xzEj7F2/NQ.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101 Thunderbird/60.5.1 Content-Language: en-US X-Notice: Filtered by postfilter v. 0.9.2 Xref: reader01.eternal-september.org comp.lang.ada:55672 Date: 2019-02-26T12:01:45+01:00 List-Id: On 2019-02-26 10:28, Maciej Sobczak wrote: > Note also that software engineering world, especially in the industrial and critical domains, is slowly (?) drifting towards model-based techniques. Hmm, it was that way for 20 years. Not only in some sense we are catching up with the culture that our colleagues from other domains cultivated long before us, but it actually makes the advantages of Ada increasingly irrelevant. The choice will be no longer between C and Ada, but rather between Python (or similar) and Simulink (or similar - I'm referring to mindsets, not the actual products). Not at all. Tools like Simulink reached their limit of handling complexity of the software. It is not scalable, not maintainable etc. The software designed this way is not verifiable, non-testable. It is a huge business propped by the ways certification and validation is done. If you use a code generator you basically can skip most of validation if the generator is kind of "certified". The trick works because the model is not considered code. This will end sooner or later. One can fool other people but not the reality. >> The PLC is not at primitive beast. [...] > > I very much prefer properly designed PLC solution than some random crap disguised as source code, even in the best of languages. Good luck with that... -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de