Registration
This shows you the differences between two versions of the page.
|
industry [2014/04/23 09:38] braibant [Organizers] |
industry [2014/07/11 14:45] (current) plateau [Program] |
||
|---|---|---|---|
| Line 12: | Line 12: | ||
| * 14h00 : Introduction | * 14h00 : Introduction | ||
| - | * 14h05 : Emmanuel Ledinot ([[http://www.dassault-aviation.com/ | Dassault Aviation]]) //Analyse de valeur ² : regard sur 25 ans de méthodes formelles dans le secteur aéronautique// | + | * 14h05 : Emmanuel Ledinot ([[http://www.dassault-aviation.com/ | Dassault Aviation]]) //Analyse de valeur ² : regard sur 25 ans de méthodes formelles dans le secteur aéronautique// {{:av2_regard25ans_fm_final_diffusion.pdf|(pdf)}} |
| - | * 14h50 : Jean-Louis Colaço ([[http://www.esterel-technologies.com/ | Esterel-Technologies]]) //SCADE: un langage formel pour l'embarqué critique// | + | * 14h50 : Jean-Louis Colaço ([[http://www.esterel-technologies.com/ | Esterel-Technologies]]) //SCADE: un langage formel pour l'embarqué critique// {{:slides_estereltech_280414.pdf|(pdf)}} |
| - | * 15h15 : Benjamin Monate ([[http://trust-in-soft.com/ | TrustInSoft]]) //TrustInSoft : des méthodes formelles pour donner confiance dans les composants logiciels existants// | + | * 15h15 : Benjamin Monate ([[http://trust-in-soft.com/ | TrustInSoft]]) //TrustInSoft : des méthodes formelles pour donner confiance dans les composants logiciels existants// {{::2014_04_26_trustinsoft_talk_1_.pdf|(pdf)}} |
| Line 20: | Line 20: | ||
| - | * 16h00 : Dominique Bolignano ([[http://www.provenrun.com/ | Prove & Run]]) //Méthodes formelles et sécurité mobile// | + | * 16h00 : Dominique Bolignano ([[http://www.provenrun.com/ | Prove & Run]]) //Méthodes formelles et sécurité mobile// {{::ihp_2014_prove_run.pdf|(pdf)}} |
| - | * 16h25 : Alain Frish ([[http://www.lexifi.com/ | LexiFi]]) //LexiFi: Approche "langage" pour la description de contrats financiers// | + | * 16h25 : Alain Frish ([[http://www.lexifi.com/ | LexiFi]]) //LexiFi: Approche "langage" pour la description de contrats financiers// {{::afrisch.pdf|(pdf)}} |
| - | * 16h50 : Olivier Levillain ([[http://www.ssi.gouv.fr/ | ANSSI]]) //Langages de développement et sécurité --- Mind your language// | + | * 16h50 : Olivier Levillain ([[http://www.ssi.gouv.fr/ | ANSSI]]) //Langages de développement et sécurité --- Mind your language// {{:olivier_levillain.pdf|(pdf)}} |
| * 17h15 : Pause | * 17h15 : Pause | ||
| - | * 17h25 : Claire Dross ([[ http://www.spark-2014.org/ | Adacore]]) SPARK 2014: Vérification de Programmes Ada | + | * 17h25 : Philippe Bonnard et Georges Uzbelger ([[ http://www-05.ibm.com/fr/clientcenter/index.html | IBM ]]) //Des règles métier pour la gestion de l'incertain// {{::ibm.pdf|(pdf)}} |
| - | * 17h30 : Etienne Prun ([[http://clearsy.com/ | Clearsy]]) | + | * 17h35 : Claire Dross ([[ http://www.spark-2014.org/ | Adacore]]) //SPARK 2014: Vérification de Programmes Ada// {{::claire_dross.pdf|(pdf)}} |
| - | * 17h35 : Romain Bardoux ([[http://www.cryptosense.com/ | CryptoSense]]) | + | * 17h40 : Etienne Prun ([[http://clearsy.com/ | Clearsy]]) //Vérification formelle système : CBTC Flushing// {{::clearsy.pdf|(pdf)}} |
| - | * 17h40 : Fabrice Le Fessant ([[http://www.ocamlpro.com/ | OcamlPro]]) | + | * 17h45 : Romain Bardou ([[http://www.cryptosense.com/ | CryptoSense]])// Cryptosense Analyzer: découverte automatique de failles de sécurité// {{::romain_bardou.pdf|(pdf)}} |
| + | * 17h50 : Mohamed Iguernelala ([[http://www.ocamlpro.com/ | OcamlPro]]) //OCamlPro: Promouvoir OCaml dans le monde industriel// {{:ocamlpro-iguernelala.pdf|(pdf)}} | ||
| - | * 17h45 : Conclusion | + | * 17h55 : Conclusion |
| - | * 17h50 : Pot | + | * 18h00 : Pot |
| * 19h30 : Fin | * 19h30 : Fin | ||
| Line 45: | Line 46: | ||
| >Prove & Run développe un outillage et une approche de méthode formelle et se propose de les rendre applicables à des problèmes à fort enjeu comme celui de la sécurité mobile. | >Prove & Run développe un outillage et une approche de méthode formelle et se propose de les rendre applicables à des problèmes à fort enjeu comme celui de la sécurité mobile. | ||
| >Dans cet exposé nous décrirons nos objectifs, en termes d’outils et méthodologies, et la manière dont nous pensons pouvoir les appliquer dans un premier temps au problème de la sécurité mobile. | >Dans cet exposé nous décrirons nos objectifs, en termes d’outils et méthodologies, et la manière dont nous pensons pouvoir les appliquer dans un premier temps au problème de la sécurité mobile. | ||
| + | |||
| + | ** Philippe Bonnard et Georges Uzbelger ** ([[ http://www-05.ibm.com/fr/clientcenter/index.html | IBM ]])\\ | ||
| + | //Des règles métier pour la gestion de l'incertain// | ||
| + | >Les systèmes de gestion de règles métier (Business Rules) ont été largement développés et utilisés depuis 15 ans par le monde de l'industrie (banque, assurance, transport...), dont notamment le système ODM (Operational Decision Manager) développé par IBM. Une règle métier permet de définir une prise de décision ou une stratégie élémentaire de l'entreprise de manière simple et accessible aux non-informaticiens. Cependant, les systèmes actuels gèrent difficilement les informations incomplètes ou incohérentes. Pour répondre à cette problématique, le projet d'étude "Uncertain Reasoning for Business RuleS", commencé au sein du Lab France d'IBM en collaboration avec le LIP6, proposent d'étendre le système ODM sur des modèles de connaissance probabilistes en utilisant l'inférence bayésienne. Nous développerons tous ces points lors de notre exposé. | ||
| **Jean-Louis Colaço ([[http://www.esterel-technologies.com/ | Esterel-Technologies]])**\\ | **Jean-Louis Colaço ([[http://www.esterel-technologies.com/ | Esterel-Technologies]])**\\ | ||