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 10/21/2014)