Towards modeling and runtime verification of self-organizing systems
作者：
Highlights：
• A method for design and verification of self-organizing systems is proposed.
• The proposed method is: modular, robust and scalable.
• The proposed method does structural and safe adaptation.
• A novel runtime verification method to verify self-organizing systems is employed.
• A specific instance of self-organizing traffic management system is presented.
摘要
•A method for design and verification of self-organizing systems is proposed.•The proposed method is: modular, robust and scalable.•The proposed method does structural and safe adaptation.•A novel runtime verification method to verify self-organizing systems is employed.•A specific instance of self-organizing traffic management system is presented.
论文关键词：Self-organization,Formal modeling,Runtime verification,HPobSAM
论文评审过程：Received 10 May 2014, Revised 8 September 2015, Accepted 8 September 2015, Available online 16 September 2015, Version of Record 10 November 2015.
论文官网地址：https://doi.org/10.1016/j.eswa.2015.09.008
