Files:DescriptionFile size FormatBrowse
Fulltext0.40 MBPDF (requires Acrobat Reader)Previous
  
Authors:Linas Laibinis: Åbo Akademi University, Finland
Elena Troubitsyna: Åbo Akademi University, Finland
Sari Leppänen: Nokia Research Center, Finland
Publication title:Modelling Fault Tolerance and Parallelism in Communicating Systems
Conference:NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009
Publication type: Abstract and Fulltext
Issue:041
Article No.:009
Abstract:Telecommunication systems should have a high degree of availability, i.e., high probability of correct provision of requested services. To achieve this, correctness of software for such systems and system fault tolerance should be ensured. In this paper we show how to formalise and extend Lyra – a top-down service-oriented method for development of communicating systems. In particular, we focus on integration of fault tolerance mechanisms into the entire Lyra development flow.
Language:English
Year:2009
No. of pages:10
Pages:67-76
Series:Linköping Electronic Conference Proceedings
ISSN (print):1650-3686
ISSN (online):1650-3740
File:http://www.ep.liu.se/ecp/041/009/ecp0941009.pdf
Available:2009-07-14
Publisher:Linköping University Electronic Press, Linköpings universitet

REFERENCE TO THIS PAGE
Linas Laibinis, Elena Troubitsyna, Sari Leppänen (2009). Modelling Fault Tolerance and Parallelism in Communicating Systems, NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009 http://www.ep.liu.se/ecp_article/index.en.aspx?issue=041;article=009 (accessed 4/19/2014)