Les groupes de travail Ingénierie des Exigences (IE) et AFSEC ((Approches Formelles des Systèmes Embarqués Communicants) ont proposé une session commune le jeudi 9 juin à Vannes lors des journées du GDR GPL.
Programme :
– Rabéa Ameur-Boulifa (Télécom Paris) : Automatic Support for Requirements Validation
– Ombeline Aïello (ISAE/ONERA) : Couplage des approches MBSE et MDAO pour le dimensionnement d’une batterie de drone
– Thuy Nguyen (EDF) Spécification formelle de systèmes cyber-physiques et Ingénierie système assistée par la simulation
