Dieses Dokuwiki verwendet ein von Anymorphic Webdesign erstelltes Thema.

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

industry [2014/04/18 18:02]
plateau [Program]
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]])**\\
Line 74: Line 79:
 ===== Organizers ===== ===== Organizers =====
   * [[emmanuel.chailloux@lip6.fr|Emmanuel Chailloux]]   * [[emmanuel.chailloux@lip6.fr|Emmanuel Chailloux]]
-  * Thomas Braibant+  * [[thomas@cryptosense.com|Thomas Braibant]]
   * [[florence.plateau@provenrun.com|Florence Plateau]]   * [[florence.plateau@provenrun.com|Florence Plateau]]
industry.txt · Last modified: 2014/07/11 14:45 by plateau
Dieses Dokuwiki verwendet ein von Anymorphic Webdesign erstelltes Thema.
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0