---
abstract: "While pervasive systems offer versatile computing environment, their complexity poses a significant challenge to their developers. Hence ensuring resilience\r\nof 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."
accompaniment: []
book_title: ~
commentary: ~
completion_time: ~
composition_type: ~
conductors_id: []
conductors_name: []
contact_email: ~
copyright_holders: []
corp_creators: []
creators_id:
  - '"Alexei Iliasov" <Alexei.Iliasov@newcastle.ac.uk>'
  - Linas.Laibinis@abo.fi
  - alexander.romanovsky@ncl.ac.uk
  - Kaisa.Sere@abo.fi
  - Elena.Troubitsyna@abo.fi
creators_name:
  - family: Iliasov
    given: Alexei
    honourific: ''
    lineage: ''
  - family: Laibinis
    given: Linas
    honourific: ''
    lineage: ''
  - family: Romanovsky
    given: Alexander
    honourific: ''
    lineage: ''
  - family: Sere
    given: Kaisa
    honourific: ''
    lineage: ''
  - family: Troubitsyna
    given: Elena
    honourific: ''
    lineage: ''
data_type: ~
date: 2008-05
date_type: published
datestamp: 2008-05-16 14:51:33
department: ~
dir: disk0/00/00/00/24
divisions: []
edit_lock_since: ~
edit_lock_until: ~
edit_lock_user: ~
editors_id: []
editors_name: []
eprint_status: archive
eprintid: 24
event_dates: 'May 7-9, 2008'
event_location: 'Kaunas, Lithuania'
event_title: Seventh European Dependable Computing Conference (EDCC-7)
event_type: conference
exhibitors_id: []
exhibitors_name: []
fileinfo: ''
full_text_status: none
funders: []
id_number: ~
importid: ~
institution: ~
isbn: ~
ispublished: pub
issn: ~
item_issues_comment: []
item_issues_count: 0
item_issues_description: []
item_issues_id: []
item_issues_reported_by: []
item_issues_resolved_by: []
item_issues_status: []
item_issues_timestamp: []
item_issues_type: []
keywords: ~
lastmod: 2008-05-16 14:51:33
latitude: ~
learning_level: ~
longitude: ~
lyricists_id: []
lyricists_name: []
metadata_visibility: show
monograph_type: ~
note: ~
num_pieces: ~
number: ~
official_url: ~
output_media: ~
pagerange: 3-6
pages: ~
patent_applicant: ~
pedagogic_type: ~
place_of_pub: ~
pres_type: paper
producers_id: []
producers_name: []
projects:
  - DEPLOY
publication: ~
publisher: ~
refereed: TRUE
referencetext: ~
related_url_type: []
related_url_url: []
relation_type: []
relation_uri: []
rev_number: 11
series: ~
skill_areas: []
source: ~
status_changed: 2008-05-16 14:51:33
subjects:
  - Event-Bsemantics
  - deploy_method
succeeds: ~
suggestions: ~
sword_depositor: ~
sword_slug: ~
task_purpose: ~
thesis_type: ~
title: Towards Rigorous Engineering of Resilient Pervasive Systems
type: conference_item
userid: 20
volume: ~
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>