Accès au site Internet Club Génie Logiciel

Le Club Génie Logiciel a pour vocation de constituer un lieu d'échange d'informations, de réflexion et d'initiatives dans le domaine des applications industrielles du génie logiciel qui se définit comme l'ensemble des méthodes et des outils nécessaires à la spécification, à la conception, au développement, à la maintenance et à l'exploitation de logiciels. Son centre d'intérêt comprend la mise en oeuvre de normes et d'outils avancés de génie logiciel, dans le but d'améliorer la qualité et la productivité des équipes.

• Code generation from UML (action language) or an ADL (for instance, building a runtime corresponding to what is specified in an ADL description, code patterns) towards multiple target languages. Presentation of code generation frameworks, tool suites or component-based programming will be particularly appreciated
• Multi-domain specific modeling languages
• Model transformation and generative approaches
• Model-based Methodologies
• Integration of different formalisms (e.g., Simulink/StateFlow, StateMate and Scade-drive)
• Model Checking of architecture specifications
• ADLs behavioral models simulation, Scheduling analysis and Worst-case execution time prediction
• Model verification to verify functional properties against constraints given in the architecture model
• Verification of non-functional properties given in the architecture model against constraints given in the model.

• Mettre en contact et faciliter les échanges entre industriels, PMEs et laboratoires académiques autour des langages de modélisation temps-réel et embarqué
• Encourager les échanges avec des domaines techniques connexes : interactions traitement de l'information avec les domaines des mathématiques, biologie, avionique.
• Promouvoir l'innovation industrielle en STIC : modèles, algorithmes, simulations, ingénierie, expérimentations, validation, standardisation
• Fédérer la communauté nationale autour de thématiques émergentes : systèmes complexes

• Autres Clubs SEE : Télécommunications
• OMG, SysML France, IEEE TCCX
• ARTIST
• ACM Sigbed

Manifestations de référence ou récurrentes

Publications

Publications :

• http://www.infres.enst.fr/~perseil/publications.html
• http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/G=eacute=rard:S=eacute=bastien.html
• http://www.sigmod.org/dblp/db/indices/a-tree/b/Bruel:Jean=Michel.html

Organisation et bureau

Point de contact : Isabelle Perseil
Président : Isabelle Perseil
Ingénieur de recherche
46, rue Barrault - 75013 Paris
Tél. : 01 45 81 77 51 - mob. 06 10 75 52 84
e-mail :