Ada and Model Based Development

Thanks to its rich support for object-orientation, concurrency and pre/post conditions, Ada is an excellent target language for automatic code generation from UML models. The following modeling environments offer industrial-strenght solutions for Ada code generation.

Visit AdaCore’s partners page to learn more about our our modeling solutions.

Atego

Atego is a fully integrated suite of UML modeling tools targeted to meet the development needs of complex technical systems and is the tool of choice for complex mission-critical systems and software engineering. Atego enables you to automatically generate and synchronize your Ada or SPARK source code and model with the Ada ‘Automatic Code Synchronization’ (ACS) technology.

IBM

The IBM® Rational® Rhapsody® Designer for for systems and software is an integrated visual modeling environment for complex system engineering projects. It uses the OMG’s SysML (Systems Modeling Language), and UML (Unified Modeling Language) to help system engineers quickly and non-ambiguously specify requirements, design structure and behavioral aspects of their systems. Rhapsody solutions can generate applications in a variety of languages including Ada for 8-, 16-, 32- and 64-bit applications using a realtime framework.

IBM has prepared a vdemo promoting the use of Rhapsody in Ada with GNAT Pro. The video is available at: http://www.ibm.com/developerworks/offers/lp/demos/summary/r-stopwatch-demo-rhapsody-ada.html

Abstract Solutions

Abstract Solutions provides an Executable UML modeling environment which leverages on an Abstract Action Language and UML Virtual Machine to achieve model testing, debugging and 100% code generation. It supports the generation of Ada and SPARK from Executable UML models.

Esterel Technologies

The new SCADE Suite 6.3 Ada KCG expands code-generation capabilities beyond C to both Ada and SPARK 95. SCADE KCG Ada/ SPARK seamlessly fits into development flows at existing Ada users and is compatible with Ada 95 and standard Ada compilers, allowing software developers greater flexibility when automatically generating qualifiable code from SCADE Suite."