Du 2 au 4 février 2011, CS participera en tant que co-organisateur aux 1ers TOPCASED-days qui se tiendront à Toulouse


TOPCASED désigne maintenant un ensemble d'outils logiciels de développement de systèmes embarqués critiques, modulaire et disponible en open-source, allant des spécification systèmes jusqu'à l'implantation logicielle et matérielle en passant par la définition d'équipement. Son utilisation se répand dans le monde entier et ces TOPCASED-days seront l'occasion de faire le point des applications et d'échanger les retours d'expérience.


A cette occasion, CS interviendra sur plusieurs thématiques :

• le 3 février 2011 
- Session A4 : DSL Support - 14:30-15:00 : Framework to design space mission data based on TOPCASED
- Session B5 : Transformation support - 16:30-17:00 : Formal verification of AADL models using Fiacre and Tina 
• le 4 février 2011 - Session A6 : Code Generation
- 14:00-14:30 : Towards a synchronized development environment for C and Models (travaux CS issus du portage du projet CNES PHARAO sous Topcased)
- 14:30-15:00 : Use of TOPCASED to transform an UML model for AGATA CNES project

Pour en savoir plus sur cet événement sur le programme.