Standard for Software Engineering of Safety Critical Softwaredoi:AECL CE-1001-STD Revision 2本标准适用于核电站实时保护系统中使用的安全关键软件的软件工程.软件工程包括软件需求定义,软件设计,代码实施,需求验证,设计验证,代码验证,危害分析,测试,可靠性鉴定,规划,配置管理和培训过程.本标准适用于安全关键软件,该...
Guest presenter Vance Hilderman, CEO of the safety-critical systems and software engineering company AFuzion, explains how to build, maintain and reuse a rock-solid requirements foundation. Topics: Safety-critical system and software requirements basics and mistakes to avoid ...
This paper sets out to examine the role of standards in the development of safety-critical software. It starts with a brief discussion on the nature and role of standards and then moves on to identify some of the standards making bodies. Safety-critical software is next discussed and the prob...
Whether you need a safety-critical software, hardware, or solutions provider, trust Performance's 25 year legacy.
Safety Critical Software 翻译结果2复制译文编辑译文朗读译文返回顶部 security demanding software; 翻译结果3复制译文编辑译文朗读译文返回顶部 Safety-critical software 翻译结果4复制译文编辑译文朗读译文返回顶部 Security demanding software 翻译结果5复制译文编辑译文朗读译文返回顶部 ...
Safety-critical Partitioned Software Architecture: A Partitioned Software Architecture for Robotic Spacecraft Safety- critical Partitioned Software Architecture: A PartitionedSoftware Architecture for Robotic Spacecraft [ C ]// Proceedings of Infotech@ Aerospace Conference 2011. [ S. 1. ] :AIAA,2011:...
This paper introduces the software design specification and analysis technique for the safety-critical system based on programmable logic controller (PLC). During software development phases, the design should perform an important role to connect between requirements phase and implementation phase as a pro...
Guest Editors' Introduction: Critical Task of Writing Dependable Software Safety-critical software must perform as desired and should never fail. The need for dependability stems from the fact that the consequences of failure are... J Knight,B Littlewood - IEEE Computer Society Press 被引量: 33发...
In many application domains, critical systems must comply with safety standards. This involves gathering safety evidence in the form of artefacts such as s... DLVJ Luis,M Borg,K Wnuk,... - 《IEEE Transactions on Software Engineering》 被引量: 4发表: 2016年 Modeling and Simulation for the ...
appropriatelevelsofsafetyassurance,andareincreasinglyrequiringsystemdeveloperstoproduceaSafetyCasetodocumentthereasonswhyasystemissafetobeoperated.3SEA’99ConferenceVerification&ValidationofSafetyCriticalSoftwareAbstractoftalk(2)Abstractoftalk(2) Thistalklooksatrecentandemergingstandardsforsafety-criticalsoftware,andwill...