Jeudi 23 mai 2013
- DĂ©tails
- Mis Ă jour le lundi 6 mai 2013 19:42
Â
| 9h00 9h15 |
Accueil et présentation de la journée T. Millan (IRIT) |
Â
Â
|
Session: IDM et la maturité des outils |
|
| 9h15 9h45 |
Stratégie pour la construction d’ateliers d’ingénieries sur mesure S. Bonnet (Thales Global Services) |
| 9h45 10h00 |
15 minutes pour créer en direct un atelier de modélisation avec Obeo Designer F. Madiot (Obeo) |
| 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 - 11h15 Pause
| 11h15 11h45 |
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) |
| 11h45 12h15 |
DĂ©bat |
12h15 - 14h00 DĂ©jeuner
Â
|
Session : IDM et IHM |
|
| 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) |
| 15h00 15h30 |
DĂ©bat |
15h30 - 16h00 Pause
| Session : Vérification formelle d'exigences de modèles comportementaux : application à un modèle de contrôleur de pacemaker Animateur : P. Roques (PRFC) |
|
| 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 |
DĂ©bat |
Â
| 17h30 17h45 |
Conclusion |
Â
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 : 
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
Nouvelle version de la plate-forme NEPTUNE
- DĂ©tails
- Mis Ă jour le lundi 21 janvier 2013 23:01
Nous sommes heureux de vous annoncer la mise en ligne de la nouvelle version de plate-forme NEPTUNE incluant nos nouveaux travaux sur les interprètes OCL.
New version of the NEPTUNE platform
We are happy to announce you the online publishing of the new version of the NEPTUNE platform including our new works concerning OCL interpreters.
- DĂ©but
- Précédent
- 1
- 2
- Suivant
- Fin