Archives par mot-clé : Ada

Ada est un langage évolué pour applications critiques.

A4A : Projet pilote pour Ada for Automation

Bonjour,

Je suis toujours en quête d’un projet pilote pour « Ada for Automation ».

Dans mon précédent billet sur le sujet j’évoquais une solution Debian Linux car j’avais essentiellement fait des tests sur cette solution.

Comme vous le savez, il est possible de compiler un même programme Ada pour l’exécuter sous Windows®. J’ai donc procédé à quelques tests sur cette plate-forme et cela fonctionne comme un charme.

Je peux donc vous proposer pour votre projet pilote « Ada for Automation », par exemple, une solution d’automatisme sur la base du PC de votre choix sous Windows®, « Ada for Automation » pour l’application automate, une carte Hilscher pour le ou les bus de terrain éventuellement nécessaires, et PcVue pour l’IHM (ou la solution qui vous convient).

Si votre application nécessite un environnement Temps Réel dur, IntervalZero propose l’extension qui va bien, RTX®, Hilscher propose le pilote cifX pour RTX®, et AdaCore vous propose, sous la forme d’une souscription annuelle, l’environnement d’exécution Ada pour RTX®.

Je profite de ce billet pour vous indiquer qu’une version plus récente de la documentation est disponible, au format HTML, pas encore PDF parce que ma Debian Sid est un peu chamboulée depuis la sortie de Debian 7.0 « Wheezy ».

Edit : C’est réparé !

Au niveau code, quelques fonctions et blocs fonctions, SCALE, RAMP, LIMIT, PID, etc…, sont là depuis un petit moment.

Pour l’instant je joue avec Ada Web Server (AWS) et GtkAda et j’espère bien en faire quelque chose bientôt…

Bien sûr, un projet pilote me permettrait de consacrer davantage de temps au développement de « Ada for Automation ».
Aussi, n’hésitez pas à me solliciter si besoin.

Cordialement,
Stéphane

A4A : Projet pilote pour Ada for Automation

Bonjour,

« Ada for Automation » est donc un framework pour concevoir des applications d’automatisme en Ada.

Aujourd’hui, il dispose :

  • d’un Client Modbus TCP pour gérer des entrées et sorties déportées, façon IO Scanning,
  • d’un Serveur Modbus TCP pour l’interface avec la supervision de votre choix ou d’autres automates,
  • et avec la possibilité d’utiliser les cartes Hilscher cifX, la connectivité est tout bonnement impressionnante. 😉

Avec les librairies Ada disponibles il est possible de faire beaucoup de choses mais la librairie de composants de « Ada for Automation » est encore rachitique.

Bien sûr, cela va s’étoffer, avec le temps, et vos contributions. 🙂

Mais il manque un ou des projets pilotes afin de pouvoir travailler sur des cas concrets, parce que bon, sur ma paillasse, hormis quelques LED et boutons, ça manque un peu de capteurs et d’actionneurs, d’utilisateurs, d’opérateurs et de gestionnaires à mettre en pétard…

Aussi, si votre projet d’automatisme qui ne débouche pas depuis que la crise a siphonné tous les budgets peut s’accommoder de quelques aléas dus à la jeunesse de la chose et que vous souhaitez vous investir dans l’apprentissage de Ada, je vous propose de travailler de concert à l’élaboration de votre solution basée sur « Ada for Automation ».

Au niveau matériel, une petite machine tournant sous Debian de préférence et comportant si nécessaire un emplacement PCI ou PCI Express pour embarquer une carte Hilscher cifX serait suffisante.

Je suis à votre écoute pour discuter de votre besoin et valider la faisabilité de votre projet.

Cordialement,
Stéphane

A4A : Binding Ada pour le pilote des cartes Hilscher cifX

Bonjour,

Je travaille actuellement sur un binding Ada pour le pilote (cifX Device Driver) des cartes Hilscher cifX.

A ce jour, ce binding permet d’utiliser les cartes cifX depuis un programme en Ada pour les échanges cycliques, c’est à dire les échanges d’entrées et sorties avec la périphérie déportée sur les bus de terrain, ce qui est suffisant dans beaucoup d’applications d’automatisme.

Voilà un bout de code jeté à la va-vite pour vous donner une idée de la chose.

En Ada, lorsque l’on appelle une fonction comportant des paramètres, il est possible de les nommer, ce qui facilite la lecture et la compréhension ultérieure, et je trouve que ça les fait ressembler à des appels de fonctions en « Structured Text ».

Si l’on ôte toutes les traces, ce programme est très limité : il recopie quatre octets d’entrée dans quatre octets de sortie durant 60 secondes.

-----------------------------------------------------------------------
--                       Ada for Automation                          --
--                                                                   --
--                 Copyright (C) 2012, Stephane LOS                  --
--                                                                   --
-- This library is free software; you can redistribute it and/or     --
-- modify it under the terms of the GNU General Public               --
-- License as published by the Free Software Foundation; either      --
-- version 2 of the License, or (at your option) any later version.  --
--                                                                   --
-- This library is distributed in the hope that it will be useful,   --
-- but WITHOUT ANY WARRANTY; without even the implied warranty of    --
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU --
-- General Public License for more details.                          --
--                                                                   --
-- You should have received a copy of the GNU General Public         --
-- License along with this library; if not, write to the             --
-- Free Software Foundation, Inc., 59 Temple Place - Suite 330,      --
-- Boston, MA 02111-1307, USA.                                       --
--                                                                   --
-- As a special exception, if other files instantiate generics from  --
-- this unit, or you link this unit with other files to produce an   --
-- executable, this  unit  does not  by itself cause  the resulting  --
-- executable to be covered by the GNU General Public License. This  --
-- exception does not however invalidate any other reasons why the   --
-- executable file  might be covered by the  GNU Public License.     --
-----------------------------------------------------------------------


with Ada.Text_IO;

with A4A; use A4A;
with A4A.Protocols.HilscherX;

procedure Test_CifX is

   package cifX renames A4A.Protocols.HilscherX;

   Driver_Handle  : aliased cifX.Driver_Handle_Type;
   Channel_Handle : aliased cifX.Channel_Handle_Type;
   Result : DInt;

   Input_Data  : Byte_Array (0..9) := (others => 0);
   Output_Data : Byte_Array (0..9) := (others => 0);

   My_Timer : Integer := 10;

begin

   Ada.Text_IO.Put_Line (Item => "Test_CifX...");

   Ada.Text_IO.Put_Line (Item => "Initializing Linux Driver");
   Result := cifX.Linux_Driver_Init;
   if Result /= cifX.CIFX_NO_ERROR then
      cifX.Show_Error(Result);
   else

      Ada.Text_IO.Put_Line (Item => "Opening Driver");
      Result := cifX.Driver_Open (Driver_Handle'Access);
      if Result /= cifX.CIFX_NO_ERROR then
         cifX.Show_Error(Result);
      else

         Ada.Text_IO.Put_Line (Item => "Opening Channel");
         Result := cifX.Channel_Open
           (Driver_Handle          => Driver_Handle,
            Board_Name             => "cifX0",
            Channel_Number         => 0,
            Channel_Handle_Access  => Channel_Handle'Access);

         if Result /= cifX.CIFX_NO_ERROR then
            cifX.Show_Error(Result);
         else

            Ada.Text_IO.Put_Line (Item => "IO Exchange");
            loop
               Result := cifX.Channel_IO_Read
                 (Channel_Handle => Channel_Handle,
                  Area_Number    => 0,
                  Offset         => 0,
                  Data_Length    => 4, --Input_Data'Length,
                  Data_In        => Input_Data,
                  Time_Out       => 10);
               Ada.Text_IO.Put_Line (Item => "Channel_IO_Read");
               if Result /= cifX.CIFX_NO_ERROR then
                  cifX.Show_Error(Result);
               else
                  for Index in Input_Data'First .. 3 loop

                     Ada.Text_IO.Put ("Input_Data(" & Index'Img & ") : ");
                     Byte_Text_IO.Put (Input_Data(Index), Base => 16);
                     Ada.Text_IO.New_Line;

                     Output_Data(Index) := Input_Data(Index);
                  end loop;

                  Result := cifX.Channel_IO_Write
                    (Channel_Handle => Channel_Handle,
                     Area_Number    => 0,
                     Offset         => 0,
                     Data_Length    => 4, --Output_Data'Length,
                     Data_Out       => Output_Data,
                     Time_Out       => 10);
                  Ada.Text_IO.Put_Line (Item => "Channel_IO_Write");

                  if Result /= cifX.CIFX_NO_ERROR then
                     cifX.Show_Error(Result);
                  end if;
               end if;

               My_Timer := My_Timer - 1;
               exit when My_Timer <= 0;

               delay 1.0;
            end loop;

            Ada.Text_IO.Put_Line (Item => "Closing Channel");
            Result := cifX.Channel_Close (Channel_Handle);
            if Result /= cifX.CIFX_NO_ERROR then
               cifX.Show_Error(Result);
            end if;

         end if;

         Ada.Text_IO.Put_Line (Item => "Closing Driver");
         Result := cifX.Driver_Close (Driver_Handle);
         if Result /= cifX.CIFX_NO_ERROR then
            cifX.Show_Error(Result);
         end if;

      end if;

   end if;

   Ada.Text_IO.Put_Line (Item => "Deinitializing Linux Driver");
   cifX.Linux_Driver_Deinit;

end Test_CifX;

Cordialement,
Stéphane

A4A : Ada for Automation hébergé chez Gitorious

Bonjour,

EDIT : Ceci est de l’histoire ancienne puisque Gitorious n’est plus !

Voir dorénavant la page consacrée :
https://slo-ist.fr/ada4autom/telecharger

Je me suis finalement décidé pour l’hébergement de « Ada for Automation », ce sera :
https://gitorious.org/ada-for-automation

Vous pouvez donc désormais vous procurer « Ada for Automation » avec les outils git usuels ou télécharger une archive :
https://gitorious.org/ada-for-automation/ada-for-automation/archive-tarball/master

Ne vous risquez pas à piloter une centrale atomique avec, c’est pour l’instant éminemment instable… 😉

Que cela ne vous empêche pas d’expérimenter, cela me ferait même plaisir de le savoir !

Cordialement,
Stéphane

A4A : Lâché dans la nature, malingre

Bonjour,

Voici la première version de mon projet Ada for Automation présenté ici :
http://slo-ist.fr/ada4autom

Soyez indulgent, je balbutie en Ada et c’est le résultat de mes balbutiements que j’expose à votre sagacité.

Côté code, j’étudierai vos remarques avec attention et tâcherai de me conformer de mon mieux aux règles que j’ai trouvées ici :
http://en.wikibooks.org/wiki/Ada_Style_Guide

Ce wikibook m’est d’une grande aide aussi :
http://en.wikibooks.org/wiki/Ada_Programming

Ce n’est certes pas aussi fouillé que le Barnes, le Burns and Wellings ou le Mc Cormick qui trônent sur mon bureau mais c’est quelque fois plus rapide d’y trouver un exemple et les explications qui vont avec, avec le copier-coller en plus…

Je bute sur le binding de :
http://libmodbus.org/

Cela fonctionne en Client et en Serveur, voyez dans le dossier « test » mais je ne suis pas satisfait de ma solution pour la fonction :
http://libmodbus.org/site_media/html/modbus_mapping_new.html

Quant au reste, c’est exploratoire… Ada, c’est trop fort ! 😉

Je n’ai pas trop d’avis sur la « forge » susceptible d’accueillir ce projet, aussi en voilà une archive :
http://slo-ist.fr/Download/A4A/A4A_V06_20130124.7z

Je suis preneur de vos avis sur la question de la « forge » comme sur cette production en général et je vous en remercie d’avance.

Normalement ça doit compiler sans problème. Après tout, c’est du Ada.

Si c’est compilé avec succès, on trouve dans le dossier « exe » l’ensemble des binaires.

Les plus « drôles » sont :

  • « test_libmodbus_server_many » qui implémente un serveur Modbus TCP répondant à de multiples clients, il est dérivé de celui que l’on trouve dans les sources de libmodbus, « bandwidth-server-many-up.c »,
  • et « test_libmodbus_client2 « , inspiré de « unit-test-client.c », que vous pouvez exécuter en plusieurs instances, et qui discutera volontiers avec le précédent.

Comme la documentation est encore dans ma tête, voici quelques informations sur Ada for Automation :

  • c’est un framework, c’est à dire du code pour vous permettre d’écrire vos propres applications. Il est nécessaire d’y ajouter le code de votre application pour qu’il en sorte quelque chose d’utile.
  • il vous faudra apprendre Ada, doucement mais sûrement, pour l’utiliser. Cependant la disponibilité du code source vous y aidera et si vous connaissez le langage ST pour « Structured Text » vous serez surpris par une certaine familiarité.
  • c’est un langage compilé et il faudra apprendre à utiliser les outils et les techniques de debug.
  • en principe, votre code devrait se trouver dans le paquetage « A4A.Application ». Mais vous pouvez faire ce que vous voulez du moment que vous respectez la licence.
  • le framework organise les tâches comme celles que l’on trouve dans un automate, cycliques, périodiques ou événementielles, dans le paquetage « A4A.Kernel », et les tâches appellent les fonctions que vous définissez dans le paquetage « A4A.Application ». Dans ce paquetage, on trouve également les données et les objets de votre application.
  • le paquetage « A4A.Library » fournit une librairie de fonctions comme « Conversion » et de composants comme « Timers » et « Devices ». Cette librairie n’est pas très étoffée pour le moment…
  • le paquetage « A4A.Protocols » ne fournit pour le moment qu’un binding vers la librairie « libmodbus », ce qui permet déjà d’implémenter un serveur Modbus TCP pour la connexion d’un superviseur ou un client pour piloter un module d’entrées / sorties serveur Modbus TCP. Je n’ai pas encore eu le temps de réaliser le binding des fonctions Modbus RTU mais ça ne me semble pas hors de portée. Si cela intéresse quelqu’un, je peux réaliser un binding de la librairie du pilote pour les cartes Hilscher cifX… 😉
  • enfin, votre application pourra être soit en mode console, soit avec une interface graphique avec GtkAda.
  • et, cerise sur le gâteau, elle pourra s’exécuter tant sous Linux que sous Windows® par simple recompilation sur la plate-forme de votre choix.

Si la licence choisie, GMGPL, n’évoque rien pour vous et que vous vous demandez ce qu’il est légal de faire avec une telle licence, voyez avec votre juriste favori ou avec les gens de chez AdaCore, qui fournissent les outils Ada que j’utilise et qui ont conçu cette licence.
J’avoue ma grande incompétence dans ce domaine. N’hésitez pas à m’éclairer.

Je consulte régulièrement les forums Ada et notamment :
https://groups.google.com/forum/?fromgroups=#!forum/fr.comp.lang.ada

Si vos questions portent sur Ada, de très compétentes et sympathiques personnes pourront y répondre.
J’espère pour ma part pouvoir répondre à celles que vous poserez sur Ada for Automation.

Bien sûr, c’est un projet libre et je ne manquerai pas d’intégrer vos contributions si elles servent le projet.

Cordialement,
Stéphane