1 projets européens trouvés
Recherche sur 125080 projets européens
TERMINÉ
SysML bAsed modeling, architecTUre exploRation, simulation and syNthesis for complex embedded systems (SATURN)
Date du début: 1 janv. 2008, Date de fin: 31 déc. 2010,
SATURN's goal is to bridge the current gap between modelling and verification/synthesis in UML based designs of Embedded Systems that are equally composed of HW and SW. To do this, the UML profile for MARTE is evaluated for its complementary application with SysML, and significantly improved adding formal semantics of different Models of Computation for integrated modelling and verification enviro ...
Voir le projet