During the last decades, various techniques have been developed to deal with diagnosis issues on Discrete Event Systems (DES). These techniques, even if they have reached a good maturity degree, need the elaboration of intermediate ad-hoc models from the original model, in order to proceed to diagnosability investigation. Instead of developing ad-hoc products between models, we have suggested a new formulation of DES diagnosability issue using a unique logical framework, μ-calculus. Therefore, diagnosability analysis is performed through the computing of successive logical relations. In this paper, a brief overview of this formulation is given, then we develop an original implementation of diagnosability investigation on the basis of the formulation. Our implementation consists of a DBMS-architecture (Database Management System) where system behavior is encoded as a set of relational tables and where diagnosability investigation is performed through an ordered sequence of queries on these tables. With this successful prototype implementation, we are confident to pave the way for applying the method on real-size systems while taking advantage of the performances of new DBMS inference engines, the decentralization facilities on DBMS and of new technologies for external storing hardware. To our knowledge, this is the first work that employs a DBMS architecture to perform diagnosability analysis on DES.
