Adaptability checking in complex systems

作者：Merelli Emanuela^*; Paoletti Nicola; Tesei Luca

来源：Science of Computer Programming, 2016, 115: 23-46.

DOI：10.1016/j.scico.2015.03.004

• Adaptive systems
• State machine
• Adaptability relations
• Adaptability checking
• S[B] model

A hierarchical approach for modelling the adaptability features of complex systems is introduced. It is based on a structural level S, describing the adaptation dynamics of the system, and a behavioural level B accounting for the description of the admissible dynamics of the system. Moreover, a unified system, called S[B], is defined by coupling S and B. The adaptation semantics is such that the S level imposes structural constraints on the B level, which has to adapt whenever it no longer can satisfy them. In this context, we introduce weak and strong adaptability, i.e. the ability of a system to adapt for some evolution paths or for all possible evolutions, respectively. We provide a relational characterisation for these two notions and we show that adaptability checking, i.e. deciding if a system is weakly or strongly adaptable, can be reduced to a CTL model checking problem. We apply the model and the theoretical results to the case study of a motion controller of autonomous transport vehicles.

• 出版日期2016-2