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.yTvCNOh9TRCAIcX40YItlQ.user.gioia.aioe.org!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Ada in command / control systems
Date: Fri, 8 Mar 2019 18:38:41 +0100
Organization: Aioe.org NNTP Server
Message-ID: <q5u9b0$2mi$1@gioia.aioe.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> <lymum5mhce.fsf@pushface.org>
NNTP-Posting-Host: yTvCNOh9TRCAIcX40YItlQ.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
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-US
Xref: reader01.eternal-september.org comp.lang.ada:55814
Date: 2019-03-08T18:38:41+01:00
List-Id: <comp.lang.ada>

On 2019-03-08 18:00, Simon Wright wrote:

> 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.

I am skeptical about that approach in general. For example attempts to 
use tools and specialized languages for GUI design. It does not work 
well. I think difficulties to glue the system together outweigh possible 
advantages.

> 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.

Good luck maintaining and supporting that mess.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de