A formal model for specification and optimization of flexible communication systems

The trend towards multi-function and multistandard communication systems makes the development process more complicated than before. One of the key challenges, which has to be addressed, is the system-level architecture exploration, where a suitable system architecture has to be derived in the very early stage of a design. Available solutions are almost ineffective when targeting this design challenge. One basic problem is the lack of an appropriate formal model, which focuses on the specification and optimization of reconfigurable or adaptive communication system. Based on such a formal model, computer aided system-level architecture exploration can be performed and the design process can be greatly simplified. In this paper, a new design methodology based upon a formal model is proposed, which will provide a solution to the design of flexible communication systems.