Authors: Hamza Cherif Bouchaour; Hafid Haffaf
Addresses: Department of Computer Science, Faculty of Sciences, Research Laboratory in Industrial Computing and Networks (LRIIR), Oran1 University Ahmed Ben Bella, P.O. Box 1524, El M'Naouar, Oran, Algeria ' Department of Computer Science, Faculty of Sciences, Research Laboratory in Industrial Computing and Networks (LRIIR), Oran1 University Ahmed Ben Bella, P.O. Box 1524, El M'Naouar, Oran, Algeria
Abstract: This article focuses on the ability of system of systems (SoS) to cope with failures of one of its constituents. The aim is to avoid the collapse of the whole system. To find a new state of the operation, we introduce a hypergraphic model-based supervision framework dedicated to SoS. It involves two main steps named the modelling and the reconfiguration. Our main objective is to reduce computational complexity of the supervision procedure. For the modelling part, given the high density of connections of the hypergraph representing SoS, we propose to decompose this model by means of the hypergraph tree-based acyclicity property. The latter yields a resolution of the problem in a linear time. For the reconfiguration part, we introduce a new subgraph isomorphism procedure enhanced by a filtering function. The lens is to deal with the hypergraphs constraints of complexity induced by such method. Finally, constraint programming method, and according to solver approaches, some models are implemented.
Keywords: SoS; hypergraph; constraint satisfaction; acyclicity; subgraph isomorphism; computational complexity.
International Journal of System of Systems Engineering, 2019 Vol.9 No.2, pp.117 - 138
Received: 28 Jul 2018
Accepted: 24 Oct 2018
Published online: 25 Jun 2019 *