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

Towards Rigorous Engineering of Resilient Pervasive Systems

Alexei Iliasov, Linas Laibinis, Alexander Romanovsky, Kaisa Sere, Elena Troubitsyna, Towards Rigorous Engineering of Resilient Pervasive Systems. In: Ricardo Jiménez-Peris Algirdas Avizienis (Ed.), Proceedings of Seventh European Dependable Computing Conference (EDCC-7), IEEE Press, 2008.

Abstract:

While pervasive systems offer versatile computing environment, their complexity poses a
significant challenge to their developers. Hence ensuring resilience of pervasive systems is an
important issue, which should be tackled by adopting rigorous design methods and systems
approach. In this short paper we identify the key research directions in engineering pervasive
resilient systems and our experience in rigorous development of a multi-agent application called
Ambient Campus.

BibTeX entry:

@INPROCEEDINGS{inpIlLaRoSeTr08a,
  title = {Towards Rigorous Engineering of Resilient Pervasive Systems},
  booktitle = {Proceedings of Seventh European Dependable Computing Conference (EDCC-7)},
  author = {Iliasov, Alexei and Laibinis, Linas and Romanovsky, Alexander and Sere, Kaisa and Troubitsyna, Elena},
  editor = {Algirdas Avizienis, Ricardo Jiménez-Peris},
  publisher = {IEEE Press},
  year = {2008},
}

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

Edit publication