Instituées sur l’initiative de quatre membres du consortium NEPTUNE – http://neptune.irit.fr – (Nice Environment with a Process and Tools Using Norms and Examples) et organisées avec le concours de la revue Génie Logiciel, les journées « NEPTUNE » ont pour vocation de constituer un lieu de rencontre, au travers de présentations et tables rondes, pour les différents acteurs des mondes du génie logiciel et de l'ingénierie de systèmes concernés par l’utilisation et l’évolution des processus de développement logiciel basés sur les modèles. Ces journées ont ainsi un double rôle d’évaluation critique et de veille technologique.
Copyright CS Communication&Systèmes, IRIT, Génie Logiciel
Comité d'organisation
Agusti Canals (CS Communication&Systèmes) - agusti[dot]canals[at]c-s.fr
Thierry Millan (IRIT) - millan[at]irit.fr
Etienne Borde (Télécom ParisTech) – etienne.borde[at]telecom-paristech.fr
Jean-Claude Rault (Génie Logiciel) - genie-logiciel[at]orange.fr
Slides
3 juin 2014
| 9h00-9h15 |
Accueil et présentation des journées NEPTUNE 2014
|
A. Canals (CS Communication&Systèmes) |  |
| 9h15-9h30 |
Présentation du groupe de recherche et des exposés (Objectifs du groupe, méthode, organisation du travail) |
Philippe Dhaussy (ENSTA Bretagne) | |
| 9h15-10h00 | Modélisation UML d’un cas d’étude : un système de Cruise Control (CCS) | Joris Rehm (Clearsy) | |
| 10h00-10h30 | Modélisation B : Application au cas CCS | Joris Rehm (Clearsy) | |
| 11h00-11h30 | Transformation de modèles UML vers Fiacre, via les langages intermédiaires tUML et ABCD | Frédéric Jouault (ESEO) | |
| 11h30-12h00 | Vérification formelle de propriétés avec outils OBP, application au cas CCS | Philippe Dhaussy (ENSTA Bretagne) | |
| 14h15-14h25 | Introduction | Thierry Millan (IRIT) | |
| 14h25-14h55 | Les challenges (des standards) de l'IDM pour la simulation | Jérémie Tatibouët (CEA) | |
| 14h55-15h25 | Le standard FMI : interopérabilité des outils de simulation |
Christophe Fernandes et Philippe Hartmann (Dassault Systèmes) |
 |
| 15h25-15h55 |
Ingénierie Dirigée par les Modèles pour la Simulation, le cas de PRISE |
Jérôme Hugues(ISAE) |
|
| 16h25-16h55 | Modélisation pour la simulation |
Arnaud Jouzeau (CS Communication&Systèmes) et Renaud Defrance (Eurostep) |
|
| 16h55-17h40 | Table ronde |
Philippe Dhaussy (ENSTA Bretagne) et Jean-Michel Bruel (IRIT) |
|
| 17h40-17h45 | Conclusion | A. Canals (CS Communication&Systèmes) |
Les meilleurs papiers seront publiés dans la revue "Génie Logiciel - Magazine de l'ingéniérie du logiciel et des systèmes" durant le mois de juin 2012 Génie Logiciel - Magazine de l'ingéniérie du logiciel et des systèmes - GL & IS - 8, rue du Parc - 92190 MEUDON
