• Corpus ID: 6410401

An Overview of IEC 61508 on E / E / PE Functional Safety

@inproceedings{Ladkin2008AnOO,
  title={An Overview of IEC 61508 on E / E / PE Functional Safety},
  author={Peter B. Ladkin},
  year={2008}
}
The International Electrotechnical Commission is the organisation which develops and sets international standards in electrotechnical engineering areas. In 1997 the IEC published the standard IEC 61508, Functional safety of electrical/electronic/programmable electronic safety-related systems. The phrase “electrical/electronic/programmable electronic” is cumbersome and is often shortened to E/E/PE, which some pronounce “ee-ee-pee-ee” and others such as myself “eepee”. 
Functional Safety of Software-Based Critical Systems
The international standard for functional safety of systems involving programmable-electronic components, IEC 61508, has been valid since the late 1990's, and Version 2 has just become valid [IEC10].
Assessment of Model-based Methodologies to Architect Cyber-Physical Systems
TLDR
This work identifies the specific challenges of CPSs and proposes a tailored engineering framework for CPS design, which represents a blueprint for future CPS projects and combines the strengths of the analyzed methods and concepts from all three domains -- model-based, cyber-space engineering and currently available solutions or strategies.
Using model-based analysis in certification of critical software-intensive systems
TLDR
Some of the capabilities of modern model-based analysis methods are shown and how they possibly could be used in safety engineering resp.
Ontological Hazard Analysis of a Communications Bus
TLDR
There are many introductory hazard analyses (HazAn) of engineered system designs to be found in safety textbooks and these include pressure vessel with relief system, reactor protection system, and partially-redundant electrical supply system.
Using Tool-Supported Model Based Safety Analysis -- Progress and Experiences in SAML Development
TLDR
A new tool to intuitively create probabilistic, non-deterministic and deterministic specifications for formal analysis is presented to give tool-support during modeling and thus make building a formal model less error-prone.
Towards model-driven safety analysis
TLDR
SAML is a tool-independent modeling framework that allows for the construction of models with both non-deterministic and probabilistic behavior that makes it an ideal intermediate language for a model-driven safety analysis approach.
SAML goes eclipse — Combining model-based safety analysis and high-level editor support
TLDR
The current state of S3E and first experiences with the eclipse plug-in development are presented and a proposed safety analysis modeling language (SAML) framework, which integrates a complete safety analysis environment into the eclipse platform, is proposed.
A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis
TLDR
This paper proposes the SAML framework as a formal foundation for both qualitative and quantitative formal model-based safety analysis, and presents sound transformation of the formalism into two state of the art model-checking notations.
Probabilistic Model-Based Safety Analysis
TLDR
This paper shows how functional models based on synchronous parallel semantics, which can be used for system design, implementation and qualitative safety analysis, can be directly re-used for (model-based) quantitative safety analysis.
Safe Navigation of a Wall-Climbing Robot - Risk Assessment and Control Methods
TLDR
This thesis addresses the problem of safe navigation in the range of wall-climbing robots using negative pressure adhesion in combination with a drive system and shows that the prototypic robot is able to detect and avoid risky patches and obstacles and that navigation safety could be improved tremendously.
...
1
2
...