Industrial deployment of system engineering methods providing high dependability and productivity

 

Towards Rigorous Engineering of Resilient Pervasive Systems

Iliasov, Alexei and Laibinis, Linas and Romanovsky, Alexander and Sere, Kaisa and Troubitsyna, Elena (2008) Towards Rigorous Engineering of Resilient Pervasive Systems. In: Seventh European Dependable Computing Conference (EDCC-7), May 7-9, 2008, Kaunas, Lithuania.

Full text not available from this repository.

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.

Item Type:Conference or Workshop Item (Paper)
Subjects:Event-B
Methodology
ID Code:24
Deposited By:Mr. Linas Laibinis
Deposited On:16 May 2008 15:51
Last Modified:16 May 2008 15:51

Repository Staff Only: item control page

Deploy-Project - All right reserved