Skip to Main content Skip to Navigation

Diagnostic, opacité et test de conformité pour des systèmes récursifs

Sébastien Chédor 1 
1 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : An effective way to ensure the proper functioning of a computer system is to represent it by using mathematical models . Many studies have been conducted using finite automata as models, in this thesis we try to extend these works to infinite models. We focus on three problems in which a system is partially observed. In this case, it is impossible to access certain internal informations. Diagnosability of a given property consist in checking, that, during the execution of the system, an observer will be able to determine with certainty that the property is verified by the system. Conversely, the opacity consists in determining if a doubt will always exist. Another application is the generation of test cases. Once again, we consider that an observer accesses only some events of the system (typically the inputs and outputs): from a specification, we automatically generate test cases, which are designed to detect non-conformance. These three problems have been studied for finite models. In this thesis, we extend their study to recursive models. For this purpose, we have introduced a new model, the RTS, which are a generalization of pushdown automata and other models of recursion. In order to solve problems of interest, we adapt the techniques used in finite models.
Document type :
Complete list of metadata

Cited literature [65 references]  Display  Hide  Download
Contributor : ABES STAR :  Contact
Submitted on : Friday, April 18, 2014 - 5:22:08 PM
Last modification on : Monday, June 27, 2022 - 3:03:37 AM
Long-term archiving on: : Monday, April 10, 2017 - 3:28:46 PM


Version validated by the jury (STAR)


  • HAL Id : tel-00980800, version 1


Sébastien Chédor. Diagnostic, opacité et test de conformité pour des systèmes récursifs. Autre [cs.OH]. Université Rennes 1, 2014. Français. ⟨NNT : 2014REN1S002⟩. ⟨tel-00980800⟩



Record views


Files downloads