How Formal Methods Can Contribute to 5G Networks

TitleHow Formal Methods Can Contribute to 5G Networks
Publication TypeBook Chapter
Year of Publication2019
AuthorsGallardo M-del-M, Luque-Schempp F, Merino P, Panizo L
Book TitleFrom Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
PublisherSpringer International Publishing
ISBN Number978-3-030-30985-5

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.