---
abstract: "This paper introduces different views for understanding\r\nproblems and faults with the goal of defining a method\r\nfor the formal specification of systems. The idea of Layered\r\nFault Tolerant Specification (LFTS) is proposed to make the\r\nmethod extensible to fault tolerant systems. The principle is layering the specification in different levels, the first one for the normal behavior and the others for the abnormal. The abnormal behavior is described in terms of an Error Injector (EI), which represents a model of the erroneous interference coming from the environment. This structure has been inspired by the notion of idealized fault tolerant component but the combination of LFTS and EI using Rely/Guarantee reasoning to describe their interaction can be considered as a novel contribution. The\r\nprogress toward this method and this way to organize fault\r\ntolerant specifications has been made experimenting on case\r\nstudies and an example is presented."
accompaniment: []
book_title: ~
commentary: ~
completion_time: ~
composition_type: ~
conductors_id: []
conductors_name: []
contact_email: ~
copyright_holders: []
corp_creators: []
creators_id:
  - manuel.mazzara@newcastle.ac.uk
creators_name:
  - family: Mazzara
    given: Manuel
    honourific: ''
    lineage: ''
data_type: ~
date: 2011
date_type: ~
datestamp: 2011-06-13 17:23:02
department: ~
dir: disk0/00/00/03/12
divisions: []
edit_lock_since: ~
edit_lock_until: 0
edit_lock_user: ~
editors_id: []
editors_name: []
eprint_status: archive
eprintid: 312
event_dates: ~
event_location: ~
event_title: DEPEND 2011
event_type: conference
exhibitors_id: []
exhibitors_name: []
fileinfo: /style/images/fileicons/application_pdf.png;/312/1/DEPEND_2011.pdf
full_text_status: public
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: 2011-06-13 17:23:02
latitude: ~
learning_level: ~
longitude: ~
lyricists_id: []
lyricists_name: []
metadata_visibility: show
monograph_type: ~
note: ~
num_pieces: ~
number: ~
official_url: ~
output_media: ~
pagerange: ~
pages: ~
patent_applicant: ~
pedagogic_type: ~
place_of_pub: ~
pres_type: paper
producers_id: []
producers_name: []
projects: []
publication: ~
publisher: ~
refereed: TRUE
referencetext: ~
related_url_type: []
related_url_url: []
relation_type: []
relation_uri: []
rev_number: 23
series: ~
skill_areas: []
source: ~
status_changed: 2011-06-13 17:23:02
subjects:
  - deploy_method_comp
  - deploy_method_reqevo
  - deploy_method_resil
succeeds: ~
suggestions: ~
sword_depositor: ~
sword_slug: ~
task_purpose: ~
thesis_type: ~
title: On Methods for the Formal Specification of Fault Tolerant Systems
type: conference_item
userid: 217
volume: ~
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>