A Modeling Approach of Mobile Ad Hoc Networks Survivability Model

Survivability has become a focal point of research. Simulation is a common method for experimental verification to identify the advantages and deficiencies of survivability models and architectures. This paper proposes a modeling approach of mobile ad hoc network survivability model which support the automatic transformation to a simulation instance. A new survivability model MARC based on the idea of ARC model is conducted. Within this model, the concepts of network services and events are analyzed and formally descript in details. Base on these works, we design MARCDL and outline the important EBNF in this paper. Use of this language is illustrated by a case study.