I-Logix bidrar med UML-verktyget Rhapsody och GHS med utvecklingsmiljön Multi. Verktygen är integrerade med varandra för uppgiften att utveckla programvara för GHS realtidsoperativsystem Integrity och Velosity.
En stor fördel med att integrera kravhantering och implementation är att utvecklingslaget slipper den manuella uppgiften att hålla de två specifikationerna i fas med varandra. Och att spåra vilka delar av koden som hör samman med vilka delar av kravspecifikationen.
I detta verktyg är möjligt att automatgenerera programtext (C, C++ eller Ada) direkt från UML-modellen. Och tvärtom. När programtexten ändras i Multis editor, uppdateras även automatgeneratorn med dessa ändringar.
Inte bara modell och källkod är kopplade till varandra. Det går även exempelvis att sätta brytpunkter till avlusaren direkt i UML-modellen. Och Rhapsody kan generera testvektorer till Multi.
Förutom att köra programvaran på den fysiska hårdvaran, kan den köras i Multis instruktionssimulator. Till och med själva UML-modellen kan exekveras, för att verifiera delar av dess beteende.
En framtida målsättning för de två företagen är att integrera verktygen i den öppna verktygsplattformen Eclipse.