creators_name: Iliasov, Alexei creators_name: Laibinis, Linas creators_name: Romanovsky, Alexander creators_name: Sere, Kaisa creators_name: Troubitsyna, Elena creators_id: "Alexei Iliasov" creators_id: Linas.Laibinis@abo.fi creators_id: alexander.romanovsky@ncl.ac.uk creators_id: Kaisa.Sere@abo.fi creators_id: Elena.Troubitsyna@abo.fi type: conference_item datestamp: 2008-05-16 14:51:33 lastmod: 2008-05-16 14:51:33 metadata_visibility: show title: Towards Rigorous Engineering of Resilient Pervasive Systems ispublished: pub subjects: Event-Bsemantics subjects: deploy_method full_text_status: none pres_type: paper 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. date: 2008-05 date_type: published pagerange: 3-6 event_title: Seventh European Dependable Computing Conference (EDCC-7) event_location: Kaunas, Lithuania event_dates: May 7-9, 2008 event_type: conference refereed: TRUE citation: 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.