Formal Approach to Dynamic SoS Design

Hela Kadri, Simon Collart-Dutilleul, Philippe Bon, Samir Ben Ahmed

2019

Abstract

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

Download


Paper Citation


in Harvard Style

Kadri H., Collart-Dutilleul S., Bon P. and Ben Ahmed S. (2019). Formal Approach to Dynamic SoS Design.In Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-375-9, pages 377-384. DOI: 10.5220/0007730903770384


in Bibtex Style

@conference{enase19,
author={Hela Kadri and Simon Collart-Dutilleul and Philippe Bon and Samir Ben Ahmed},
title={Formal Approach to Dynamic SoS Design},
booktitle={Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2019},
pages={377-384},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007730903770384},
isbn={978-989-758-375-9},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - Formal Approach to Dynamic SoS Design
SN - 978-989-758-375-9
AU - Kadri H.
AU - Collart-Dutilleul S.
AU - Bon P.
AU - Ben Ahmed S.
PY - 2019
SP - 377
EP - 384
DO - 10.5220/0007730903770384