How Formal Methods Can Contribute to 5G Networks
| Autor: | Pedro Merino-Gomez, María-del-Mar Gallardo, Laura Panizo, Francisco Luque-Schempp |
|---|---|
| Rok vydání: | 2019 |
| Předmět: |
Model checking
Model-based testing business.industry Computer science Runtime verification 020206 networking & telecommunications 02 engineering and technology Formal methods Software 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Software engineering business Software-defined networking 5G |
| Zdroj: | From Software Engineering to Formal Methods and Tools, and Back ISBN: 9783030309848 From Software Engineering to Formal Methods and Tools, and Back Lecture Notes in Computer Science Lecture Notes in Computer Science-From Software Engineering to Formal Methods and Tools, and Back From Software Engineering to Formal Methods and Tools, and Back-Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday |
| ISSN: | 0302-9743 1611-3349 |
| DOI: | 10.1007/978-3-030-30985-5_32 |
| Popis: | Communication networks have been one of the main drivers of formal methods since the 70’s. The dominant role of software in the new 5G mobile communication networks will once again foster a relevant application area for formal models and techniques like model checking, model-based testing or runtime verification. This chapter introduces some of these novel application areas, specifically for Software Defined Networks (SDN) and Network Function Virtualization (NFV). Our proposals focus on automated methods to create formal models that satisfy a given set of requirements for SDN and NFV. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|