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" Newsgroups: comp.lang.ada Subject: Re: Ada in command / control systems Date: Sat, 9 Mar 2019 21:38:32 +0100 Organization: Aioe.org NNTP Server Message-ID: References: <2199b15b-d704-403f-a6c4-00fab29792d5@googlegroups.com> <72738cc8-3f65-4cc1-8c61-b1166cb5e3c2@googlegroups.com> <9807ec3a-4c34-4641-acfa-e9cf22de95ce@googlegroups.com> <520809e3-a705-4b10-8b54-6d67c33158a6@googlegroups.com> NNTP-Posting-Host: yTvCNOh9TRCAIcX40YItlQ.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-Complaints-To: abuse@aioe.org User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101 Thunderbird/60.5.3 Content-Language: en-US X-Notice: Filtered by postfilter v. 0.9.2 Xref: reader01.eternal-september.org comp.lang.ada:55827 Date: 2019-03-09T21:38:32+01:00 List-Id: On 2019-03-09 21:06, G.B. wrote: > On 09.03.19 09:59, Dmitry A. Kazakov wrote: >> On 2019-03-09 09:16, Simon Wright wrote: >>> russ lyttle writes: >>> >>>> Which brings up a recurring debate. If there is a conflict between two >>>> diagrams, which takes precedence? >>> >>> Neither, in my view (as a purist): there's a contradiction which needs >>> to be resolved. >> >> A more interesting question is how do you detect if there is any? > > When the questions is about errors in a model, one answer can > mention that a modeling tool uses formal models or meta-models, > to store manifestations of design ideas. Not just diagrams, > Model store and diagrams are based on a modeling language. > The use of a modeling language (notation) implies syntax, > semantics, and checking. Some modeling errors will be found > just because they are ungrammatical. So, pitures have grammar > and more. > > In addition to the rules that are built-in, some tools will > accept and apply user-written rules for validation. > > This seems familiar, to me, when compared to Ada tools. Compilers > will handle input according to the standard Ada language model, > and other tools use rules for inspecting additional properties > of an Ada program  (SPARK, AdaControl, CodePeer, ...). > > The general situation is not changed, only the abstractions > are different. Both add to engineering. Similarity is superficial. SPARK and code quality assurance tools deal with correctness of the program at hand. Models in model-based design are implementation. One could even try to invent something like SPARK for Simulink models and surely an equivalent of AdaControl. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de