|
Accès au site Internet Club Génie Logiciel
Contexte
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.
Périmètre scientifique et technique
Problématiques d'intérêt :
- 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.
Objectifs
- 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
Partenaires
- Autres Clubs SEE : Télécommunications
- OMG, SysML France, IEEE TCCX
- ARTIST
- ACM Sigbed
Manifestations
Manifestations de référence ou récurrentes
| UML&AADL |
Workshop international de la conférence ICECCS |
2009 |
Potsdam, Allemagne |
| |
|
2008 |
Belfast, Irlande du Nord |
| |
|
2007 |
Auckland, Nouvelle Zélande |
| UML&FM |
UML et les méthodes formelles. Workshop |
2009 |
Rio, Brésil |
| |
international de la conférence ICFEM |
2008 |
Kitakyushu, Japon |
| Conférence |
NEPTUNE |
2009 |
Paris |
|
|
2008 |
Paris |
| ICSSEA |
Conférence Internationale Génie Logiciel |
2009 |
Paris |
| |
|
2008 |
Paris |
| ACES-MB |
Participation du Club au workshop de la |
2009 |
Denver |
| |
conférence MODELs |
2008 |
Toulouse |
MOMPES |
Participation des membres du club à ce workshop de la conférence ICSE |
2009 |
Vancouver |
Publications
Livre dédicacé par le club : Méthodes formelles pour les systèmes répartis et coopératifs : Serge Haddad, Fabrice Kordon, Laure Petrucci
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 :
Vice-président : Agusti Canals
CS - ZAC de la Grande Plaine
5, rue Brindejonc des Moulinais
BP 15872 31056 Toulouse Cedex 5
Tél. : 05 61 17 66 66 - Mob. 06 07 62 78 08
e-mail :
Membres du bureau
Agusti Canals (CS SYSTEMES D'INFORMATION)
Isabelle Perseil (TELECOM PARISTECH)
|
