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!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Ada in command / control systems
Date: Fri, 08 Mar 2019 17:00:33 +0000
Organization: A noiseless patient Spider
Message-ID: <lymum5mhce.fsf@pushface.org>
References: <2199b15b-d704-403f-a6c4-00fab29792d5@googlegroups.com>
	<e9750c52-f4bd-47c9-988c-b7fd418a4ce7@googlegroups.com>
	<q536ao$1uj3$1@gioia.aioe.org>
	<72738cc8-3f65-4cc1-8c61-b1166cb5e3c2@googlegroups.com>
	<q55lgi$1967$1@gioia.aioe.org>
	<f96796fc-71dc-4229-a77f-588c98a7c527@googlegroups.com>
	<q5710f$1nbo$1@gioia.aioe.org>
	<9807ec3a-4c34-4641-acfa-e9cf22de95ce@googlegroups.com>
	<q596ku$1eed$1@gioia.aioe.org>
	<51611452-1f49-4d8d-b93d-363cbbee29d0@googlegroups.com>
	<q5b2hu$1m8u$1@gioia.aioe.org>
	<6a0fe4c2-a8e6-4d15-8cbf-f5a85ba0cd86@googlegroups.com>
	<q5jd8b$p2d$1@gioia.aioe.org>
	<1a5fae09-bbbf-4bdb-be8c-6a2e3fd70dfa@googlegroups.com>
	<q5m702$1kp0$1@gioia.aioe.org>
	<1c62f33a-d3a0-4a64-b66f-c82328cfb52a@googlegroups.com>
	<q5okl1$ioe$1@gioia.aioe.org>
	<fcb4b27a-1967-4ee2-8fc7-e3fd2d64ff1a@googlegroups.com>
	<q5qo1k$1t4u$1@gioia.aioe.org>
	<7e03c9b4-dd18-41a7-8d0b-4f5cea7df0b5@googlegroups.com>
	<q5tifr$n02$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org;
 posting-host="147049f9ebbe3d2a66e9ae7ac235f8e2";
	logging-data="25458"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/ecbCROKaWR9d2sAbf+JLXlqQkyrMhhyI="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (darwin)
Cancel-Lock: sha1:bXdDeIYd8q/aV2aZ/ZcE6mXe7Ek=
	sha1:4bQJ7DfXQCkOnuRbWzAxTY6kR2c=
Xref: reader01.eternal-september.org comp.lang.ada:55812
Date: 2019-03-08T17:00:33+00:00
List-Id: <comp.lang.ada>

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:

> If you have adequate software models, you could. Unfortunately there
> are no better models of this kind than the constructs offered by
> higher-level programming languages. Nothing of that is relevant to
> Simulink, which is to model a narrow class physical objects.

Why this obsession with Simulink?

I doubt there's much call for Simulink when you're building an air
traffic control system. Or a library management system. Or a (sub)system
that decides when to fire a missile against a target, and when the first
missile has missed and another go is needed (I know something about the
last of those).

You're certainly going to partition systems like that into domains
(you're not going to mix the business logic with the database accesses
for the library or the control algorithms for the tracker radar). And
it's not unreasonable that you might use different, appropriate, tools
for the different domains: Simulink for the tracker radar control, for
example, or a tool which supports data modelling and statecharts for the
business logic of library management.

And if the tools can generate code, so much the better. Of course
there's a verification issue; but the system engineers will (at least
initially) validate the model.