Marc Bouissou, Professeur chargé de cours


Marc Bouissou

Marc[dot]Bouissou[at]ecp[dot]fr

Short bio

  • 2009- EDF R&D + Ecole Centrale Paris/LGI
  • 2007 Accreditation to Supervise Research (HDR) at USTL (University Lille1 - Sciences and Technologies)
  • 2000-2006 EDF R&D + CNRS (UMR 8050 at Marne la Vallée university)
  • 1982-2000 EDF R&D (research engineer)

Research Interests

Complex systems dependability: evaluation, optimization, allocation

  • Modeling of complex systems: automatic generation of reliability models (fault-trees, Markov chains, Bayesian networks...) from highly generic and very powerful formalisms (FIGARO language, BDMP (Boolean logic Driven Markov Processes) ®).
  • Extensions of Bayesian networks: probabilistic relational models, object oriented Bayesian networks.
  • Optimization of the processing of the generated models in order to limit combinatorial explosion problems:
    • techniques relying on BDD (Binary Decision Diagrams) for Boolean models: variable ordering heuristics,
    • techniques based on sequence exploration and quantification for Markov models,
    • probabilistic inference algorithms for Bayesian networks,
    • Monte-Carlo simulation.
  • Dependability evaluation of software intensive systems. Programmable systems pose specific problems, because a large part of their failures are due to design errors. This is why models used for conventional systems studies are not well adapted. Bayesian networks, because they are able to model inference on uncertain data, allow to formalize the reasoning of experts in charge of the assessment of such systems.
Cybersecurity:
  • Interdependencies between safety and security.
  • Modeling attack scenarii with BDMP.

Publications (selection)

  • Book: "Gestion de la complexité dans les études quantitatives de sûreté de fonctionnement de systèmes", Lavoisier, éditions TEC&DOC, Octobre 2008.
  • Book chapter: "Les réseaux bayésiens", in "Démarche bayésienne et applications à la sûreté de fonctionnement", book edited by Henri Procaccia & Marie-Christine Suhner, Lavoisier, coll. Hermes science, 349-357. (2003)
  • Book chapter: "Two computational methods for performing availability analysis of power-systems", in Safety and Reliability of Industrial Products, Systems and Structures, Carlos Guedes Soares (ed.). CRC Press. (2010).
  • Article: "A Bayesian Belief Network based method for performance evaluation and troubleshooting of multistate systems", International Journal of Reliability, Quality, and Safety Engineering, Vol.10, N°4 (2003) 407-416.
  • Article: "A new formalism that combines advantages of fault-trees and Markov models: Boolean logic Driven Markov Processes", Reliability Engineering and System Safety, Volume 82, Issue 2, November 2003, Pages 149-163. doi
  • Paper: "Assessment of a Safety Critical System Including Software: a Bayesian Belief Network for Evidence Sources", RAMS'99, Washington, January 1999, This paper obtained the "P.K. Mc Elroy Award for Best Paper" of this conference.
  • Paper: "Attack and defense dynamic modeling with BDMP", MMM-ACNS 2010, St Petersbourg, September 2010.
  • Article: "Cross-fertilization between safety and security engineering", Reliability Engineering and System Safety 110(0), 110 - 126. 2013. doi

Publications (last year)

  • Bouissou, M. & Bourreau, B. (2012), Revue des applications des réseaux bayésiens dynamiques en analyse des risques, in '18ème colloque fiabilité et maintenabilité', Imdr.fr, Tours
  • Bouissou, M. & Jankovic, M. (2012), Critical comparison of two user friendly tools to study Piecewise Deterministic Markov Processes (PDMP), in 'ESREL 2012'.
  • Chaux, P.-Y.; Roussel, J.-M.; Lesage, J.-J.; Deleuze, G. & Bouissou, M. (2012), Systematic extraction of Minimal Cut Sequences from a BDMP model, in 'ESREL 2012'.
  • Kriaa, S.; Bouissou, M. & Piètre-Cambacédès, L. (2012), Modeling the Stuxnet Attack with BDMP: Towards More Formal Risk Assessments, in 'CRISIS 2012'.
  • Moullec, M.-L.; Bouissou, M.; Jankovic, M. & Bocquet, J.-C. (2012), Use of a Bayesian nets-based method to automatically generate complex product architectures: application on the cooling system of a radar active antenna, in 'CSDM 2012'.
  • Moullec, M.-L.; Bouissou, M.; Jankovic, M. & Bocquet, J.-C. (2012), Product architecture generation and exploration using Bayesian networks, in 'DESIGN 2012'.
  • Moullec, M.-L.; Bouissou, M.; Jankovic, M.; Bocquet, J.-C.; Réquillard, F.; Maas, O. & Forgeot, O. (2012), 'Towards System Architecture Generation and Performances Assessment Under Uncertainty Using Bayesian Networks', Journal of Mechanical Engineering: Submitted in 2012.
  • Moullec, M.-L.; Jankovic, M.; Bouissou, M. & Bocquet, J.-C. (2012), Product architectures generation under uncertainty: comparison between two methods, in 'IDETC 2012'.
  • Piètre-Cambacédès, L. & Bouissou, M. (2013), 'Cross-fertilization between safety and security engineering', Reliability Engineering and System Safety 110(0), 110 - 126.
  • Piètre-Cambacédès, L.; Bouissou, M. & Chaudet, C. (2012), Des relations entre sûreté et sécurité, in '18ème colloque fiabilité et maintenabilité', Imdr.fr, Tours.

More...

On my personal homepage