• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Formal Service-Oriented Development of Fault Tolerant Communicating Systems

Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik, Formal Service-Oriented Development of Fault Tolerant Communicating Systems. In: Proceedings of REFT 2005 - the Workshop on Rigorous Engineering of Fault Tolerant Systems, 2005.

Abstract:

Telecommunicating systems should have a high degree of availability, i.e., high probability of correct and timely provision of requested services. To achieve this, correctness of software for such systems should be ensured. Application of formal methods helps us to gain confidence in building correct software. However, to be used in practice, the formal methods should be well integrated into existing development process. In this paper we propose a formal model-driven approach to development of telecommunicating systems. Essentially their approach formalizes Lyra – a top-down service-oriented method for development of telecommunicating systems developed in Nokia. Lyra is based on transformation and decomposition of models expressed in UML2. We formalize Lyra in the B Method by proposing a set of formal specification and refinement patterns reflecting the essential models and transformations of Lyra. The proposed approach is illustrated by a case study.

BibTeX entry:

@INPROCEEDINGS{inpLaTrLeLiMa05a,
  title = {Formal Service-Oriented Development of Fault Tolerant Communicating Systems},
  booktitle = {Proceedings of REFT 2005 - the Workshop on Rigorous Engineering of Fault Tolerant Systems},
  author = {Laibinis, Linas and Troubitsyna, Elena and Leppänen, Sari and Lilius, Johan and Malik, Qaisar},
  year = {2005},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab), Embedded Systems Laboratory (ESLAB)

Edit publication