AADLInspector avec MARZHIN au salon du Bourget

Au salon du Bourget, Paris Air Show 2017, Pierre Dissaux d'Ellidiss Technologies présente sa suite d'outils de conception, AADLInspector, incluant le simulateur multi-agents MARZHIN de Virtualys pour une validation dynamique et événementielle des modèles d'architecture des systèmes embarqués temps réel décrits en langage AADL. Cette suite logicielle contient aussi l'outil de preuve formelle Cheddar issu des travaux universitaires du Lab-STICC / UBO.