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: "J-P. Rosen" Newsgroups: comp.lang.ada Subject: Re: Ravenscar References Date: Tue, 22 Jan 2019 10:25:08 +0100 Organization: Adalog Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Injection-Date: Tue, 22 Jan 2019 09:25:05 -0000 (UTC) Injection-Info: reader02.eternal-september.org; posting-host="9d19c041659faa4e9ee671bf9e5be617"; logging-data="24420"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18C1qbWUvOQbn7xObPfb7ct" User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101 Thunderbird/60.4.0 Cancel-Lock: sha1:z4bEAaUBYKrf78Yldrtu6Chx1Rk= In-Reply-To: Content-Language: fr Openpgp: preference=signencrypt Xref: reader01.eternal-september.org comp.lang.ada:55323 Date: 2019-01-22T10:25:08+01:00 List-Id: Le 22/01/2019 à 00:19, Randy Brukardt a écrit : > I don't think it is possible to "convert" regular Ada code into Ravenscar > (unless, of course, it doesn't use any tasks ;-). You pretty much have to > completely rewrite it with Ravenscar in mind. (In this way, it is very much > like using SPARK.) I don't fully agree with that statement; it all depends where you start from. I recently helped one of my clients who wanted to move to Ravenscar. The original structure was all Ada83, communicating with rendezvous. However, it was already safety critical, therefore based on cyclic, never ending tasks, and limited communications. It was reasonably easy to define patterns for matching the existing structure into Ravenscar patterns. -- J-P. Rosen Adalog 2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00 http://www.adalog.fr