Re: Ada in command / control systems

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

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