Formal Methods for Telecommunication Protocols, Telecommunication Software and Telecommunication Services
Formal methods are precise languages and techniques for specifying and analyzing telecommunication systems. In applications, notably those that demand high standards, the use of formal methods is highly desirable and may even be mandated. Telecommunication systems are expected to be very reliable and clearly defined. These systems, their protocols, software and services can be very complex and time critical. They may have to operate on a variety of equipment, and several parties may contribute to providing the service. Services may even be safely-critical, for example for handling emergency calls. The rigor offered by a formal method is attractive. However, there are major challenges to be met in applying formal methods to services. Some issues are purely technical, such as the expressive power of a language or the practicability of analyzing complex specifications. Other issues are more pragmatic, such as the usability of a method or the commercial support for it.
A kutatási beszámolóban leírt tevékenységen kivül mentori tevékenységet láttam el az Erős Levente és Csöndes Tibor által készitett alábbi cikk szakmai munkálatai során: Model-Driven Performance Testing and Underperformance Diagnostics of Communicating Systems. Prepared to the Journal of Computer Science and Technology.
Csopaki Gyula, Dr., Tud. főmunkatárs, BME- Távközlési és Médiainformatikai Tsz. csopaki@tmit.bme.hu
A teljes kutatásibeszámoló letölthető innen (PDF)
2011.június 30.