Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Contribution to the Analysis of Discrete Event Systems

Hervé Marchand 1
1 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : Since the 90's, automatic systems take a growing place into our everyday lives. It might be embedded systems, such as in robotic, automotive or avionic systems, telecommunication or transportation systems or energy services, etc. The presence of such systems offers new possibilities, but the price to pay is the increasing risks of software failures which can have dramatic consequences in terms of human lives or prohibitive costs. Manual validation is expensive, may be impossible for large systems, and is permeable to mistakes. The development of automatic tools serving to analyze or to ensure security/safety has thus become crucial to discover and avoid breaches and mistakes in the development of embedded systems. This habilitation document reports on my contributions to formal methods for discrete event systems. More specifically, the following problems are tackled: the diagnosis of discrete event systems for faulty behaviors that can be represented finite automata (these faults can be permanent or transient). A second contribution concerns the automatic control of concurrent systems composed of multiple sub-systems communicating either synchronously or asynchronously by means of fifo channel. In the field of computer security, the third contribution deals with the enforcement and the detection of confidentiality properties (more specifically the notion of opacity) using diagnosis techniques to detect opacity violations or supervisory control theory to restrict the behavior of a system in order to avoid information leakage.
Keywords : control Diagnosis
Document type :
Habilitation à diriger des recherches
Complete list of metadata
Contributor : Hervé Marchand <>
Submitted on : Tuesday, September 19, 2017 - 1:54:42 PM
Last modification on : Thursday, January 7, 2021 - 4:35:52 PM



  • HAL Id : tel-01589972, version 1


Hervé Marchand. Contribution to the Analysis of Discrete Event Systems. Software Engineering [cs.SE]. Université de Rennes 1, 2017. ⟨tel-01589972⟩



Record views


Files downloads