A Taxonomy for Modelling Safety Related Architectures in Compliance with Functional Safety Requirements

Berthing, Jesper; Maier, Τ.

doi:10.1007/978-3-540-75101-4_47

Cited by 2 publications

(3 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The safety-critical system we will discuss is taken from Berthing et al [13]. The reason for choosing this system is that the paper was the only one we could find which gives detailed information about the applied IEC 61508 techniques …”

Section: A System Descriptionmentioning

confidence: 99%

Applying and Evaluating Architectural IEC 61508 Safety Patterns

Preschern¹,

Kajtazovic²,

Kreiner³

2014

LNSE

View full text Add to dashboard Cite

Abstract-An important step for developing a safety-critical system is the design of its architecture. The IEC 61508 standard provides a set of architectures (1oo2, 2oo3, ...) on a high level. It is left up to the system architect to refine these architectures and to come up with a set of methods which achieve the safety goals of the system. A pool of these methods is listed in part 7 of the IEC 61508 standard. However, especially for novel safety architects choosing appropriate methods and arguing for system safety through the application of these methods is rather difficult.In this paper we present the application of safety patterns in order to address this problem. Our safety patterns connect IEC 61508 methods to the high level architecture to provide a way to reason about a system's safety. We apply a safety pattern to two real case studies and we evaluate the pattern by comparing the IEC 61508 methods suggested by the pattern to the IEC 61508 methods actually chosen by the real system architectures.Index Terms-Design patterns, functional safety, IEC 61508.

show abstract

Section: A System Descriptionmentioning

confidence: 99%

Applying and Evaluating Architectural IEC 61508 Safety Patterns

Preschern¹,

Kajtazovic²,

Kreiner³

2014

LNSE

View full text Add to dashboard Cite

show abstract

“…All the functions corresponding to different operations have to take the I/O current configuration and states into consideration before executing its desired operations. There is a typical safety-critical application from industrial domain [7]: a safetyrelated module for a frequency converter used to control the speed of an electrical motor. E.g.…”

Section: I/o Sharing Managementmentioning

confidence: 99%

“…The model only takes care of the high level components, their implementation in hardware or software, and the interaction. It's represented intuitively by the extended safety architecture taxonomy [7]. Black color represents components implemented in hardware and grey color means in software.…”

Section: I/o Sharing Managementmentioning

confidence: 99%

I/O Sharing in a Multi-core Kernel for Mixed-Criticality Applications

Top

2013

IFIP Advances in Information and Communication Technology

View full text Add to dashboard Cite

Abstract. In a mixed-criticality system, applications with different safety criticality levels are usually required to be implemented upon one platform for several reasons( reducing hardware cost, space, power consumption). Partitioning technology is used to enable the integration of mixed-criticality applications with reduced certification cost. In the partitioning architecture of strong spatial and temporal isolation, fault propagation can be prevented among mixed-criticality applications (regarded as partitions). However, I/O sharing between partitions could be the path of fault propagation that hinders the partitioning. E.g. a crashed partition generates incorrect outputs to shared I/Os, which affects the functioning of another partition. This paper focuses on a message-based approach of I/O sharing in the HARTEX real-time kernel on a multicore platform. Based on a simple multi-core partitioning architecture, a certifiable I/O sharing approach is implemented based on a safe message mechanism, in order to support the partitioning architecture, enable individual certification of mixed-criticality applications and thus achieve minimized total certification cost of the entire system.

show abstract

A Taxonomy for Modelling Safety Related Architectures in Compliance with Functional Safety Requirements

Cited by 2 publications

References 3 publications

Applying and Evaluating Architectural IEC 61508 Safety Patterns

Applying and Evaluating Architectural IEC 61508 Safety Patterns

I/O Sharing in a Multi-core Kernel for Mixed-Criticality Applications

Contact Info

Product

Resources

About