AFIS : Journée Thématique 18 : Ingénierie des coûts et Ingénierie Système
- DĂ©tails
- Mis Ă jour le mercredi 15 mai 2013 21:03
Bulletin d'inscription : ici
slides 2013
- DĂ©tails
- Mis Ă jour le jeudi 23 mai 2013 13:55
Journées NEPTUNE 2013
Â
22 mai 2013
Â
Â
23 mai 2013
Â
| 09h00-09h15 |
Accueil et présentation de la journée |
T. Millan (IRIT) |  |
| 09h15-9h45 | Stratégie pour la construction d’ateliers d’ingénieries sur mesure | S. Bonnet (Thales Global Services) | |
| 09h45-10h00 | 15 minutes pour créer en direct un atelier de modélisation avec Obeo Designer | F. Madiot (Obeo) | Demo |
| 10h00-10h15 | Modelio un outil IDM dans le vent |
P. Desfray (Softeam) | |
| 10h15-10h45 | La modélisation au service de l'agilité : le cas DCNS | E. Grivot (DCNS) | |
| 10h45-11h30 | Polarsys : un écosystème d'outils open source pour les systèmes embarqués critiques. Bénéfices pour les grands groupes et les PME |
G. Blondelle (Obéo, Porte parole de Polarsys), P. Gaufillet (Airbus, Président de Polarsys) | |
| 14h00-14h30 |  Plasticité des Interfaces Homme-Machine par Ingénierie Dirigée par les Modèles | E. Ceret (Imag) | |
| 14h30-15h00 |  IDM pour le facteur humain et l’interaction homme-système : une approche industrielle | C. Robinson (Thales Research & Technology) | |
| 16h00-16h20 | Vérification d'exigences d'un modèle SysML | L. Apvrille (Telecom Paristech), P. de Saqui-Sannes (ISAE) | |
| 16h20-16h40 | Vérification d'exigences d'un modèle UML-Marte via les langages CDL et Fiacre |
P. Dhaussy (ENSTA-Bretagne), F. Boniol (ONERA) | |
| 16h40-17h00 | Vérification d'exigences d'un modèle AADL |
T. Robert (Telecom Paristech), J. Hugues (ISAE) |
|
| 17h00-17h30 | Conclusion/DĂ©bat | Animateurs : | Â |
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
Questionnaire concernant l'agilité des méthodes UP
- DĂ©tails
- Mis Ă jour le vendredi 17 mai 2013 15:59
En vu des prochaines journées NEPTUNE nous avons préparé un questionnaire pour mieux cerner le caractère agile de méthodes comme UP. Vous nous aideriez grandement si vous répondiez au 14 questions questions accessibles par le lien suivant : http://www.irit.fr/survey/index.php?sid=24892&newtest=Y
Ce questionnaire est anonyme et il ne servira Ă aucune action publicitaire. Il ne sert qu'Ă alimenter un travail de recherche
concernant l'agilité des méthodes UP
Modélisation et analyse de systèmes embarqués
- DĂ©tails
- Mis Ă jour le mercredi 15 mai 2013 21:01
L es systèmes embarqués rendent un nombre de services grandissant et font partie de notre vie quotidienne : ascenseurs, transports, téléphonie, médecine, énergie, industrie, etc. Ainsi, si l'on parle de plus en plus de systèmes embarqués, il s'agit avant tout d'un ensemble complet et intégré (matériel + logiciel). Le point central de leur développement est leur interaction avec leur environnement et les conséquences associées en
termes de sécurité et de fiabilité.
Cet ouvrage dresse un état de l'art du développement des systèmes embarqués. Il se concentre particulièrement sur leur modélisation et leur analyse. Il s'agit d'opérations cruciales qui détermineront la fiabilité du futur système. L'apparition récente des techniques basées sur l'ingénierie des modèles pourrait révolutionner le développement de ces systèmes en assurant une continuité entre le niveau conceptuel et l'implémentation de
la partie logicielle. L'ouvrage expose trois approches parmi les plus utilisées : SysML (aspects ingénierie système), UML/MARTE et AADL (conception/analyse).
Pour en savoir plus et bon de commande :