Towards modeling and runtime verification of self-organizing systems
详细信息 查看全文
- 作者：Bahareh Abolhasanzadeh ; bahareh.abolhasanzadeh@gmail.com" class="auth_mail" title="E-mail the corresponding author ; Saeed Jalili sjalili@modares.ac.ir" class="auth_mail" title="E-mail the corresponding author
- 关键词：Self-organization ; Formal modeling ; Runtime verification ; HPobSAM
- 刊名：Expert Systems with Applications
- 出版年：2016
- 出版时间：February 2016
- 年：2016
- 卷：44
- 期：Complete
- 页码：230-244
- 全文大小：2714 K
文摘
- •
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.