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_10_40034


Methodology and Experience for Designing Safety-Related Systems in IEC 61508

Authors:
Zhe Chen
Gilles Motet

Keywords: safety-related system; IEC 61508; functional validity; verification; model checking; formal method; SPIN

Abstract:
The international standard IEC 61508 provides a generic process for electrical, electronic, or programmable electronic (E/E/PE) safety-related systems (SRS) to achieve an acceptable level of functional safety. This paper first proposes the concept of emph{functional validity} of SRS, based on our observation on two important problems that occur in industrial practice, i.e., the rightness of overall and allocated safety requirements and the lack of technical methodologies for validating SRS. emph{Functional validity} means whether the safety functions realized by SRS can really prevent accidents and recover the system from hazardous states, provided the expected safety integrity level is reached. Then this paper proposes a generic technical methodology to achieve the functional validity of SRS, and summarizes industrial experiences in designing functionally valid SRS. A concrete example is used to illustrate the proposed methodology.

Pages: 57 to 64

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.