Formal Approach to Dynamic SoS Design - Archive ouverte HAL
Communication Dans Un Congrès Année : 2019

Formal Approach to Dynamic SoS Design

Résumé

This paper deals with the problem of System-of-Systems (SoS) modeling whose structure change due to thedynamics of its constituent systems as they are developed in different operating modes. Designed by usingmulti-model approach, each operating mode represents a process functioning of its system, depending on theresources to activate and requirements to enforce. Studied as a Discrete-Event System (DES), we propose ahierarchical framework for designing suitable switching control for dynamic SoS using the High Level PetriNets (HLPN). Following a bottom up approach, we model each component first in a separate sheet and thenthe operating modes. Next, systems are designed by integrating a switching mechanism to commit to differentoperating modes when switching events occur. Finally, a mechanism for managing systems dependenciesinside the SoS is proposed. Algorithms are provided to generate the different layers of HLPN permitting easyimplementation of our framework and a flexible manufacturing SoS is used to illustrate our approach.

Dates et versions

hal-02181954 , version 1 (12-07-2019)

Identifiants

Citer

Hela Kadri, Simon Collart-Dutilleul, Philippe Bon, Samir Ben Ahmed. Formal Approach to Dynamic SoS Design. ENASE 2019, 14th International Conference on Evaluation of Novel Approaches to Software Engineering, May 2019, Heraklion, France. pp377-384, ⟨10.5220/0007730903770384⟩. ⟨hal-02181954⟩
47 Consultations
0 Téléchargements

Altmetric

Partager

More