Applying formal methods for the design of wireless telecommunication systems

Konstantinos Antonis; Nikolaos S Voros

3rd International ICST Conference on Mobile Multimedia Communications

Research Article

Applying formal methods for the design of wireless telecommunication systems

Download541 downloads

Cite: BibTeX Plain Text

@INPROCEEDINGS{10.4108/ICST.MOBIMEDIA2007.1617,
    author={Konstantinos Antonis and Nikolaos S Voros},
    title={Applying formal methods for the design of wireless telecommunication systems},
    proceedings={3rd International ICST Conference on Mobile Multimedia Communications},
    proceedings_a={MOBIMEDIA},
    year={2010},
    month={5},
    keywords={Wireless systems formal methods B language hardware/software codesign.},
    doi={10.4108/ICST.MOBIMEDIA2007.1617}
}

Konstantinos Antonis
Nikolaos S Voros
Year: 2010
Applying formal methods for the design of wireless telecommunication systems
MOBIMEDIA
ICST
DOI: 10.4108/ICST.MOBIMEDIA2007.1617

Konstantinos Antonis¹^,*, Nikolaos S Voros²^,*

1: Dept. of Informatics and Computer Technology TEI of Lamia 3rd km Old National Road Lamia – Athens, 35100, Lamia, Greece
2: Dept. of Communication Systems and Networks TEl of Mesolonghi Ethniki Odos Antiriou Nafpaktou, Varia Nafpaktos 30300, Greece

*Contact email: k_antonis@teilam.gr, voros@teimes.gr

Abstract

The increasing complexity of modern telecommunication systems is one of the main issues encountered in most telecom products. Despite the plethora of methods and tools for efficient system design, verification and validation phases are still consuming significant part of the overall design time. The proposed approach outlines the use of the B method/language for producing correct-by-construction implementations of telecommunication systems. The method described is supported by appropriate tools that automate the process of proving that system properties are maintained during the various design stages. The feasibility of the latter is evaluated in practice through the design of a real world telecom application, borrowed from the domain of wireless telecommunication networks.

Keywords: Wireless systems formal methods B language hardware/software codesign.

Published: 2010-05-16
Modified: 2011-09-19

: http://dx.doi.org/10.4108/ICST.MOBIMEDIA2007.1617