首页> 外文会议>IEEE International Symposim on High Assurance Systems Engineering >First principles applied to software safety - the novel use of silicon machinery
【24h】

First principles applied to software safety - the novel use of silicon machinery

机译:应用于软件安全的第一个原则 - 新颖使用硅机械

获取原文

摘要

Presents a methodology that may provide a radical new way of assuring the safety of software-based systems through a novel application of first principles enabled by micro-electromechanical systems (MEMS) technology, i.e. silicon machinery. 'First principles' is defined as theory that is defensible through fundamental laws of nature in the chemical, physical or mechanical structure of materials or assemblages thereof. The proposed methodology is limited to 'passive safety' applications, i.e. those where a potential hazard is mitigated (assured safe) by means that do not require action or energy to maintain. The proposed methodology is based upon long-standing safety principles employed in nuclear weapons. It is proposed that two of these long-established principles be applied to high-consequence software systems. The nuclear weapon stronglink and the unique signal (UQS) concept are fundamental to nuclear weapon safety and represent the conceptual genesis of the approach taken in this paper. Incompatibility and isolation are the two fundamental nuclear weapon safety principles made possible by the nuclear weapon stronglink and UQS concepts.
机译:呈现一种方法,该方法可以通过新颖的应用微机电系统(MEMS)技术(即,硅机械,确保基于软件系统的安全性的新方法。 “第一个原则”被定义为理论,通过在材料或其组合的化学,物理或机械结构中,通过基本的性质来辩护。所提出的方法限于“被动安全”应用,即通过不需要行动或能量来维持的潜在危害(保证安全)的那些。该拟议的方法基于核武器的长期安全原则。建议将这些长期原则中的两个应用于高后果软件系统。核武器强调和独特的信号(UQS)概念是核武器安全的基础,代表了本文采取的方法的概念创造。不相容性和隔离是核武器强行和UQS概念所取得的两个基本核武器安全原则。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号