Le projet atsyra-dev vise à développer des plugins et un studio pour l'analyse de modèles formels, la transformation de langages spécifiques de domaines et la génération de code à partir de modèles. Il s'appuie sur des outils tels qu'Xtend, MapStruct, Testcontainers, OSGi, SLF4J, Entity Framework Core, Guava, OpenTracing, Simple Injector, Apache Ant et Markdown.

DeXMS est un framework Java dédié aux applications distribuées complexes de l'Internet du futur. Il permet d'interconnecter des services et des objets connectés en utilisant des protocoles de communication hétérogènes tels que SOAP, REST, CoAP, MQTT, Websocket et DPWS.

Le projet javabip-engine est une bibliothèque Java permettant de gérer des composants et leurs interactions, de contrôler et superviser un système distribué, ainsi que de vérifier des propriétés sur ces systèmes. Il s'appuie sur la bibliothèque javabdd pour la manipulation de BDD (Binary Decision Diagrams).