Modeling LTE Protocol for Mobile Terminals Using a Formal Description Technique
| Autor: | David Szczesny, Attila Bilgic, Irv Badr, Shadi Traboulsi, Elizabeth Gonzalez, Anas Showk |
|---|---|
| Rok vydání: | 2009 |
| Předmět: |
Multi-core processor
Computer science business.industry 05 social sciences Message sequence chart 02 engineering and technology Access stratum Specification and Description Language Upgrade Embedded system 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Mobile technology 0509 other social sciences 050904 information & library sciences business Protocol (object-oriented programming) Formal verification computer computer.programming_language |
| Zdroj: | Lecture Notes in Computer Science ISBN: 9783642045530 SDL Forum |
| DOI: | 10.1007/978-3-642-04554-7_14 |
| Popis: | The Long Term Evolution (LTE) radio communication is the upgrade of the current 3G mobile technology with a more complex protocol in order to enable very high data rates. The usage of Model Driven Development (MDD) has arisen as a promising way of dealing with the increasing complexity of next generation mobile protocols. In this paper, a light version of the LTE protocol for the access stratum user plane is modeled using the SDL Suite™ tool. The tool shows easy understanding of the model as well as easy testing of its functionality using simulation in cooperation with Message Sequence Chart (MSC). The simulation result shows that the implemented Specification and Description Language (SDL) guarantees a good consistency with the target scenarios. The system implementation is mapped to multiple threads and integrated with an operating system to enable execution in multi core hardware platforms. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|