| Files: | Description | File size | Format | Browse |
| Fulltext | 0.40 MB | PDF (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 |
Ph.D., Lic. Theses
