UML and Ada
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.
Artisan
Artisan Studio 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. Artisan Studio® 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.
Kennedy Carter
Kennedy Carter® iUML® is 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 support the generation of Ada and SPARK from Executable UML models.
Papyrus
Papyrus is an open source component of the Model Development Tools (MDT) subproject to provide an integrated environment for editing UML and SysML models. Papyrus supports the generation of Ada 2005 source code thanks to the High-Integrity UML (HiUML) profile currently under development at AdaCore. The HiUML profile also supports the definition and code generation of concurrency features conforming to the Ravenscar Profile.