Multi-level modeling of wireless embedded systems

The design of wireless embedded systems needs their efficient and realistic simulation to verify that requirements are met. The reproduction of communication behavior is crucial to assess the performance of hardware and software components, e.g., dependability and energy consumption. This work presents and discusses different levels of abstraction for the simulation of the communication behavior. Each level addresses different aspects of the communication and allows to specify different kinds of detail; furthermore, it requires a specific modeling approach. Their use and the corresponding computational overhead is shown in the specific case of the Bluetooth standard. We also show that simulation results obtained at a low abstraction level can be used at a higher one to drive design choices.