SCS:安全关键系统和软件
第55卷
2006年4月
没有可用的摘要。
在过去的25年里,世界各地采取了许多举措来制定指导方针和标准,以便安全利用用于安全应用的可编程电子系统。在工业应用背景下(到。。。
作为安全关键软件开发的一部分,软件安全标准的应用通常被视为任何安全程序的基本要素。然而,安全从业者很少会后退一步,对两者进行批判性评估。。。
安全事故研究通常将人为因素作为事故的主要原因。1984年,博帕尔的人为失误——未能遵守安全操作程序——导致数千人死于氰化物中毒。在这种情况下,人类。。。
高完整性软件系统往往太大,以至于传统的开发过程无法达到可容忍的缺陷率。本文介绍了通过构造实现正确性(CbyC),这是一种提供了非常低的缺陷。。。
本文描述了DSTO目前正在开发的HIVE(层次验证环境)。HIVE是一种开发、评估和认证复杂关键系统的新方法。HIVE旨在提供一个统一的。。。
本文描述了一种开发高保证系统软件的方法。我们通过将特定技术和工具与不同级别的系统需求相匹配,演示了如何在开发过程中应用不同的形式化方法。。。
《职业健康与安全(联邦雇员)法案》(OH&S法案)和澳大利亚皇家海军(RAN)的技术法规都规定了国防部在其系统安全方面的义务。RAN的技术。。。
2005年1月,英国国防部发布了国防标准00-56(MOD 2004)第3版。本标准为安全管理以及防御设备和服务的工程安全提供了一个全面的结构。标准动作。。。
澳大利亚国防标准Def(Aust)5679最初于1998年8月发布,标题为“基于计算机的安全关键系统的采购”。Def(Aust)5679目前正在修订中。本文介绍了标准和。。。
近年来,人们提出了许多形式化的方法来提高安全关键型软件系统的质量。这些方法包括新的规范和建模语言以及形式化验证技术,如模型检查和。。。
目前,铁路联锁系统的开发是非常劳动密集型的。专家为特定区域开发联锁设计,并手动检查完整性和一致性。联锁在任一软件中实现。。。
概述和参考
交叉计算工具和技术
验证
社交和专业话题
专业主题
计算和信息系统管理
项目和人员管理
软件管理
系统管理
质量保证
软件及其工程
软件创建和管理
软件开发过程管理
软件验证和确认
正式软件验证
软件符号和工具
软件配置管理和版本控制系统
软件组织和属性
软件功能属性
形式化方法
软件验证
计算理论
语义和推理
程序推理
程序验证
我们正在准备下载您的搜索结果。。。
文件准备好后,我们会在这里通知您。
您的搜索结果引用文件现已准备就绪。
您的搜索导出查询已过期。请重试。