From: clubley@remove_me.eisner.decus.org-Earth.UFP   
      
   On 2025-07-25, Simon Clubley    
   wrote:   
   > On 2025-07-24, Arne Vajhøj  wrote:   
   >>   
   >> I believe there are some commercial backing.   
   >>   
   >> Even though I do not completely understand the relationship   
   >> between the VMSgenerations group and the companies Pia-Sofer   
   >> and AdaLabs.   
   >>   
   >> Whether those are big enough for you I don't know.   
   >>   
   >> But it is my impression that embedded, real-time, failure   
   >> mean people die market is actually mostly smaller companies.   
   >> Where the really huge companies focus on the business   
   >> applications market.   
   >>   
   >   
   > Not always. For example, Eurocontrol is a major Ada user[*] and that   
   > is for technical stuff, not business applications stuff.   
   >   
   > ([*] Or at least it was; I don't know if that is still the case.)   
   >   
      
   Just remembered: Eurocontrol is/was a sufficiently major Ada user that   
   it actually commissioned the creation of AdaControl, which is a rules   
   checker for Ada source code:   
      
   https://www.adalog.fr/en/adacontrol.html   
      
   Simon.   
      
   --   
   Simon Clubley, clubley@remove_me.eisner.decus.org-Earth.UFP   
   Walking destinations on a map are further away than they appear.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)