SoftNet 2016
August 21 - 25, 2016 - Rome, Italy

  • ICSEA 2016, The Eleventh International Conference on Software Engineering Advances
  • ICSNC 2016, The Eleventh International Conference on Systems and Networks Communications
  • CENTRIC 2016, The Ninth International Conference on Advances in Human-oriented and Personalized Mechanisms, Technologies, and Services
  • VALID 2016, The Eighth International Conference on Advances in System Testing and Validation Lifecycle
  • SIMUL 2016, The Eighth International Conference on Advances in System Simulation
  • SOTICS 2016,The Sixth International Conference on Social Media Technologies, Communication, and Informatics
  • INNOV 2016, The Fifth International Conference on Communications, Computation, Networks and Technologies
  • HEALTHINFO 2016, The First International Conference on Informatics and Assistive Technologies for Health-Care, Medical Support and Wellbeing

NexTech 2016
October 9 - 13, 2016 - Venice, Italy

  • UBICOMM 2016, The Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies
  • ADVCOMP 2016, The Tenth International Conference on Advanced Engineering Computing and Applications in Sciences
  • SEMAPRO 2016, The Tenth International Conference on Advances in Semantic Processing
  • AMBIENT 2016, The Sixth International Conference on Ambient Computing, Applications, Services and Technologies
  • EMERGING 2016, The Eighth International Conference on Emerging Networks and Systems Intelligence
  • DATA ANALYTICS 2016, The Fifth International Conference on Data Analytics
  • GLOBAL HEALTH 2016, The Fifth International Conference on Global Health Challenges
  • CYBER 2016, The First International Conference on Cyber-Technologies and Cyber-Systems

InfoWare 2016
November 13 - 17, 2016 - Barcelona, Spain

  • ICCGI 2016, The Eleventh International Multi-Conference on Computing in the Global Information Technology
  • ICWMC 2016, The Twelfth International Conference on Wireless and Mobile Communications
  • QoSE WMC 2016, The First International Workshop on QoS and Energy-aware Algorithms and Protocols in Wireless and Mobile Communications
  • VEHICULAR 2016, The Fifth International Conference on Advances in Vehicular Systems, Technologies and Applications
  • INTERNET 2016, The Eighth International Conference on Evolving Internet
  • COLLA 2016, The Sixth International Conference on Advanced Collaborative Networks, Systems and Applications
  • INTELLI 2016, The Fifth International Conference on Intelligent Systems and Applications
  • InManEnt 2016, The International Symposium on Intelligent Manufacturing Environments
  • VISUAL 2016, The First International Confernece on Applications and Systems of Visual Paradigms
  • HUSO 2016, The Second International Conference on Human and Social Analytics
  • BRAININFO 2016, The First International Conference on Neuroscience and Cognitive Brain Information

 


ThinkMind // DEPEND 2011, The Fourth International Conference on Dependability // View article depend_2011_3_30_40055


On Methods for the Formal Specification of Fault Tolerant Systems

Authors:
Manuel Mazzara

Keywords: Methods; Layered Fault Tolerant Specification; Problem Frames; Rely/Guarantee.

Abstract:
This paper introduces different views for understanding problems and faults with the goal of defining a method for the formal specification of systems. The idea of Layered Fault Tolerant Specification (LFTS) is proposed to make the method 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 progress toward this method and this way to organize fault tolerant specifications has been made experimenting on case studies and an example is presented.

Pages: 72 to 81

Copyright: Copyright (c) IARIA, 2011

Publication date: August 21, 2011

Published in: conference

ISSN: 2308-4324

ISBN: 978-1-61208-149-6

Location: Nice/Saint Laurent du Var, France

Dates: from August 21, 2011 to August 27, 2011

SERVICES CONTACT
2010 - 2015 © ThinkMind. All rights reserved.
Read Terms of Service and Privacy Policy.