http://lmo-conference.org/ 2010-04-18T21:35:57+02:00 http://lmo-conference.org/ http://lmo-conference.org/lib/images/favicon.ico text/html 2009-06-02T15:28:54+02:00 http://lmo-conference.org/2009/ateliers/safemodel/document_de_synthese?rev=1243949334 Télécharger le [PDF] Introduction Safemodel est un projet/thème dont l'objectif général vise à promouvoir des méthodes de conceptions capables d'appréhender la complexité des systèmes logiciels critiques afin d'augmenter/prouver leur fiabilité tout en facilitant le travail des concepteurs et des autorités d'homologation. Il a émergé de projets comme TUCS et SAFECODE qui visaient à établir des processus de développement de logiciels pouvant être certifiés: text/html 2009-06-03T14:38:09+02:00 http://lmo-conference.org/2009/ateliers/safemodel/index?rev=1244032689 L'atelier SafeModel propose d'explorer les possibilités de l’Ingénierie Dirigée par les Modèles (IDM) et la combinaison de méthodes formelles pour la mise en place d’un processus de développement outillé et orienté composants intégrant les aspects spécification, vérification, implantation et la certification, en vue de répondre aux exigences des logiciels critiques. text/html 2009-03-23T10:34:30+02:00 http://lmo-conference.org/2009/ateliers/safemodel/presentation_de_l_atelier?rev=1237800870 Thématique et Objectifs de l'atelier La complexité croissante des systèmes logiciels rend leur compréhension et leur conception de plus en plus délicate. Dans le cas des logiciels dédiés aux systèmes autonomes ou réactifs comme ceux appliqués au transport les aspects sûreté de fonctionnement, vivacité, etc. sont essentiels. text/html 2009-06-02T15:34:10+02:00 http://lmo-conference.org/2009/ateliers/safemodel/presentations_et_articles?rev=1243949650 Les références en BibTeX Introduction de l'atelier * <<[SafeModel]>> - Jean-Marc Perronnes, Georges Mariano, Daniel Deveaux * [Présentation de Marc Pantel] Présentations * Akram Idani, Yves Ledru et Pierre-Yves Schobbens. <<[Approche formelle pour une ingénierie des modèles sûre]>> (transparents) * Julien Mallet et Siegfried Rouvrais. <<[Transformations dirigées par des propriétés non fonctionnelles en conception logicielle]>> ([transparents]) * Mourad Kmimech, Mohamed Tahar Bhiri,…