首页> 外文会议>IEEE International Symposium on Real-Time Distributed Computing >ODRE Workshop: Using SIL Arithmetic to Design Safe and Secure Systems
【24h】

ODRE Workshop: Using SIL Arithmetic to Design Safe and Secure Systems

机译:ODRE研讨会:使用SIL算法设计安全系统

获取原文

摘要

In a safety-critical system each service has a specific level of safety criticality. Safety standards use classifications like Safety Integrity Levels (SIL), to describe the design requirements for the individual services of a system. Techniques like redundancy can be used to achieve a higher overall dependability than the used individual components provide. Using the notion of SIL, this can be called SIL arithmetic.In this paper we describe the concept of SIL arithmetic and point out how different safety standards provide hints for their support of using SIL arithmetic. We highlight the principal benefits of SIL arithmetic and provide simple examples. But the use of SIL arithmetic in a concrete system design can also have its pitfalls, which we also discuss in this paper. We specifically discuss these issues in the context of scheduling techniques for mixed-criticality systems, where resource shortages are to be handled by the scheduler.
机译:在安全关键系统中,每项服务都具有特定级别的安全关键性。安全标准使用安全完整性等级(SIL)等分类来描述系统各个服务的设计要求。可以使用诸如冗余之类的技术来实现比所使用的单个组件更高的总体可靠性。使用SIL的概念,这可以称为SIL算术。本文中,我们描述了SIL算术的概念,并指出了不同的安全标准如何为其使用SIL算术提供支持。我们重点介绍了SIL算术的主要优点,并提供了简单的示例。但是在具体的系统设计中使用SIL算术也会有其陷阱,我们还将在本文中进行讨论。我们在混合关键系统的调度技术的上下文中具体讨论了这些问题,在这些技术中,资源短缺将由调度程序处理。

著录项

获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号