Mobile Systems Development - A literature review <s> Modeling techniques <s> Two state-of-the-art design methodologies for embedded applications allowing rapid system prototyping are presented in this paper. These methodologies are currently under evaluation, for the development of a Mobile Communications Processor capable to undertake the execution of all the baseband processing of a Multi-mode Terminal supporting DECT and GSM/DCS protocols. <s> BIB001 </s> Mobile Systems Development - A literature review <s> Modeling techniques <s> This paper presents a formal framework for modelling and analysing mobile systems. The framework comprises a collection of models of the dominant design paradigms which are readily extended to incorporate details of particular technologies, i.e., programming languages and their run-time support, and applications. The modelling language is Object-Z, an extension of the well-known Z specification language with explicit support for object-oriented concepts. Its support for object orientation makes Object-Z particularly suited to our task. The system structuring techniques offered by object-orientation are well suited to modelling mobile systems. In addition, inheritance and polymorphism allow us to exploit commonalities in mobile systems by defining more complex models in terms of simpler ones. <s> BIB002 </s> Mobile Systems Development - A literature review <s> Modeling techniques <s> This paper proposes a new methodology for the system design and development of wireless network protocols. The proposed methodology used UML and its real-time extensions at its basis. This system design methodology formalizes the system specification and validation phases. Furthermore, wireless system design is enhanced by the concept of high-level system codesign, which can be achieved by the use of UML in the system design. The presented methodology has been applied to the design of the industrial prototype implementation of a wireless network node based on the HIPERLAN/2 standard. The system design of the HIPERLAN/2 prototype is presented in details, with special information given on the system architecture and the implementation of the hardware and software parts of the system. The application of the presented system methodology helped in the reduction of the development time and effort for the HIPERLAN/2 prototype <s> BIB003
Because of the advances in wireless technologies the level of complexity for the underlying system architecture rises. Furthermore, as complexity rises, time-to-market is as important as ever. This calls for a powerful modeling and design methodology ensuring robust and rapid development. The increased complexity leads to at least four desirable capabilities within modeling and development of mobile systems: controllable abstraction, reusability, analysis of capabilities, and a high level of abstraction BIB001 . Considering these desired capabilities we may say that this "implies the need for an object based approach" (Metafas, Karathanasis et al. 1996, p. 123) . These modeling and architectural considerations seems to have been agreed upon in the later contributions within this field. BIB002 proposes an extension of the specification language Object-Z  to enable scalable and intuitive implementation of mobile applications. The Object-Z specification language is an object-oriented approach. Smith (2004, p. 193) argues that the properties of "inheritance and polymorphism allow us to exploit commonalities in mobile systems by defining more complex models in terms of simpler ones". Similar attempts at applying object-oriented approaches to modeling of mobile systems have been proposed. BIB003 apply an extension of the unified modeling language (UML), namely UML-R (unified modeling language for real-time). The obvious benefit of UML is the already predominant use of UML in practice, implying that the applicability of UML must be conceived as high among designers. To test the applicability of UML-R, BIB003 evaluate a development project applying the UML-R design language. The evaluation showed a reduction in development time and the methodology also proved to be highly beneficial as a tool for abstraction when several development teams collaborated in co-design of the resulting mobile system BIB003 ).